Niklaus Wirth

According to our database1, Niklaus Wirth
  • authored at least 86 papers between 1963 and 2012.
  • has a "Dijkstra number"2 of three.

Awards

Turing Prize recipient

Turing Prize 1984, "For developing a sequence of innovative computer languages, Euler programming language|EULER, Algol-W|ALGOL-W, Modula|MODULA and Pascal (programming language)|Pascal".

ACM Fellow

ACM Fellow 1994, "For developing a sequence of innovative computer languages, EULER, ALGOL-W, MODULA and PASCAL. PASCAL has become pedagogically significant and has provided a foundation for future computer language, systems, and architectural research.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2012
optiCall: a robust genotype-calling algorithm for rare, low-frequency and common variants.
Bioinformatics, 2012

Programming Languages - Past Achievements and Future Challenges.
Proceedings of the ACM Turing Centenary Celebration, 2012

2010
Computer Science: A Historical Perspective and a Current Assessment.
Proceedings of the Future of Software Engineering., 2010

2008
A Brief History of Software Engineering.
IEEE Annals of the History of Computing, 2008

Grundlagen und Techniken des Compilerbaus (2. Aufl.).
Oldenbourg, ISBN: 978-3-486-58581-0, 2008

2007
Modula-2 and Oberon.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

2006
Good Ideas, through the Looking Glass.
IEEE Computer, 2006

2003
Hardware/software co-design then and now.
Inf. Process. Lett., 2003

The Essence of Programming Languages.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002
Computing science education: the road not taken.
Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

Program Development by Stepwise Refinement (Reprint).
Proceedings of the Software Pioneers., 2002

The Programming Language Pascal (Reprint).
Proceedings of the Software Pioneers., 2002

Pascal and Its Successors.
Proceedings of the Software Pioneers., 2002

2001
Embedded Systems and Real-Time Programming.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
The Development of Procedural Programming Languages: Personal Contributions and Perspectives.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2000

From Programming Language Design to Computer Construction.
Proceedings of the School of Niklaus Wirth, "The Art of Simplicity", 2000

1999
Algorithmen und Datenstrukturen - Pascal-Version (5. Aufl.).
Leitfäden der Informatik, Teubner, ISBN: 978-3-519-22250-7, 1999

1998
Hardware Compilation: Translating Programs into Circuits.
IEEE Computer, 1998

1996
Tasks versus Threads: An Alternative Multiprocessing Paradigm.
Software - Concepts and Tools, 1996

The Language Lola, FPGAs and PLDs in Teaching Digital Circuit Design.
Proceedings of the Perspectives of System Informatics, 1996

Compiler construction.
International computer science series, Addison-Wesley, ISBN: 978-0-201-40353-4, 1996

Grundlagen und Techniken des Compilerbaus.
Addison-Wesley, ISBN: 978-3-89319-931-0, 1996

1995
A Plea for Lean Software.
IEEE Computer, 1995

Digital circuit design for computer science students - an introductory textbook.
Springer, ISBN: 0-387-58577-X, 1995

1994
Gedanken zur Software-Exlosion.
Informatik Spektrum, 1994

A Laboratory for a Digital Design Course Using FPGAs.
Proceedings of the Field-Programmable Logic, 1994

Programmieren in Oberon - das neue Pascal.
Addison-Wesley, ISBN: 978-3-89319-657-9, 1994

1993
Recollections about the Development of Pascal.
Proceedings of the History of Programming Languages Conference (HOPL-II), 1993

1992
Project Oberon - the design of an operating system and compiler.
Addison-Wesley, ISBN: 978-0-201-54428-2, 1992

Programming in Oberon - steps beyond Pascal and Modula.
ACM, ISBN: 978-0-201-56543-0, 1992

1991
Reply to "Type-Extension Tests Can Be Performed In Constant Time".
ACM Trans. Program. Lang. Syst., 1991

The Programming Language Oberon-2.
Structured Programming, 1991

Differences between Oberon and Oberon-2.
Structured Programming, 1991

Pascal user manual and report - ISO Pascal standard, 4th Edition.
Springer, ISBN: 978-0-387-97649-5, 1991

1990
Ceres-Net: A Low-cost Computer Network.
Softw., Pract. Exper., 1990

1989
Designing a System from Scratch.
Structured Programming, 1989

The Oberon System.
Softw., Pract. Exper., 1989

1988
Type Extensions.
ACM Trans. Program. Lang. Syst., 1988

The Programming Language Oberon.
Softw., Pract. Exper., 1988

From Modula to Oberon.
Softw., Pract. Exper., 1988

Programming in Modula-2, 4th Edition.
Texts and Monographs in Computer Science, Springer, ISBN: 978-3-642-83565-0, 1988

1987
Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures.
Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), 1987

1986
Microprocessor Architectures: A Comparison Based on Code Generation by Compiler.
Commun. ACM, 1986

1985
From Programming Language Design to Computer Construction.
Commun. ACM, 1985

Programmieren in Modula-2
Texts and Monographs in Computer Science, Third Corrected Edition, Springer, ISBN: 978-3-642-96878-5, 1985

Pascal user manual and report: rev. for the ISO Pascal standard, 3rd Edition.
Springer, ISBN: 0387960481, 1985

Algorithms and data structures.
Prentice Hall, ISBN: 978-0-13-022005-9, 1985

1983
Programming in Modula-2, Second Corrected Edition
Texts and Monographs in Computer Science, Springer, ISBN: 978-3-642-96757-3, 1983

Program Development by Stepwise Refinement (Reprint).
Commun. ACM, 1983

1982
Programming in Modula 2
Springer, ISBN: 3-540-11674-5, 1982

1981
Pascal-S: A Subset and its Implementation.
Proceedings of the Pascal - The Language and its Implementation, 1981

Lilith: A Personal Computer for the Software Engineer.
Proceedings of the 5th International Conference on Software Engineering, 1981

LILITH: A personal computer for the software engineer.
Proceedings of the Microcomputer System Design, 1981

1979
A Personal Computer Designed for Use with a High-Level Language.
Proceedings of the Microcomputing, 1979

A Personal Computer Based on a High-Level Language.
Proceedings of the Language Design and Programming Methodology, 1979

The Module: A System Structuring Facility in High-Level Programming Languages.
Proceedings of the Language Design and Programming Methodology, 1979

1978
Interlude on signals and semphores revisited. author's response.
Commun. ACM, 1978

1977
Design and Implementation of Modula.
Softw., Pract. Exper., 1977

The Use of Modula.
Softw., Pract. Exper., 1977

Modula: a Language for Modular Multiprogramming.
Softw., Pract. Exper., 1977

What Can We Do about the Unnecessary Diversity of Notation for Syntactic Definitions?
Commun. ACM, 1977

Toward a Discipline of Real-Time Programming.
Commun. ACM, 1977

Compilerbau - Eine Einführung
Teubner, ISBN: 3-519-02338-5, 1977

1975
An Assessment of the Programming Language Pascal.
IEEE Trans. Software Eng., 1975

Pascal User Manual and Report, Second Edition
Lecture Notes in Computer Science 18, Springer, ISBN: 3-540-07167-9, 1975

Pascal User Manual and Report, Second Edition
Springer, ISBN: 3-540-90144-2, 1975

1974
On the Composition of Well-Structured Programs.
ACM Comput. Surv., 1974

On the Design of Programming Languages.
IFIP Congress, 1974

Systemprogramming aus der Sicht der Universität.
Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1973
An Axiomatic Definition of the Programming Language PASCAL
Acta Inf., 1973

1971
The Design of a PASCAL Compiler.
Softw., Pract. Exper., 1971

Program Development by Stepwise Refinement.
Commun. ACM, 1971

The Programming Language Pascal.
Acta Inf., 1971

1969
On multiprogramming, machine coding, and computer organization.
Commun. ACM, 1969

1968
Corrigendum: "PL360, a Programming Language for the 360 Computers".
J. ACM, 1968

PL360, a Programming Language for the 360 Computers.
J. ACM, 1968

1966
EULER: a generalization of ALGOL, and its formal definition: Part II.
Commun. ACM, 1966

EULER: a generalization of ALGOL and it formal definition: Part 1.
Commun. ACM, 1966

A contribution to the development of ALGOL.
Commun. ACM, 1966

A note on "Program structures for parallel processing".
Commun. ACM, 1966

1965
Algorithm 265: find precedence functions [L2].
Commun. ACM, 1965

Algorithm 249: outreal N [15].
Commun. ACM, 1965

Automatic grading programs.
Commun. ACM, 1965

1964
Certification of algorithm 146: Multiple integration.
Commun. ACM, 1964

1963
A generalization of ALGOL.
Commun. ACM, 1963

A syntactic description of BC NELIAC.
Commun. ACM, 1963


  Loading...