6740 search results - page 555 / 1348 » Using Classification as a Programming Language |
131
click to vote
ESOP
1990
Springer
15 years 9 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
145
Voted
ACL
1989
15 years 6 months ago
1989
This paper describes the referring expression generation mechanisms used in EPICURE, a computer program which produces natural language descriptions of cookery recipes. Major feat...
258
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
166
Voted
POPL
1999
ACM
15 years 9 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
126
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...