Sciweavers

1023 search results - page 11 / 205

» A Formal Method for Program Slicing

21

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

14 years 2 months ago

Predicate Abstraction in a Program Logic Calculus

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

19

ZUM
2005
Springer

143views Formal Methods» more ZUM 2005»

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

14 years 28 days ago

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

Download www.clearsy.com

Frédéric Badeau, Arnaud Amelot

claim paper

Read More »

16

TYPES
2004
Springer

78views Formal Methods» more TYPES 2004»

Interfaces as Games, Programs as Strategies

14 years 24 days ago

Interfaces as Games, Programs as Strategies

Download types2004.lri.fr

Markus Michelbrink

claim paper

Read More »

19

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

13 years 12 months ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

22

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

13 years 12 months ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

« Prev « First page 11 / 205 Last » Next »