1894 search results - page 96 / 379 » A TLA Proof System |
108
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
134
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
143
click to vote
SEMWIKI
2008
15 years 4 months ago
2008
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
122
Voted
FMSD
2006
15 years 3 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
118
click to vote
JUCS
2008
15 years 3 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...