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 6 months ago

Download people.cs.uu.nl

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

claim paper

Read More »

click to vote

FMCAD
1998
Springer

85views Formal Methods» more FMCAD 1998»

An Assume-Guarantee Rule for Checking Simulation

15 years 6 months ago

Download network.ku.edu.tr

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

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

15 years 6 months ago

Download www.cs.berkeley.edu

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

claim paper

Read More »

165

click to vote

MODELAGE
1997
Springer

135views Formal Methods» more MODELAGE 1997»

Contextual Deontic Logic

15 years 6 months ago

Download www2.eur.nl

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

claim paper

Read More »

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers