3516 search results - page 266 / 704 » Programming Languages: Application and Interpretation |
164
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
157
click to vote
CEFP
2009
Springer
15 years 4 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
202
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
209
click to vote
ISADS
2003
IEEE
15 years 12 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
170
click to vote
PEPM
2007
ACM
16 years 24 days ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...