Search Sciweavers | Sciweavers

3535 search results - page 176 / 707

» Logic Program Specialisation

105

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 8 months ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 8 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

162

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 8 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

107

click to vote

SIGECOM
1999
ACM

90views ECommerce» more SIGECOM 1999»

A declarative approach to business rules in contracts: courteous logic programs in XML

15 years 8 months ago

Download www.damas.ift.ulaval.ca

Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan

claim paper

Read More »

179

Voted

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers