| |
| 1997 | ||
|---|---|---|
| 4 | Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti: Static Analysis of Linear Logic Programming. New Generation Comput. 15(4): 449-481 (1997) | |
| 1993 | ||
| 3 | Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi: Abstract Interpretation of Concurrent Languages based on Linear Logic. GULP 1993: 267-284 | |
| 2 | Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi: Abstract Interpretation of Linear Logic Programming. ILPS 1993: 295-314 | |
| 1991 | ||
| 1 | Tiziana Castagnetti, Paolo Ciancarini: Static Analysis of a Parallel Logic Language Based on the Blackboard Model. J. Parallel Distrib. Comput. 13(4): 412-423 (1991) | |
| 1 | Jean-Marc Andreoli | [2] [3] [4] |
| 2 | Paolo Ciancarini | [1] |
| 3 | Remo Pareschi | [2] [3] [4] |