2409 search results - page 137 / 482 » Logical systems for structured specifications |
290
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
186
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
188
click to vote
DAC
1996
ACM
15 years 10 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...
199
click to vote
ASYNC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
162
click to vote
LISP
2008
15 years 6 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...