4617 search results - page 301 / 924 » Automation of Diagrammatic Reasoning |
138
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
151
click to vote
TPHOL
1993
IEEE
15 years 10 months ago
1993
IEEE
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other ...
168
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
157
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
159
click to vote
CCL
1994
Springer
15 years 10 months ago
1994
Springer
We employ the model-theoretic method of Ehrenfeucht-Fra sse Games to prove the completeness of the theory CFT, which has been introduced in 22] for describing rational trees in a ...