Research on "Formal Methods in Computing"
SELECTED PAPERS of IVANO SALVO
International journals
-
B. Intrigila, I. Salvo, S. Sorgi.
A Characterization of Weakly Church-Rosser not Church Rosser Abstract Reduction Systems.
Information and
Computation. 171(2):137-155, 2002.
-
A. Bucciarelli, A. Piperno, I. Salvo.
Intersection Types and Lambda definability.
accepted for publication in
Mathematical Structure in Computer Science. To appear.
International conferences
-
A. Bucciarelli and I. Salvo.
Totality, Definability and Boolean Circuits.
In K.Larsen, G.Winskel editors, Intern. Conf. on
Automata, Languages and Programming (ICALP), volume 1143 of Lecture
Notes in Computer Science, pages 809-818. Springer-Verlag, July 1998.
-
A. Bucciarelli, S. de Lorenzis, A. Piperno, I. Salvo.
Some Computational Properties of Intersection Types (extended abstract).
In Proceedings, Forteenth Annual IEEE Symposium on Logic in
Computer Science (LICS'99), pages 109-118, Trento, Italy, July
1999. IEEE Computer Society Press.
-
M. Dezani-Ciancaglini and I. Salvo.
Security Types for Mobile Safe Ambients.
In H.Jifeng and M.Sato editors Proceedings of Asian
Computing Science Conference (ASIAN'00), volume 1961 of Lecture
Notes in Computer Science, pages 215-236. Springer-Verlag,
November 2000.
-
V. Bono and I. Salvo.
A CuCh Interpretation of a Class-Based Object-Oriented Language.
In J.J.Levy editor Proceedings of
Workshop on Boehm Theorem: applications to Computer
Science Theory (BOTH'01), volume 50(2) of Electronic
Notes in Theoretical Computer Science, July 2001.
-
F. Barbanera, M. Dezani-Ciancaglini, I. Salvo, and V. Sassone
.
A Type Inference
Algorithm for Secure Ambients.
In U. Montanari editor Proceedings of
Concurrency, Higher Horder and Types Workshop (TOSCA'01)
, volume 62 of Electronic
Notes in Theoretical Computer Science, Elsevier,
November 2001.
|