6794 search results - page 449 / 1359 » Semantics of Visual Languages |
203
Voted
ENTCS
2002
15 years 6 months ago
2002
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
186
click to vote
IEEESCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Choreography changes performed by one party may affect other parties. The changes and the implication for other parties can be determined. However, the required changes on the orc...
151
Voted
LLC
2010
15 years 1 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
264
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
169
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...