Konferensartikel

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

F. Bueno
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

P. Deransart
INRIA-Rocquencourt, Projet LOCO, France

W. Drabent
Institute of Computer Science, Polish Academy of Sciences, Poland

G. Ferrand
LIFO, University of Orlåans, France

M. Hermenegildo
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

J. Maluszynski
Linköping University, Department of Computer and Information Science, Sweden

G. Puebla
Facultad de Informática, Universidad Politåcnica de Madrid, Spain

Ladda ner artikel

Ingår i: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1:13, s. 155-170

Linköping Electronic Articles in Computer and Information Science vol. 2 1:13, p. 155-170

Visa mer +

Publicerad: 1997-09-10

ISBN:

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

Inget abstract är tillgängligt

Nyckelord

Inga nyckelord är tillgängliga

Referenser

Inga referenser tillgängliga

Citeringar i Crossref