3307 search results - page 363 / 662 » The meaning of concurrent programs |
144
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
167
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
186
Voted
CD
2004
Springer
16 years 7 days ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
157
click to vote
ECOOP
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRA...
285
click to vote
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...