Search Sciweavers | Sciweavers

2623 search results - page 32 / 525

» Hoare Logic in the Abstract

135

click to vote

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

15 years 10 months ago

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

191

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 10 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

130

click to vote

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

15 years 10 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

117

click to vote

AMAST
1998
Springer

94views Software Engineering» more AMAST 1998»

Abstract Algebraic Logic

15 years 10 months ago

Download www.renyi.hu

Don Pigozzi

claim paper

Read More »

338

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers