Search Sciweavers | Sciweavers

3624 search results - page 57 / 725

» Abstract Algebraic Logic

127

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 5 days ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

131

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 5 days ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

131

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

16 years 1 days ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

136

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

15 years 11 months ago

Download research.microsoft.com

Nick Benton

claim paper

Read More »

139

click to vote

ISMIS
2005
Springer

99views Artificial Intelligence» more ISMIS 2005»

Logical Data Independence Reconsidered (Extended Abstract)

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers