Search Sciweavers | Sciweavers

5255 search results - page 88 / 1051

» Formal Methods for Privacy

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

14 years 2 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

click to vote

IFL
1999
Springer

97views Formal Methods» more IFL 1999»

Haskell-Coloured Petri Nets

14 years 2 months ago

Download www.isp.uni-luebeck.de

d abstract) Claus Reinke

Claus Reinke

claim paper

Read More »

click to vote

IFL
1999
Springer

82views Formal Methods» more IFL 1999»

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell

14 years 2 months ago

Download www.haskell.org

Simon L. Peyton Jones, Simon Marlow, Conal Elliott

claim paper

Read More »

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

14 years 2 months ago

Download fmt.isti.cnr.it

Markus Müller-Olm, David A. Schmidt, Bernhard...

claim paper

Read More »

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Designing and Implementing Combinator Languages

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers