6201 search results - page 66 / 1241 » Implementation of Axiomatic Language |
137
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
200
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
103
Voted
SAC
2000
ACM
15 years 8 months ago
2000
ACM
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
120
click to vote
TOOLS
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
110
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
This paper presents a way in which a lexicalised HPSG grammar can handle word order constraints in a computational parsing system, without invoking an additional layer of represen...