255 search results - page 19 / 51 » Proving BDI Properties of Agent-Oriented Programming Languag... |
107
click to vote
ENTCS
2008
14 years 11 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
101
click to vote
ECOOP
2010
Springer
15 years 1 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...