3713 search results - page 248 / 743 » Constructing a Calculus of Programs |
143
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
134
click to vote
DIGITEL
2007
IEEE
15 years 10 months ago
2007
IEEE
Distributed Computational Toys are physical artifacts that function based on the coordination of more than one computing device. Often, these toys take the form of a microcontroll...
136
Voted
CC
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
127
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Much of the research on scheduling schemes is prevented from being used in practice by the lack of implementations vide the necessary abstractions. An example of this lack of prov...
136
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...