113 search results - page 1 / 23 » Logical Forms in the Core Language Engine |
ACL
1989
15 years 3 days ago
1989
111
Voted
ASM
2005
ASM
15 years 4 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...
85
Voted
FM
2008
Springer
15 years 14 days 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...
100
Voted
PEPM
2009
ACM
15 years 3 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...
70
Voted
TIME
2005
IEEE
15 years 4 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 ...