6201 search results - page 154 / 1241 » Implementation of Axiomatic Language |
140
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
138
click to vote
PTS
2008
15 years 6 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
158
click to vote
DATESO
2009
15 years 2 months ago
2009
Top trees are a dynamic self-adjusting data structure that can be used by any tree algorithm. Actually, an arbitrary number of different tree algorithms can use a single structure....
113
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
143
click to vote
HOPL
2007
15 years 8 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...