Search Sciweavers | Sciweavers

8232 search results - page 75 / 1647

» Dynamic Logic Programming

157

click to vote

TOPLAS
2002

98views more TOPLAS 2002»

Data abstraction and information hiding

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

138

Voted

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

16 years 13 days ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

145

click to vote

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 10 months ago

Download cptra.ln.edu.hk

Man Leung Wong, Kwong-Sak Leung

claim paper

Read More »

112

Voted

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 10 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

139

click to vote

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers