Luigi Petrone

According to our database, Luigi Petrone authored at least 6 papers between 1964 and 1995.

Collaborative distances:

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

1995

Reusing Batch Parsers as Incremental Parsers.

Luigi Petrone

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1986

KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation.

Maurizio Barioglio, G. Capella, I. Lupo, Luigi Petrone

Proceedings of the Information Processing 86, 1986

1985

Program Development and Documentation by Informal Transformations and Derivations.

Giovanna Petrone, Luigi Petrone

Proceedings of the Mathematical Foundations of Software Development, 1985

1982

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.

Luigi Petrone, Antonio Di Leva, Franco Sirovich

Proceedings of the Proceedings, 1982

1968

Syntax Directed Mappings of Context-Free Languages

Luigi Petrone

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968

1964

Integer and signed constants in ALGOL.

Luigi Petrone, Carlo E. Vandoni

Commun. ACM, 1964