Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Compile-Time Analysis of Data List-Format List Correspondenc...
Foto des Verkäufers
Compile-Time Analysis of Data List-Format List Correspondences
Print-on-DemandAnbieter: Forgotten Books, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Print on Demand. This book is a foundational text for understanding the analysis of the correspondence between data lists and format lists in programming languages, a process that determines how data items in a program are paired with format items for formatted input and output operations. The author begins by discussing the history and significance of formatted input and output in computer programming, situating the subject within the broader context of program optimization, validation, and test data generation. The author presents three primary areas in which data-format correspondence analysis finds application: program optimization, program validation, and automatic test data generation. Following these theoretical considerations, the author introduces a practical, step-by-step algorithm that enables the pairing of data items with format items. Several detailed examples illustrate the algorithm's application, demonstrating its effectiveness even in complex cases. The concluding section of the book explores the topic of control formats, extending the algorithm to account for these special cases. Overall, this book is an invaluable resource for computer scientists, programmers, and anyone interested in the optimization, validation, and testing of computer programs. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Bestandsnummer des Verkäufers 9781334537943_0
Neu kaufen
EUR 14,98
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Compile-Time Analysis of Data List-Format List Correspondences (Classic Reprint)
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781334537943
Beispielbild für diese ISBN
Compile-Time Analysis of Data List-Format List Correspondences (Classic Reprint)
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781334537943
Neu kaufen
EUR 20,60
EUR 3,80 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Compile-Time Analysis of Data List-Format List Correspondences (Classic Reprint)
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 30 pages. 9.06x5.91x0.24 inches. This item is printed on demand. Bestandsnummer des Verkäufers zk1334537941
Neu kaufen
EUR 20,21
EUR 11,55 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar