6201 search results - page 331 / 1241 » Implementation of Axiomatic Language |
220
click to vote
CC
2003
Springer
16 years 20 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...
200
Voted
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Multiple Row Displacement (MRD) is a new dispatch technique for multi-method languages. It is based on compressing an n-dimensional table using an extension of the single...
221
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
188
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
177
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...