Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
edited by Clemens E. Hackl.
- 1 online resource (vi, 501 pages) : illustrations
- Lecture notes in computer science ; 23 .
- Lecture notes in computer science ; 23. .
"Sponsored by IBM Germany and the IBM World Trade Corporation." English or German.
Includes bibliographical references and index.
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.
Use copy
Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.
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.
http://purl.oclc.org/DLF/benchrepro0212
English or German.
9783540374015 3540374019
75,A23,0615 dnb
750224584 DE-101
Computer programming--Congresses.
Programmation (Informatique)--Congrès.
Computer programming
Informatik
Programmierung
Kongress
Computer programming--Congresses.
Kongreß.
Conference papers and proceedings
Wildbad (Schwarzwald, 1974)
QA76.6 / .I47 1974
001.6/42
"Sponsored by IBM Germany and the IBM World Trade Corporation." English or German.
Includes bibliographical references and index.
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.
Use copy
Electronic reproduction.
[Place of publication not identified] :
HathiTrust Digital Library,
2010.
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.
http://purl.oclc.org/DLF/benchrepro0212
English or German.
9783540374015 3540374019
75,A23,0615 dnb
750224584 DE-101
Computer programming--Congresses.
Programmation (Informatique)--Congrès.
Computer programming
Informatik
Programmierung
Kongress
Computer programming--Congresses.
Kongreß.
Conference papers and proceedings
Wildbad (Schwarzwald, 1974)
QA76.6 / .I47 1974
001.6/42