Sciweavers

5255 search results - page 36 / 1051

» Formal Methods for Privacy

66

FTRTFT
1992
Springer

69views Formal Methods» more FTRTFT 1992»

Specifying Asynchronous Transfer of Control

15 years 3 months ago

Specifying Asynchronous Transfer of Control

Download www.cosc.canterbury.ac.nz

Padmanabhan Krishnan, Peter D. Mosses

claim paper

Read More »

67

SAS
1993
Springer

103views Formal Methods» more SAS 1993»

Minimal Thunkification

15 years 3 months ago

Minimal Thunkification

Download www.cs.ucla.edu

Torben Amtoft

claim paper

Read More »

72

SAS
1993
Springer

118views Formal Methods» more SAS 1993»

Avoiding Repeated Tests in Pattern Matching

15 years 3 months ago

Avoiding Repeated Tests in Pattern Matching

Download www.freidok.uni-freiburg.de

Peter Thiemann

claim paper

Read More »

67

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

15 years 3 months ago

Proving Strong Normalization of CC by Modifying Realizability Semantics

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

68

TYPES
1993
Springer

95views Formal Methods» more TYPES 1993»

Type Theory and the Informal Language of Mathematics

15 years 3 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 »