Tiziana Castagnetti

According to our database, Tiziana Castagnetti authored at least 4 papers between 1991 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

Static Analysis of Linear Logic Programming.

Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti

New Gener. Comput., 1997

1993

Abstract Interpretation of Linear Logic Programming.

Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi

Proceedings of the Logic Programming, 1993

Abstract Interpretation of Concurrent Languages based on Linear Logic.

Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1991

Static Analysis of a Parallel Logic Language Based on the Blackboard Model.

Tiziana Castagnetti, Paolo Ciancarini

J. Parallel Distributed Comput., 1991