1497 search results - page 133 / 300 » Extended static checking |
122
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
136
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
111
click to vote
FM
1997
Springer
15 years 6 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
119
Voted
OOGRAPHICS
1992
15 years 6 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
162
click to vote
ISSTA
1991
ACM
15 years 5 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...