1710 search results - page 51 / 342 » High-Level Programs and Program Conditions |
SIGCSE
2010
ACM
14 years 2 months ago
2010
ACM
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
DCOSS
2007
Springer
14 years 2 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
ICLP
1989
Springer
14 years 1 days ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
AMAI
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...