811 search results - page 71 / 163 » Probabilistic Semantics and Program Analysis |
111
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
148
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
99
Voted
ENTCS
2007
15 years 2 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
136
Voted
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
123
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...