Suspension Analyses for Concurrent Logic Programs (1994)
| Venue: | ACM Transactions on Programming Languages and Systems |
| Citations: | 23 - 6 self |
BibTeX
@ARTICLE{Codish94suspensionanalyses,
author = {Michael Codish and Moreno Falaschi and Kim Marriott},
title = {Suspension Analyses for Concurrent Logic Programs},
journal = {ACM Transactions on Programming Languages and Systems},
year = {1994},
volume = {16},
pages = {649--686}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Interpretation, concurrent logic programming, program analysis The work of M. Falaschi has been partially supported by ESPRIT Basic Research Action 6707 -- Parforce. Authors' current addresses: M. Codish, Department of Mathematics and Computer Science, Ben-Gurion University, P.O.B. 653, 84105 Beer-Sheba, Israel. email: codish@bengus.bgu.ac.il; M. Falaschi, Dipartimento di Elettronica e Informatica, Padova University, Via Gradenigo 6/A, Padova, Italy. email: falaschi@artemide.dei.unipd.it; K. Marriott, Department of Computer Science, Monash University, Clayton 3168, Victoria, Australia. email: marriott @bruce.cs.monash.oz.au Contents 1 Introduction 3 2 Example 4 3 Concurrent logic programs 6 3.1 Preliminaries : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 3.2 Operational semantics : : : : : : : : : : : : : : : : : : : : : : : : : : 7 4 Approximating Transition Systems 10 4.1 Abstract Interpretation : : : : : : : : : : : : : : : : : : : : : : : : : 10 4.2 Abstract ...
