98 search results - page 6 / 20 » A DLP System with Object-Oriented Features |
PADL
2004
Springer
14 years 22 days ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
SCFBM
2008
13 years 6 months ago
2008
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
JOT
2006
13 years 7 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
HASE
1998
IEEE
13 years 11 months ago
1998
IEEE
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...