Compile-Time Analysis of Data List-Format List Correspondences (Classic Reprint) - Couverture souple

Abrahams, Paul

Couverture souple

ISBN 10 : 1334537941 ISBN 13 : 9781334537943

Editeur : Forgotten Books, 2018

Synopsis

A practical method to link data and format lists, enabling faster, safer code.

This paper presents an algorithm to merge a data list and a format list into a single list of pairs. The goal is to retain as much of the original iterative structure as possible and to support better program validation and test data generation. While the method is described in the context of FORTRAN and PL/I, it offers a framework that can influence how formatted input-output is analyzed at compile time.

Readers will see how the correspondence between data items and format items can reduce runtime work, improve error detection, and guide the generation of representative test data. The discussion covers the practical limitations of real compilers and highlights how compile-time analysis can substitute for some runtime decision making.

• How data lists and format lists can be converted into a DF-list of pairs, preserving iteration structure.


• Ways this correspondence supports validation, such as type checks and value-range reasoning.


• How the approach can reduce execution time by enabling direct compilation of formats into data lists.


• Implications for automatic test data generation and broader compiler analysis.

Ideal for readers of compiler design, formal language theory in practice, and those exploring static analysis of formatted I/O.

Détails de l'édition

• Éditeur: Forgotten Books
• Date d'édition: 2018
• Langue: anglais
• ISBN 10: 1334537941
• ISBN 13: 9781334537943
• Reliure: Broché
• Nombre de pages: 29
• Coordonnées du fabricant: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com; gpsr@podww.com; ; 9 Culley Court; Orton Southgate; Peterborough; Cambridgeshire; PE2 6WA; Royaume-Uni
• Personne responsable: Easy Access System Europe Oü, 16879218; +358405003575; gpsr.requests@easproject.com; ; Mustamäe tee 50; Tallinn; 10621; Estonie