6054 search results - page 257 / 1211 » Implementation of Andorra-based Languages |
178
click to vote
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
In a parallel, shared-memory, language with a garbage collected heap, it is desirable for each processor to perform minor garbage collections independently. Although obvious, it i...
165
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
157
click to vote
OOPSLA
2004
Springer
16 years 14 hour ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
202
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
158
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...