Sciweavers

8132 search results - page 67 / 1627

» Dependability, Abstraction, and Programming

152

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

15 years 7 months ago

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

195

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

15 years 6 months ago

Logic programs with monotone abstract constraint atoms

Download www.cs.uky.edu

Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...

claim paper

Read More »

138

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

15 years 6 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

97

JUCS
2007

70views more JUCS 2007»

Programming through Spreadsheets and Tabular Abstractions

15 years 6 months ago

Programming through Spreadsheets and Tabular Abstractions

Download www.jucs.org

Carlos Henrique Quartucci Forster

claim paper

Read More »

127

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 6 months ago

Abstract Interpretation Based Verification of Logic Programs

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

« Prev « First page 67 / 1627 Last » Next »