9455 search results - page 342 / 1891 » The Modelling Language Zinc |
200
click to vote
CC
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
163
click to vote
ESOP
2003
Springer
16 years 19 hour 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 ...
133
Voted
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
178
Voted
IJPRAI
2010
15 years 4 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
186
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...