Peter Naur

MaRDI QIDQ579953zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Pluralism in software engineering: Turing Award Winner Peter Naur explains. Edited by Kurt De Grave	2016-01-08	Paper
Knowing and the mystique of logic and rules Studies in Cognitive Systems	1996-08-19	Paper
Proof versus formalization BIT	1995-01-30	Paper
scientific article; zbMATH DE number 53117 (Why is no real title available?)	1993-01-23	Paper
Thinking and Turing's test BIT	1986-01-01	Paper
Formalization in program development BIT	1982-01-01	Paper
scientific article; zbMATH DE number 3518250 (Why is no real title available?)	1976-01-01	Paper
Modified Report on the Algorithmic Language ALGOL 60 The Computer Journal	1976-01-01	Paper
scientific article; zbMATH DE number 3562485 (Why is no real title available?)	1975-01-01	Paper
An experiment on program development BIT	1972-01-01	Paper
Programming by action clusters BIT	1969-01-01	Paper
scientific article; zbMATH DE number 3278863 (Why is no real title available?)	1968-01-01	Paper
Features of the gier algol 4 system BIT	1968-01-01	Paper
scientific article; zbMATH DE number 3240771 (Why is no real title available?)	1965-01-01	Paper
Automatic grading of students' ALGOL programming BIT	1964-01-01	Paper
Using machine code within an algol system BIT	1964-01-01	Paper
Revised report on the algorithmic language ALGOL 60 Numerische Mathematik	1963-01-01	Paper
The design of the GIER ALGOL compiler Part I BIT	1963-01-01	Paper
scientific article; zbMATH DE number 3172204 (Why is no real title available?)	1962-01-01	Paper
A storage allocation scheme for ALGOL 60 Communications of the ACM	1961-01-01	Paper
A storage allocation scheme for ALGOL 60 BIT	1961-01-01	Paper
scientific article; zbMATH DE number 3118353 (Why is no real title available?)	1956-01-01	Paper
Computation of Special Perturbations by an Electronic Calculator Monthly Notices of the Royal Astronomical Society	1951-01-01	Paper

Research outcomes over time

This page was built for person: Peter Naur