AOSD
2003
ACM
14 years 4 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
VSTTE
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...