Sciweavers

5255 search results - page 36 / 1051

» Formal Methods for Privacy

18

FTRTFT
1992
Springer

69views Formal Methods» more FTRTFT 1992»

Specifying Asynchronous Transfer of Control

13 years 11 months ago

Specifying Asynchronous Transfer of Control

Download www.cosc.canterbury.ac.nz

Padmanabhan Krishnan, Peter D. Mosses

claim paper

Read More »

23

SAS
1993
Springer

103views Formal Methods» more SAS 1993»

Minimal Thunkification

13 years 11 months ago

Minimal Thunkification

Download www.cs.ucla.edu

Torben Amtoft

claim paper

Read More »

22

SAS
1993
Springer

118views Formal Methods» more SAS 1993»

Avoiding Repeated Tests in Pattern Matching

13 years 11 months ago

Avoiding Repeated Tests in Pattern Matching

Download www.freidok.uni-freiburg.de

Peter Thiemann

claim paper

Read More »

21

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

13 years 11 months ago

Proving Strong Normalization of CC by Modifying Realizability Semantics

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

25

TYPES
1993
Springer

95views Formal Methods» more TYPES 1993»

Type Theory and the Informal Language of Mathematics

13 years 11 months ago

Type Theory and the Informal Language of Mathematics

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

Aarne Ranta

claim paper

Read More »

« Prev « First page 36 / 1051 Last » Next »