J-M. Andreoli, T. Castagnetti and R. Pareschi. Static Analysis of Linear Logic Programming. Submitted to New Generation Computing (follow-on to a paper presented at the ILPS'93 conference, Vancouver, Canada). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Electronic Notes in Theoretical Computer Science 30 No. 3 (2003) - Url Http Www (Correct)
Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (3 citations) (Correct)
A Static Analysis Method for a Classical Linear Logic.. - Kang, Tamura (2000) (Correct)
A Static Analysis of a Classical Linear Logic Programming Language - Kang (Correct)
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (11 citations) (Correct)
A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (1 citation) (Correct)
Specifying Real-Time Finite-State Systems in Linear Logic - Kanovich, Okada, Scedrov (1998) (6 citations) (Correct)
The Coordination Language Facility: coordination of.. - Jean-Marc Andreoli Steve (1996) (13 citations) Self-citation (Andreoli Pareschi) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC