3311 search results - page 101 / 663 » Deductive Object Programming |
150
click to vote
AAIP
2009
15 years 1 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
117
click to vote
ECOOP
2010
Springer
15 years 3 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
104
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
EWC
2000
14 years 11 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...
ADVIS
2004
Springer
15 years 5 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...