1995 |
6 | | Luigi Petrone:
Reusing Batch Parsers as Incremental Parsers.
FSTTCS 1995: 111-123 |
1986 |
5 | | Maurizio Barioglio,
G. Capella,
I. Lupo,
Luigi Petrone:
KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation.
IFIP Congress 1986: 909-914 |
1985 |
4 | | Giovanna Petrone,
Luigi Petrone:
Program Development and Documentation by Informal Transformations and Derivations.
TAPSOFT, Vol.2 1985: 231-245 |
1982 |
3 | | Luigi Petrone,
Antonio Di Leva,
Franco Sirovich:
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.
ICSE 1982: 350-359 |
1968 |
2 | | Luigi Petrone:
Syntax Directed Mappings of Context-Free Languages
FOCS 1968: 160-175 |
1964 |
1 | EE | Luigi Petrone,
Carlo E. Vandoni:
Integer and signed constants in ALGOL.
Commun. ACM 7(12): 734-735 (1964) |