3824 search results - page 152 / 765 » Geometry Constructions Language |
107
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
107
click to vote
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
125
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
107
click to vote
FQAS
2006
Springer
15 years 4 months ago
2006
Springer
Converting a natural language query sentence into a formal database query is a major challenge. We have constructed NaLIX, a natural language interface for querying XML data. Throu...
99
Voted
EPEW
2008
Springer
15 years 2 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...