BibTeX records: Peter Naur

download as .bib file

@article{DBLP:journals/cacm/Naur07,
  author       = {Peter Naur},
  title        = {Computing versus human thinking},
  journal      = {Commun. {ACM}},
  volume       = {50},
  number       = {1},
  pages        = {85--94},
  year         = {2007},
  url          = {https://doi.org/10.1145/1188913.1188922},
  doi          = {10.1145/1188913.1188922},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uist/Naur06,
  author       = {Peter Naur},
  editor       = {Pierre Wellner and
                  Ken Hinckley},
  title        = {Computing versus human thinking},
  booktitle    = {Proceedings of the 19th Annual {ACM} Symposium on User Interface Software
                  and Technology, Montreux, Switzerland, October 15-18, 2006},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1166253.1166254},
  doi          = {10.1145/1166253.1166254},
  timestamp    = {Tue, 06 Nov 2018 16:58:07 +0100},
  biburl       = {https://dblp.org/rec/conf/uist/Naur06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/para/Naur96,
  author       = {Peter Naur},
  editor       = {Jerzy Wasniewski and
                  Jack J. Dongarra and
                  Kaj Madsen and
                  Dorte Olesen},
  title        = {PARA'96 Conference Dinner Talk, 1996 August 20},
  booktitle    = {Applied Parallel Computing, Industrial Computation and Optimization,
                  Third International Workshop, {PARA} 96, Lyngby, Denmark, August 18-21,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1184},
  pages        = {529--533},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-62095-8\_57},
  doi          = {10.1007/3-540-62095-8\_57},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/para/Naur96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/Naur93,
  author       = {Peter Naur},
  title        = {Understanding Turing's Universal Machine - Personal Style in Program
                  Description},
  journal      = {Comput. J.},
  volume       = {36},
  number       = {4},
  pages        = {351--372},
  year         = {1993},
  url          = {https://doi.org/10.1093/comjnl/36.4.351},
  doi          = {10.1093/COMJNL/36.4.351},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Naur93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip10-2/Naur92,
  author       = {Peter Naur},
  editor       = {J{\o}rgen Staunstrup and
                  Robin Sharp},
  title        = {Invited talk: Three Notions of Proof},
  booktitle    = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
                  Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
                  1992},
  series       = {{IFIP} Transactions},
  volume       = {{A-5}},
  pages        = {97--101},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Tue, 19 Feb 2002 13:35:53 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip10-2/Naur92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bit/Naur86,
  author       = {Peter Naur},
  title        = {Thinking and Turing's Test},
  journal      = {{BIT}},
  volume       = {26},
  number       = {2},
  pages        = {175--187},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF01933743},
  doi          = {10.1007/BF01933743},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bit/Naur86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tapsoft/Naur85,
  author       = {Peter Naur},
  editor       = {Hartmut Ehrig and
                  Christiane Floyd and
                  Maurice Nivat and
                  James W. Thatcher},
  title        = {Intuition in Software Development},
  booktitle    = {Mathematical Foundations of Software Development, Proceedings of the
                  International Joint Conference on Theory and Practice of Software
                  Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
                  2: Colloquium on Software Engineering {(CSE)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {186},
  pages        = {60--79},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15199-0\_5},
  doi          = {10.1007/3-540-15199-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Naur85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bit/Naur82,
  author       = {Peter Naur},
  title        = {Formalization in Program Development},
  journal      = {{BIT}},
  volume       = {22},
  number       = {4},
  pages        = {437--453},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF01934408},
  doi          = {10.1007/BF01934408},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bit/Naur82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bit/Naur80,
  author       = {Peter Naur},
  title        = {Impressions of the Early Days of Programming},
  journal      = {{BIT}},
  volume       = {20},
  number       = {4},
  pages        = {414--425},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF01933635},
  doi          = {10.1007/BF01933635},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bit/Naur80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/Naur79,
  author       = {Peter Naur},
  title        = {Critique of the {ISO} Data Processing Vocabulary},
  journal      = {Comput. J.},
  volume       = {22},
  number       = {3},
  pages        = {286--288},
  year         = {1979},
  url          = {https://doi.org/10.1093/comjnl/22.3.286},
  doi          = {10.1093/COMJNL/22.3.286},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Naur79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigplan/Naur78,
  author       = {Peter Naur},
  title        = {The European side of the last phase of the development of {ALGOL}
                  60},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {13},
  number       = {8},
  pages        = {15--44},
  year         = {1978},
  url          = {https://doi.org/10.1145/960118.808370},
  doi          = {10.1145/960118.808370},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/Naur78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hopl/Naur78,
  author       = {Peter Naur},
  editor       = {Richard L. Wexelblat},
  title        = {The European side of the last phase of the development of {ALGOL}
                  60},
  booktitle    = {History of Programming Languages, from the {ACM} {SIGPLAN} History
                  of Programming Languages Conference, June 1-3, 1978, Los Angeles,
                  California, {USA}},
  pages        = {92--139},
  publisher    = {Academic Press / {ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800025.1198353},
  doi          = {10.1145/800025.1198353},
  timestamp    = {Thu, 01 Oct 2020 16:41:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hopl/Naur78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hopl/PerlisN78,
  author       = {Alan J. Perlis and
                  Peter Naur},
  editor       = {Richard L. Wexelblat},
  title        = {Transcripts of presentations},
  booktitle    = {History of Programming Languages, from the {ACM} {SIGPLAN} History
                  of Programming Languages Conference, June 1-3, 1978, Los Angeles,
                  California, {USA}},
  pages        = {139--161},
  publisher    = {Academic Press / {ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800025.1198354},
  doi          = {10.1145/800025.1198354},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hopl/PerlisN78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur75,
  author       = {Peter Naur},
  title        = {Programming Languages, Natural Languages, and Mathematics},
  journal      = {Commun. {ACM}},
  volume       = {18},
  number       = {12},
  pages        = {676--683},
  year         = {1975},
  url          = {https://doi.org/10.1145/361227.361229},
  doi          = {10.1145/361227.361229},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/Naur75,
  author       = {Peter Naur},
  editor       = {Robert M. Graham and
                  Michael A. Harrison and
                  John C. Reynolds},
  title        = {Programming Languages, Natural Languages, and Mathematics},
  booktitle    = {Conference Record of the Second {ACM} Symposium on Principles of Programming
                  Languages, Palo Alto, California, USA, January 1975},
  pages        = {137--148},
  publisher    = {{ACM} Press},
  year         = {1975},
  url          = {https://doi.org/10.1145/512976.512991},
  doi          = {10.1145/512976.512991},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/Naur75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/Naur74,
  author       = {Peter Naur},
  editor       = {Dirk Siefkes},
  title        = {Trends in Computer Science Education},
  booktitle    = {{GI} - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974},
  series       = {Lecture Notes in Computer Science},
  volume       = {26},
  pages        = {85--93},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-07141-5\_211},
  doi          = {10.1007/3-540-07141-5\_211},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Naur74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip/Naur68,
  author       = {Peter Naur},
  editor       = {A. J. H. Morrel},
  title        = {'Datalogy', the science of data and data processes},
  booktitle    = {Information Processing, Proceedings of {IFIP} Congress 1968, Edinburgh,
                  UK, 5-10 August 1968, Volume 2 - Hardware, Applications},
  pages        = {1383--1387},
  year         = {1968},
  timestamp    = {Fri, 26 Jul 2019 15:39:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Naur68.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur66,
  author       = {Peter Naur},
  title        = {Program translation viewed as a general data processing problem},
  journal      = {Commun. {ACM}},
  volume       = {9},
  number       = {3},
  pages        = {176--179},
  year         = {1966},
  url          = {https://doi.org/10.1145/365230.365260},
  doi          = {10.1145/365230.365260},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur66a,
  author       = {Peter Naur},
  title        = {The science of datalogy},
  journal      = {Commun. {ACM}},
  volume       = {9},
  number       = {7},
  pages        = {485},
  year         = {1966},
  url          = {https://doi.org/10.1145/365719.366510},
  doi          = {10.1145/365719.366510},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur65,
  author       = {Peter Naur},
  title        = {The performance of a system for automatic segmentation of programs
                  within an {ALGOL} compiler {(GIER} {ALGOL)}},
  journal      = {Commun. {ACM}},
  volume       = {8},
  number       = {11},
  pages        = {671--676},
  year         = {1965},
  url          = {https://doi.org/10.1145/365660.365680},
  doi          = {10.1145/365660.365680},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur65.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur64,
  author       = {Peter Naur},
  title        = {Certification of algorithm 122: Tridiagonal matrix},
  journal      = {Commun. {ACM}},
  volume       = {7},
  number       = {3},
  pages        = {144--145},
  year         = {1964},
  url          = {https://doi.org/10.1145/363958.363969},
  doi          = {10.1145/363958.363969},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur64.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur64a,
  author       = {Peter Naur},
  title        = {Certification of algorithm 150: {SYMINV2}},
  journal      = {Commun. {ACM}},
  volume       = {7},
  number       = {3},
  pages        = {148},
  year         = {1964},
  url          = {https://doi.org/10.1145/363958.363973},
  doi          = {10.1145/363958.363973},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur64a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur64b,
  author       = {Peter Naur},
  title        = {Remarks on algorithm 91: Chebyshev curve fit},
  journal      = {Commun. {ACM}},
  volume       = {7},
  number       = {5},
  pages        = {296},
  year         = {1964},
  url          = {https://doi.org/10.1145/364099.364319},
  doi          = {10.1145/364099.364319},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur64b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/BackusBGKMPRSVWWWN63,
  author       = {John W. Backus and
                  Friedrich L. Bauer and
                  Julien Green and
                  C. Katz and
                  John McCarthy and
                  Alan J. Perlis and
                  Heinz Rutishauser and
                  Klaus Samelson and
                  Bernard Vauquois and
                  Joseph Henry Wegstein and
                  Adriaan van Wijngaarden and
                  Michael Woodger and
                  Peter Naur},
  title        = {Revised report on the algorithm language {ALGOL} 60},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {1--17},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366201},
  doi          = {10.1145/366193.366201},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BackusBGKMPRSVWWWN63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63,
  author       = {Peter Naur},
  title        = {Remarks on algorithm 42: invert},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {38},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366232},
  doi          = {10.1145/366193.366232},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63a,
  author       = {Peter Naur},
  title        = {Remarks on and certification of algorithm 50: inverse of a finite
                  segment of the Hilbert matrix},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {38--39},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366233},
  doi          = {10.1145/366193.366233},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63b,
  author       = {Peter Naur},
  title        = {Remarks on and certification of algorithm 52: a set of test matrices},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {39},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366235},
  doi          = {10.1145/366193.366235},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63c,
  author       = {Peter Naur},
  title        = {Certification of algorithm for calculating primes by means of {GPS}},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {39},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366237},
  doi          = {10.1145/366193.366237},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63d,
  author       = {Peter Naur},
  title        = {Remark on algorithm 107: Gauss's method},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {39},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366239},
  doi          = {10.1145/366193.366239},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63e,
  author       = {Peter Naur},
  title        = {Certification of algorithms 117 and 118 magic squares (even and odd
                  orders)},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {39--40},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366240},
  doi          = {10.1145/366193.366240},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63f,
  author       = {Peter Naur},
  title        = {Certification of algorithms 120 and matrix inversion by Gauss-Jordan
                  inversion {II}},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {1},
  pages        = {40},
  year         = {1963},
  url          = {https://doi.org/10.1145/366193.366244},
  doi          = {10.1145/366193.366244},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63g,
  author       = {Peter Naur},
  title        = {Documentation problems: {ALGOL} 60},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {3},
  pages        = {77--79},
  year         = {1963},
  url          = {https://doi.org/10.1145/366274.366286},
  doi          = {10.1145/366274.366286},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63h,
  author       = {Peter Naur},
  title        = {Correction to earlier remarks on algorithm 42 invert, alg. 107 Gauss's
                  method, alg 120 inversion II, and gjr},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {8},
  pages        = {445},
  year         = {1963},
  url          = {https://doi.org/10.1145/366707.367554},
  doi          = {10.1145/366707.367554},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63i,
  author       = {Peter Naur},
  title        = {Additional remarks on algorithm 52: a set of test matrices},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {8},
  pages        = {446},
  year         = {1963},
  url          = {https://doi.org/10.1145/366707.367559},
  doi          = {10.1145/366707.367559},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63i.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/Naur63j,
  author       = {Peter Naur},
  title        = {Certification of algorithm 85: Jacobi},
  journal      = {Commun. {ACM}},
  volume       = {6},
  number       = {8},
  pages        = {447--448},
  year         = {1963},
  url          = {https://doi.org/10.1145/366707.367563},
  doi          = {10.1145/366707.367563},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Naur63j.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/BackusBGK0NPRSV63,
  author       = {John W. Backus and
                  Friedrich L. Bauer and
                  Julien Green and
                  C. Katz and
                  John McCarthy and
                  Peter Naur and
                  Alan J. Perlis and
                  Heinz Rutishauser and
                  Klaus Samelson and
                  Bernard Vauquois and
                  Joseph Henry Wegstein and
                  Adriaan van Wijngaarden and
                  Michael Woodger},
  title        = {Revised report on the algorithmic language {ALGOL} 60},
  journal      = {Comput. J.},
  volume       = {5},
  number       = {4},
  pages        = {349--367},
  year         = {1963},
  url          = {https://doi.org/10.1093/comjnl/5.4.349},
  doi          = {10.1093/COMJNL/5.4.349},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/BackusBGK0NPRSV63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/GramHIJJNPS63,
  author       = {Christian Gram and
                  Ole Hestvik and
                  Henning Isaksson and
                  P. T. Jacobsen and
                  J{\o}rn Jensen and
                  Peter Naur and
                  Bent Schar{\o}e Petersen and
                  B. Svejgaard},
  title        = {{GIER-A} Danish Computer of Medium Size},
  journal      = {{IEEE} Trans. Electron. Comput.},
  volume       = {12},
  number       = {6},
  pages        = {629--650},
  year         = {1963},
  url          = {https://doi.org/10.1109/PGEC.1963.263548},
  doi          = {10.1109/PGEC.1963.263548},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/GramHIJJNPS63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/JensenMN61,
  author       = {J{\o}rn Jensen and
                  Per Mondrup and
                  Peter Naur},
  title        = {A storage allocation scheme for {ALGOL} 60},
  journal      = {Commun. {ACM}},
  volume       = {4},
  number       = {10},
  pages        = {441--445},
  year         = {1961},
  url          = {https://doi.org/10.1145/366786.366803},
  doi          = {10.1145/366786.366803},
  timestamp    = {Tue, 09 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/JensenMN61.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.