Sciweavers

15779 search results - page 198 / 3156

» Change-oriented software engineering

24

AADEBUG
2000
Springer

89views Software Engineering» more AADEBUG 2000»

Finding Failure Causes through Automated Testing

14 years 2 months ago

Finding Failure Causes through Automated Testing

Download www.infosun.fim.uni-passau.de

Holger Cleve, Andreas Zeller

claim paper

Read More »

25

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

14 years 2 months ago

Slicing of Constraint Logic Programs

Download www.ep.liu.se

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

claim paper

Read More »

25

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

14 years 2 months ago

An Introduction to Dependent Type Theory

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

33

AC
2000
Springer

101views Software Engineering» more AC 2000»

Abstract Machines, Control, and Sequents

14 years 2 months ago

Abstract Machines, Control, and Sequents

Download www.pps.jussieu.fr

Pierre-Louis Curien

claim paper

Read More »

31

AC
2000
Springer

72views Software Engineering» more AC 2000»

Normalization and Partial Evaluation

14 years 2 months ago

Normalization and Partial Evaluation

Download www.diku.dk

Peter Dybjer, Andrzej Filinski

claim paper

Read More »

« Prev « First page 198 / 3156 Last » Next »