Black tie optional: Modelling programming language concepts (2004)  (Make Corrections)  
J. W. Coleman, N. P. Jefferson, C. B. Jones

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.