6201 search results - page 340 / 1241 » Implementation of Axiomatic Language |
157
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
194
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...
165
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
176
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents an algorithm for dividing Spanish words into syllables. This algorithm is based on grammatical rules which were translated into a simple algorithm, easy to impl...
140
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...