113 search results - page 1 / 23 » Logical Forms in the Core Language Engine |
ACL
1989
13 years 5 months ago
1989
ASM
2005
ASM
13 years 10 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
FM
2008
Springer
13 years 6 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
PEPM
2009
ACM
13 years 9 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...