Sciweavers

133 search results - page 4 / 27
» An object-oriented approach to datatype-generic programming
Sort
View
OOGRAPHICS
1994
14 years 15 days ago
An Object-Oriented Approach to Curves and Surfaces
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
Philipp Slusallek, Reinhard Klein, Andreas Kolb, G...
APL
2000
ACM
14 years 24 days ago
High-level object oriented programming with array technology
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
Philippe Mougin
IFIP
1994
Springer
14 years 16 days ago
Object-Oriented System Development: Will the New Approach Solve Old Problems?
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
Gregor Engels, Gerti Kappel
FM
1994
Springer
104views Formal Methods» more  FM 1994»
14 years 16 days ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
FMOODS
2008
13 years 10 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens