Sciweavers

12745 search results - page 85 / 2549

» Automating test automation

99

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 8 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

118

ICLP
2001
Springer

87views Automated Reasoning» more ICLP 2001»

Solving the Multiplication Constraint in Several Approximation Spaces

15 years 8 months ago

Solving the Multiplication Constraint in Several Approximation Spaces

Download alain.colmerauer.free.fr

Alain Colmerauer

claim paper

Read More »

94

ICLP
2001
Springer

97views Automated Reasoning» more ICLP 2001»

Is Logic Really Dead or Only Just Sleeping?

15 years 8 months ago

Is Logic Really Dead or Only Just Sleeping?

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

116

ICLP
2001
Springer

112views Automated Reasoning» more ICLP 2001»

A Close Look at Constraint-Based Concurrency

15 years 8 months ago

A Close Look at Constraint-Based Concurrency

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

110

ILP
2001
Springer

95views Automated Reasoning» more ILP 2001»

Discovering Associations between Spatial Objects: An ILP Application

15 years 8 months ago

Discovering Associations between Spatial Objects: An ILP Application

Download staff.science.uva.nl

Donato Malerba, Francesca A. Lisi

claim paper

Read More »

« Prev « First page 85 / 2549 Last » Next »