TYPES 1993 | Sciweavers

36

click to vote

TYPES
1993
Springer

95views Formal Methods» more TYPES 1993»

Type Theory and the Informal Language of Mathematics

14 years 4 months ago

Download www.lang.osaka-u.ac.jp

Aarne Ranta

claim paper

Read More »

34

click to vote

TYPES
1993
Springer

131views Formal Methods» more TYPES 1993»

The Expressive Power of Structural Operational Semantics with Explicit Assumptions

14 years 4 months ago

Download sole.dimi.uniud.it

Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for deﬁning the operational semantics of ...

Marino Miculan

claim paper

Read More »

42

click to vote

TYPES
1993
Springer

153views Formal Methods» more TYPES 1993»

Proof-Checking a Data Link Protocol

14 years 4 months ago

Download igitur-archive.library.uu.nl

Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...

Leen Helmink, M. P. A. Sellink, Frits W. Vaandrage...

claim paper

Read More »

30

click to vote

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

14 years 4 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper