Top

next chapter Mathematical Background

Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

1. Introduction

Author: Maribel Fernández

Publisher: Springer London

Published in: Programming Languages and Operational Semantics

» Get access to the full version

Abstract

This book is concerned with programming languages. Programming languages are tools for writing software; they enable the user to communicate with the computer.

Please log in to get access to this content

To get access to this content you need the following product:

Computer Science Explorer

Purchase now

In some typed languages the compiler does not check types but introduces code so that types can be checked at run time.

Simply use the interactive evaluator in your browser, see http://www.tryhaskell.org. To evaluate an expression, type the expression after the prompt and press the return key.

Type each of the lines using the interactive evaluator for Haskell in your browser, see http://www.tryhaskell.org, and explain the errors found.

G. Gordon, The development of the general purpose simulation system (GPSS). Newsletter, in ACM SIGPLAN Notices. Special issue: History of programming languages conference, vol. 13, pp. 183–198 (1978)

World Wide Web Consortium. XSL Transformations (XSLT), version 1.0 (1999), www.w3.org/TR/xslt

E. Jendrock, J. Ball, D. Carson, I. Evans, S. Fordin, K. Haase, The Java EE 5 Tutorial. Oracle (first published 2007) (2010)

IBM, Preliminary Report, Specifications for the IBM Mathematical FORmula TRANslating System (IBM Corporation, New York, 1954)

N. Wirth, The programming language Pascal. Acta Informatica 1(1), 35–63 (1971) CrossRefMATHMathSciNet

S.L. Peyton Jones, Haskell 98 Language and Libraries (Cambridge University Press, Cambridge, 2003)

J. Gosling, B. Joy, G. Steele, The Java Language Specification (Addison-Wesley, Boston, 1996) MATH

P. Naur, Report on the algorithmic language ALGOL 60. Commun. ACM 3(5) (1960)

B.W. Kernighan, D.M. Ritchie, The C Programming Language, 2nd edn. Software Series (Prentice Hall, Upper Saddle River, 1988)

10.

G. van Rossum, A tour of the Python language, in TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, 28 July–1 August 1997 (IEEE Computer Society, Santa Barbara, USA, 1998), p. 370

11.

R. Milner, M. Tofte, R. Harper, The Definition of Standard ML (MIT Press, Cambridge, 1990)

12.

P. Weiss, X. Leroy, Le Langage CAML (Dunod, Paris, 1999)

13.

Clean Development Team. Concurrent Clean Language Report (version 2.2). clean.cs.ru.nl/Documentation.

14.

J. McCarthy, P. Abrahams, D. Edwards, T. Hart, M. Levin, LISP 1.5 Programmer’s Manual, 2nd edn. (MIT Press, Cambridge, 1965)

15.

P. Roussel, PROLOG: Manuel de référence et d’utilisation, Research Report (Artificial Intelligence Team, University of Aix-Marseille, France, 1975)

16.

D. Flanagan, JavaScript: The Definitive Guide, 6th edn. (O’Reilly Media, California, 2011)

17.

T. Converse, J. Park, PHP Bible, 2nd edn. (Wiley, 2002)

18.

R. Sebesta, Concepts of Programming Languages, 10th edn. (Addison Wesley, Boston, 2012)

19.

J. McCarthy, Towards a mathematical science of computation, in IFIP Congress (1962), pp. 21–28

20.

A.V. Aho, M.S. Lam, R. Sethi, J.D. Ullman, Compilers: Principles, Techniques, and Tools (Prentice Hall, Upper Saddle River, 2006)

21.

H.R. Nielson, F. Nielson, Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) (Springer, Berlin, 2007)

22.

G. Winskel, The Formal Semantics of Programming Languages. Foundations of Computing (MIT Press, Cambridge, 1993)

Title

Introduction

Book

Programming Languages and Operational Semantics

Print ISBN: 978-1-4471-6367-1

Electronic ISBN: 978-1-4471-6368-8

https://doi.org/10.1007/978-1-4471-6368-8

DOI

https://doi.org/10.1007/978-1-4471-6368-8_1

Author:

Maribel Fernández

Publisher

Springer London

Sequence number

Chapter number

Chapter 1