Sciweavers

189 search results - page 1 / 38
» Facilitating Modular Property-Preserving Extensions of Progr...
Sort
View
82
Voted
IWFM
1998
134views Formal Methods» more  IWFM 1998»
14 years 11 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
77
Voted
OTM
2007
Springer
15 years 4 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
13 years 10 months 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
ICFP
2002
ACM
15 years 10 months ago
Modular typechecking for hierarchically extensible datatypes and functions
Todd D. Millstein, Colin Bleckner, Craig Chambers