Sciweavers

3307 search results - page 340 / 662
» The meaning of concurrent programs
Sort
View
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
16 years 1 days ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
COMPSAC
2002
IEEE
15 years 11 months ago
Using XML to Integrate Existing Software Systems into the Web
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
Harry M. Sneed
IWPC
2002
IEEE
15 years 11 months ago
Source Code Files as Structured Documents
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
Jonathan I. Maletic, Michael L. Collard, Andrian M...
SIGCSE
1998
ACM
131views Education» more  SIGCSE 1998»
15 years 11 months ago
Animation, visualization, and interaction in CS 1 assignments
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
Owen L. Astrachan, Susan H. Rodger
176
Voted
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
15 years 10 months ago
The Use of Functional and Logic Languages in Machine Learning
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
Peter A. Flach