3311 search results - page 455 / 663 » Deductive Object Programming |
137
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
124
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
The use of modern programming paradigms and technologies, such as object orientation, inheritance, polymorphism and aspect orientation, facilitate a number of important software e...
156
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
143
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
163
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...