ESOP
1994
Springer
14 years 8 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
HOPL
1993
14 years 8 months ago
1993
HOPL
1993
14 years 8 months ago
1993
HOPL
1993
14 years 8 months ago
1993
HOPL
1993
14 years 8 months ago
1993
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; in this case, French. The project gave r...
ECOOP
1994
Springer
14 years 8 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
ECOOP
1994
Springer
14 years 8 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
ECOOP
1994
Springer
14 years 8 months ago
1994
Springer
ECOOP
1994
Springer
14 years 8 months ago
1994
Springer
ECOOP
1994
Springer
14 years 8 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...