6016 search results - page 373 / 1204 » The semantics of graphical languages |
190
click to vote
CAAP
1990
15 years 11 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
200
click to vote
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...
185
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...
150
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...
263
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...