801 search results - page 63 / 161 » The Core Language of Aldwych |
DEXA
1994
Springer
14 years 28 days ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
LPAR
2000
Springer
14 years 12 days ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
IASTEDSEA
2004
13 years 10 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
CNL
2009
13 years 10 months ago
2009
In this paper we describe two quite different philosophies used in developing controlled languages (CLs): A "naturalist" approach, in which CL interpretation is treated a...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...