Sciweavers

3513 search results - page 34 / 703

» Super Logic Programs

25

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

14 years 2 months ago

Abstract Interpretation of PIC Programs through Logic Programming

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

20

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

14 years 12 days ago

An Adaptive Inductive Logic Programming System Using Genetic Programming

Download cptra.ln.edu.hk

Man Leung Wong, Kwong-Sak Leung

claim paper

Read More »

18

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

14 years 10 days ago

Logic Programming, Functional Programming, and Inductive Definitions

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

26

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

13 years 8 months ago

Composing Programs in a Rewriting Logic for Declarative Programming

Download www.lcc.uma.es

Juan M. Molina-Bravo, Ernesto Pimentel

claim paper

Read More »

20

CSMR
1998
IEEE

99views Software Engineering» more CSMR 1998»

A Metrics Suite for Concurrent Logic Programs

14 years 1 months ago

A Metrics Suite for Concurrent Logic Programs

Download cse.sjtu.edu.cn

AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

claim paper

Read More »

« Prev « First page 34 / 703 Last » Next »