Search Sciweavers | Sciweavers

3624 search results - page 57 / 725

» Abstract Algebraic Logic

105

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

15 years 10 months ago

Download www.cs.nmsu.edu

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

claim paper

Read More »

109

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 10 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

110

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

113

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

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

15 years 9 months ago

Download research.microsoft.com

Nick Benton

claim paper

Read More »

118

click to vote

ISMIS
2005
Springer

99views Artificial Intelligence» more ISMIS 2005»

Logical Data Independence Reconsidered (Extended Abstract)

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers