Search Sciweavers | Sciweavers

4036 search results - page 36 / 808

» Formal Methods

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Designing and Implementing Combinator Languages

15 years 10 months ago

Download people.cs.uu.nl

S. Doaitse Swierstra, Pablo R. Azero Alcocer, Jo&a...

claim paper

Read More »

118

click to vote

FMCAD
1998
Springer

85views Formal Methods» more FMCAD 1998»

An Assume-Guarantee Rule for Checking Simulation

15 years 10 months ago

Download network.ku.edu.tr

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...

claim paper

Read More »

126

click to vote

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

15 years 10 months ago

Download www.cs.berkeley.edu

Jörg Preußig, Stefan Kowalewski, Howard...

claim paper

Read More »

209

click to vote

MODELAGE
1997
Springer

135views Formal Methods» more MODELAGE 1997»

Contextual Deontic Logic

15 years 10 months ago

Download www2.eur.nl

Leendert W. N. van der Torre, Yao-Hua Tan

claim paper

Read More »

126

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers