Sciweavers

189 search results - page 1 / 38
» Facilitating Modular Property-Preserving Extensions of Progr...
Sort
View
102
Voted
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 2 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
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 ...
Claus Pahl
104
Voted
OTM
2007
Springer
15 years 7 months ago
Property-Preserving Evolution of Components Using VPA-Based Aspects
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...
Dong Ha Nguyen, Mario Südholt
ECOOP
2011
Springer
14 years 27 days ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
89
Voted
ICFP
2002
ACM
16 years 1 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers