1312 search results - page 142 / 263 » Embedded contract languages |
144
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
251
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...
130
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
145
click to vote
ACL
1992
15 years 4 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
158
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...