3713 search results - page 237 / 743 » Constructing a Calculus of Programs |
143
click to vote
AAAI
1996
15 years 5 months ago
1996
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
122
click to vote
DSE
1998
15 years 3 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
141
click to vote
JMLC
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
126
Voted
ELP
1993
15 years 8 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...
131
Voted
CL
2000
Springer
15 years 3 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...