Search Sciweavers | Sciweavers

1023 search results - page 15 / 205

» A Formal Method for Program Slicing

click to vote

CSUR
1999

137views more CSUR 1999»

Algebraic Methods for Specification and Formal Development of Programs

14 years 9 months ago

Download homepages.inf.ed.ac.uk

with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...

Donald Sannella, Andrzej Tarlecki

claim paper

Read More »

Voted

ICCI
1991

88views Information Technology» more ICCI 1991»

What's Wrong With Formal Programming Methods?

15 years 1 months ago

Download www.cs.toronto.edu

Eric C. R. Hehner

claim paper

Read More »

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

15 years 2 months ago

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

14 years 11 months ago

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

click to vote

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers