21342 search results - page 225 / 4269 » Structured language modeling |
153
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
142
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new l...
139
click to vote
MSO
2003
15 years 5 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
110
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Being confronted with decreasing margins and a rising customer demand for integrated solutions, manufacturing companies integrate complementary services into their portfolio. Offe...
225
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...