926 search results - page 112 / 186 » Prolog as the First Programming Language |
189
click to vote
JTRES
2010
ACM
15 years 5 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
132
Voted
ENTCS
2008
15 years 5 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
119
click to vote
PLDI
1992
ACM
15 years 9 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
144
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
160
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...