Search Sciweavers | Sciweavers

8232 search results - page 75 / 1647

» Dynamic Logic Programming

132

click to vote

TOPLAS
2002

98views more TOPLAS 2002»

Data abstraction and information hiding

15 years 4 months ago

Download research.microsoft.com

traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...

K. Rustan M. Leino, Greg Nelson

claim paper

Read More »

114

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 »

119

click to vote

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 8 months ago

Download cptra.ln.edu.hk

Man Leung Wong, Kwong-Sak Leung

claim paper

Read More »

click to vote

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 8 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

113

click to vote

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers