2291 search results - page 299 / 459 » Logic Programming and Model Checking |
135
Voted
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
142
Voted
DAC
1996
ACM
15 years 6 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
132
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
137
Voted
DLS
2008
15 years 4 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
115
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...