189 search results - page 1 / 38 » Facilitating Modular Property-Preserving Extensions of Progr... |
IWFM
1998
13 years 6 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
ECOOP
2011
Springer
12 years 4 months ago
2011
Springer
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM