324 search results - page 43 / 65 » Model Checking Software at Compile Time |
138
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
154
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
149
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
157
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
151
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...