189 search results - page 1 / 38 » Facilitating Modular Property-Preserving Extensions of Progr... |
IWFM
1998
15 years 1 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 ...
94
Voted
OTM
2007
Springer
15 years 6 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...
69
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
87
Voted
ECOOP
2011
Springer
14 years 1 days 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
16 years 6 days ago
2002
ACM