Search Sciweavers | Sciweavers

5198 search results - page 103 / 1040

» A Logic of Agent Programs

122

click to vote

ESOP
2006
Springer

139views Programming Languages» more ESOP 2006»

ILC: A Foundation for Automated Reasoning About Pointer Programs

15 years 3 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 »

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 5 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

click to vote

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 2 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 2 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

Voted

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers