187 search results - page 14 / 38 » Semantic Interpretation Based on the Multi-World Model |
76
Voted
FSTTCS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
108
Voted
TACAS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
70
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
96
Voted
DAGSTUHL
2001
14 years 11 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
69
Voted
ICIP
2005
IEEE
15 years 12 months ago
2005
IEEE
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...