Limit search to available items
Book Cover
Author Informatik Symposium (4th : 1974 : Wildbad im Schwarzwald, Germany)

Title Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl
Published Berlin ; New York : Springer-Verlag, 1975


Description 1 online resource (vi, 501 pages) : illustrations
Series Lecture notes in computer science ; 23
Lecture notes in computer science ; 23. 0302-9743
Contents On the development of systems of men and machines -- A new look at the program development process -- Organizing for structured programming -- The reliability of programming systems -- Fehleranalyse und Fehlerursachen in Systemprogrammen -- APLGOL a structured programming language for APL -- Systemprogrammierung aus der Sicht der Universitaet -- Systemprogrammiersprachen und strukturiertes Programmieren -- Software engineering or methods for the multi-person construction of multi-version programs -- Knowledge and reasoning in program synthesis -- A new approach to program testing -- Interprocedural analysis and the information derived by it -- Neue Verfahren zur Optimisierung und Parallflisierung von Programmen -- Automatic programming -- Nonprocedural programming -- Formal definition in program development -- Programmierte Strukturen -- Axiomatisierung von Programmiersprachen und ihre Grenzen -- Formalization, history, present, and future
Notes "Sponsored by IBM Germany and the IBM World Trade Corporation."
English or German
Bibliography Includes bibliographical references and index
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
English or German
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Computer programming -- Congresses
Computer programming
Genre/Form Conference papers and proceedings
Form Electronic book
Author Hackl, Clemens.
IBM Deutschland.
IBM World Trade Corporation.
ISBN 9783540374015