3738 search results - page 249 / 748 » Parametrized Logic Programming |
123
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
147
click to vote
ENTCS
2002
15 years 4 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
164
click to vote
FAC
2007
15 years 4 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
155
click to vote
JFP
2006
15 years 4 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
113
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation — even an object’s own ...