ESOP
1994
Springer
13 years 12 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
13 years 12 months ago
1993
HOPL
1993
13 years 12 months ago
1993
HOPL
1993
13 years 12 months ago
1993
HOPL
1993
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 months ago
1994
Springer
ECOOP
1994
Springer
13 years 12 months ago
1994
Springer
ECOOP
1994
Springer
13 years 12 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...