dblp.uni-trier.dewww.uni-trier.de

Luigi Petrone

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
1EELuigi Petrone, Carlo E. Vandoni: Integer and signed constants in ALGOL. Commun. ACM 7(12): 734-735 (1964)

Coauthor Index

1Maurizio Barioglio [5]
2G. Capella [5]
3Antonio Di Leva [3]
4I. Lupo [5]
5Giovanna Petrone [4]
6Franco Sirovich [3]
7Carlo E. Vandoni [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)