6794 search results - page 438 / 1359 » Semantics of Visual Languages |
290
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
172
click to vote
PPDP
2005
Springer
16 years 10 days 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 ...
166
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
158
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
A huge amount of schemas are expressed within outdated schema languages which are restricted concerning expressiveness, extensibility, readability, and understandability. Consequen...
175
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...