Sciweavers

3207 search results - page 31 / 642

» A Semantics for HTN Methods

33

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

14 years 2 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

27

SAS
1998
Springer

84views Formal Methods» more SAS 1998»

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

14 years 2 months ago

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

Download hal.archives-ouvertes.fr

Valérie Gouranton

claim paper

Read More »

36

SAS
1997
Springer

101views Formal Methods» more SAS 1997»

Abstract Interpretation Based Static Analysis Parameterized by Semantics

14 years 2 months ago

Abstract Interpretation Based Static Analysis Parameterized by Semantics

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

36

FM
1994
Springer

102views Formal Methods» more FM 1994»

An Action Semantics for ML Concurrency Primitives

14 years 2 months ago

An Action Semantics for ML Concurrency Primitives

Download www.brics.dk

Peter D. Mosses, Martín Musicante

claim paper

Read More »

24

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

14 years 1 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 31 / 642 Last » Next »