Roberto Virga

According to our database, Roberto Virga authored at least 4 papers between 1996 and 2003.

Collaborative distances:

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

2003

A Trustworthy Proof Checker.

Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga

J. Autom. Reason., 2003

2002

A Stratified Semantics of General References A Stratified Semantics of General References.

Amal J. Ahmed, Andrew W. Appel, Roberto Virga

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2000

Efficient Substitution in Hoare Logic Expressions.

Roberto Virga

Proceedings of the 4th International Workshop on Higher Order Operational Techniques in Semantics, 2000

1996

Higher-Order Superposition for Dependent Types.

Roberto Virga

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996