406 search results - page 36 / 82 » PL-detective: a system for teaching programming language con... |
MCMASTER
1993
14 years 2 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
ICCHP
2004
Springer
14 years 3 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
ECOOP
2006
Springer
14 years 1 months ago
2006
Springer
The evolvability of AOP systems is severely affected by the tight coupling between aspects and base code. This paper identifies the advice fragility problem, originated in the need...