ALGOL 60

Results: 30



#Item
1COMPUTING SCIENCE An Exegesis of Four Formal Descriptions of ALGOL 60 Cliff B. Jones, Troy K. Astarte

COMPUTING SCIENCE An Exegesis of Four Formal Descriptions of ALGOL 60 Cliff B. Jones, Troy K. Astarte

Add to Reading List

Source URL: internal.ncl.ac.uk

- Date: 2016-10-21 04:26:03
    2Revised Report on the Algorithmic Language Algol 60 By J.W. Backus, F.L. Bauer, J.Green, C. Katz, J. McCarthy P. Naur, A.J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois J.H. Wegstein, A. van Wijngaarden, M. Woodger E

    Revised Report on the Algorithmic Language Algol 60 By J.W. Backus, F.L. Bauer, J.Green, C. Katz, J. McCarthy P. Naur, A.J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois J.H. Wegstein, A. van Wijngaarden, M. Woodger E

    Add to Reading List

    Source URL: homepages.cs.ncl.ac.uk

    - Date: 2014-12-04 16:44:09
      3The Mathematical Semantics of Algol 60

      The Mathematical Semantics of Algol 60

      Add to Reading List

      Source URL: homepages.cs.ncl.ac.uk

      - Date: 2014-12-04 04:33:06
        4Formal Definition of ALGOL 60

        Formal Definition of ALGOL 60

        Add to Reading List

        Source URL: homepages.cs.ncl.ac.uk

        Language: English - Date: 2014-10-06 17:17:15
        5ALGOL 60 - Chapter 6, Formal Specification and Software Development

        ALGOL 60 - Chapter 6, Formal Specification and Software Development

        Add to Reading List

        Source URL: homepages.cs.ncl.ac.uk

        Language: English - Date: 2014-08-19 19:14:29
        6A Formal Definition of Algol 60

        A Formal Definition of Algol 60

        Add to Reading List

        Source URL: homepages.cs.ncl.ac.uk

        Language: English - Date: 2014-11-05 17:36:16
        7Early Nordic compilers and autocodes VersionofPeter Sestoft IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark

        Early Nordic compilers and autocodes VersionofPeter Sestoft IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark

        Add to Reading List

        Source URL: www.itu.dk

        Language: English - Date: 2014-09-21 16:38:01
        8Remarks for Japan Prize award ceremony for Dennis Ritchie, May 19, 2011, Murray Hill, NJ M. Douglas McIlroy Lots of people have exclaimed about what a revelation Unix was. As Tony Hoare said of Algol 60, Unix was not onl

        Remarks for Japan Prize award ceremony for Dennis Ritchie, May 19, 2011, Murray Hill, NJ M. Douglas McIlroy Lots of people have exclaimed about what a revelation Unix was. As Tony Hoare said of Algol 60, Unix was not onl

        Add to Reading List

        Source URL: www.cs.dartmouth.edu

        Language: English - Date: 2011-10-13 23:50:20
          9COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 6 Concepts in Programming Languages (AM) (a) Give an overview of the execution models (abstract machines) associated with Fortran, Lisp, Algol-60, Pascal, C, ML and Ja

          COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 6 Concepts in Programming Languages (AM) (a) Give an overview of the execution models (abstract machines) associated with Fortran, Lisp, Algol-60, Pascal, C, ML and Ja

          Add to Reading List

          Source URL: www.cl.cam.ac.uk

          Language: English - Date: 2014-06-09 10:18:42
            10E. Satterthwaite January 1968 CGTM # 39 B5500 Extended Algol to Algol W Translation 1.

            E. Satterthwaite January 1968 CGTM # 39 B5500 Extended Algol to Algol W Translation 1.

            Add to Reading List

            Source URL: www.slac.stanford.edu

            Language: English - Date: 2011-07-15 17:16:22