Search Sciweavers | Sciweavers

3973 search results - page 42 / 795

» Records for Logic Programming

169

click to vote

ESOP
2006
Springer

139views Programming Languages» more ESOP 2006»

ILC: A Foundation for Automated Reasoning About Pointer Programs

15 years 7 months ago

Download www.cs.princeton.edu

This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...

Limin Jia, David Walker

claim paper

Read More »

102

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 9 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

106

click to vote

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 6 months ago

Download cptra.ln.edu.hk

Man Leung Wong, Kwong-Sak Leung

claim paper

Read More »

Voted

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 6 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

100

click to vote

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers