J. W. Coleman, N. P. Jefferson, C. B. Jones  @ NUS Home/Search
Context
Related
| cs.ncl.ac.uk/research/pubs/tr...844.pdf Cached: PDF PS.gz PS Image Update Help From: cs.ncl.ac.uk/research/pubs/trs... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes an undergraduate course taught at the University of Newcastle upon Tyne; the title of the module is Understanding Programming Languages. The main thrust of the course is to understand how to model features of language semantics. Specifically, (structural) operational semantics (SOS) is taught as a convenient and notational light way of recording and experimenting with features of procedural programming languages. We outline the content, discuss the contentious issue... (Update)
Active bibliography (related documents): More All
1.1: The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
0.6: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.6: On the Search for Tractable Ways of Reasoning about Programs - Jones (2001) (Correct)
Similar documents based on text: More All
0.3: Towards a Formal Semantics of - Nigel (Correct)
0.2: A Formal Basis for Some Dependability Notions - Jones (2003) (Correct)
0.2: The Deconstruction of Safety Arguments Through Adversarial.. - Armstrong, Paynter (2004) (Correct)
BibTeX entry: (Update)
@misc{ coleman-black,
author = "J. W. Coleman and N. P. Jefferson and C. B. Jones",
title = "Black tie optional: Modelling programming language concepts",
url = "citeseer.comp.nus.edu.sg/672369.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 2003
906 A structural approach to operational semantics - Plotkin - 1981
430 Structure and interpretation of computer programs (context) - Abelson, Sussman et al. - 1985
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993
64 Types and Programming Languages (context) - Pierce - 2002
63 Semantics with Applications: A Formal Introduction (context) - Nielson, Nielson - 1992
31 Reasoning with inductively defined relations in the HOL theo.. (context) - Camilleri, Melham - 1992
23 Prentice Hall International (context) - Bjrner, Jones et al. - 1982
18 The Vienna Development Method: The Meta-Language (context) - Bjrner, Jones - 1978
15 Modelling systems: practical tools and techniques in softwar.. (context) - Fitzgerald, Larsen - 1998
11 Formal Language Description Languages for Computer Programmi.. (context) - Steel - 1966
7 Formal semantics of programming languages: VDL (context) - Lucas - 1981
5 A formal description of a subset of ALGOL (context) - McCarthy - 1966
4 Jinja: Towards a comprehensive formal semantics for a java-l.. (context) - Nipkow - 2004
4 Revised report on the algorithmic language Algol (context) - Backus, Bauer et al. - 1963
3 Scientific decisions which characterise VDM (context) - Jones - 1999
3 A formal definition of a PL/I subset (context) - Bekic, Bjrner et al. - 1974
2 volume 6 of Annual Review in Automatic Programming Part (context) - Lucas, Walk et al. - 1969
1 Java source and bytecode formalisations in Isabelle: Bali (context) - Klein, Nipkow et al. - 2002
1 VDM-SL Toolbox Manual (context) - VDMTools - 2001
1 The transition from VDL to VDM (context) - Jones - 2001
1 Programming Language Design Concepts (context) - Watt - 2004
1 The IFAD VDM-SL Language (context) - VDMTools - 2001
1 The origins of structural operational semantics - Plotkin - 2003
Documents on the same site (http://www.cs.ncl.ac.uk/research/pubs/trs/papers/): More
Continuous Orthonormalization Algorithms for Boundary Value.. - Wright (1988) (Correct)
Thinking About `Critical Thinking' - Armstrong (2004) (Correct)
Kava - Using Byte code Rewriting to add Behavioural Reflection .. - Welch, Stroud (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.