Sciweavers

2496 search results - page 7 / 500

» Error-detecting properties of languages

117

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

14 years 10 months ago

Verifying safety properties of concurrent Java programs using 3-valued logic

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

23

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

14 years 3 months ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

23

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

14 years 2 months ago

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

Download www-verimag.imag.fr

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

claim paper

Read More »

21

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

14 years 1 months ago

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

31

COMPGEOM
1987
ACM

142views Discrete Geometry» more COMPGEOM 1987»

Polygon Properties Calculated from the Vertex Neighborhoods

14 years 1 months ago

Polygon Properties Calculated from the Vertex Neighborhoods

Download www.ecse.rpi.edu

Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...

Wm. Randolph Franklin

claim paper

Read More »

« Prev « First page 7 / 500 Last » Next »