Sciweavers

8828 search results - page 43 / 1766

» Formal methods in practice

55

IMPERIAL
1994

111views Formal Methods» more IMPERIAL 1994»

Locales are Not Pointless

15 years 2 months ago

Locales are Not Pointless

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

57

FTRTFT
1992
Springer

69views Formal Methods» more FTRTFT 1992»

Specifying Asynchronous Transfer of Control

15 years 2 months ago

Specifying Asynchronous Transfer of Control

Download www.cosc.canterbury.ac.nz

Padmanabhan Krishnan, Peter D. Mosses

claim paper

Read More »

60

SAS
1993
Springer

103views Formal Methods» more SAS 1993»

Minimal Thunkification

15 years 2 months ago

Minimal Thunkification

Download www.cs.ucla.edu

Torben Amtoft

claim paper

Read More »

62

SAS
1993
Springer

118views Formal Methods» more SAS 1993»

Avoiding Repeated Tests in Pattern Matching

15 years 2 months ago

Avoiding Repeated Tests in Pattern Matching

Download www.freidok.uni-freiburg.de

Peter Thiemann

claim paper

Read More »

60

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

15 years 2 months ago

Proving Strong Normalization of CC by Modifying Realizability Semantics

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

« Prev « First page 43 / 1766 Last » Next »