Pettorossi, Alberto

University of Rome Tor Vergata

1 paper on CoChatORCID 0000-0001-7858-4032

Most cited papers

Verified
Semantics preserving transformation rules for Prolog
Proietti, M., & Pettorossi, A. (1991) · Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91
Logic, programming, and type systemsModel-Driven Software Engineering Techniques
Cited by 40

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free