Sciweavers

2233 search results - page 124 / 447
» Modular type classes
Sort
View
111
Voted
ECOOP
2011
Springer
14 years 2 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
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 8 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
EJC
2007
15 years 2 months ago
The exceptional hyperplanes of DH(5, 4)
In [2], we showed the existence of five isomorphism classes of hyperplanes in each dual polar space of type DH(5, q2). We also proved there that every hyperplane of DH(5, q2) bel...
Bart De Bruyn, Harm Pralle
OOPSLA
2004
Springer
15 years 7 months ago
AJEER: an aspectJ-enabled eclipse runtime
There are a number of technologies designed to improve modularity in software systems. The technique presented here combines two of them seamlessly to exploit their respective ben...
Martin Lippert
JOT
2006
121views more  JOT 2006»
15 years 2 months ago
Constructing persistent object-oriented models with standard C++
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
Alexander Kozynchenko