The formal semantics of programming languages. An introduction
Saved in:
| Main Author: | Winskel, Glynn author |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass., USA :
MIT Press,
1993.
|
| Series: | Foundations of computing
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Programming Languages: Principles and Paradigms
by: Gabbrielli, Maurizio
Published: (2010)
by: Gabbrielli, Maurizio
Published: (2010)
Types and programming languages.
by: Pierce, Benjamin C.
Published: (2002)
by: Pierce, Benjamin C.
Published: (2002)
Practical foundations for programming languages.
by: Harper, Robert
Published: (2013)
by: Harper, Robert
Published: (2013)
Advances topics in types and programming languages.
Published: (2005)
Published: (2005)
Symposium on semantics of algorithmic languages
by: Engeler, E
Published: (1971)
by: Engeler, E
Published: (1971)
Concepts of programming languages
by: Sebesta, Robert W
Published: (2016)
by: Sebesta, Robert W
Published: (2016)
Formal semantics: the essential readings
by: Portner, Paul, et al.
Published: (2002)
by: Portner, Paul, et al.
Published: (2002)
Programming languages: principles and practice
by: Louden, Kenneth C., et al.
Published: (2012)
by: Louden, Kenneth C., et al.
Published: (2012)
Concepts of programming languages
by: Sebesta, Robert W
Published: (1989)
by: Sebesta, Robert W
Published: (1989)
The C programming language
by: Stroustrup, Bjarne
Published: (1991)
by: Stroustrup, Bjarne
Published: (1991)
Programming languages
by: Tucker, Allen B
Published: (1986)
by: Tucker, Allen B
Published: (1986)
Programming languages: history and fundamentals
by: Sammet, Jean E
Published: (1969)
by: Sammet, Jean E
Published: (1969)
Programmed learning aid for Basic programming language
by: Brady, Allen H, et al.
Published: (1981)
by: Brady, Allen H, et al.
Published: (1981)
The ADA programming language: a tutorial
by: Saib, Sabina H, et al.
Published: (1983)
by: Saib, Sabina H, et al.
Published: (1983)
C programming language: an applied perspective
by: Miller, Lawrence H., et al.
Published: (1987)
by: Miller, Lawrence H., et al.
Published: (1987)
The SNOBOL 4 programming language
by: Griswold, R. E, et al.
Published: (1971)
by: Griswold, R. E, et al.
Published: (1971)
Structure and interpretation of computer programs.
by: Abelson, Harold, et al.
Published: (1996)
by: Abelson, Harold, et al.
Published: (1996)
BASIC programming
by: Long, Larry
Published: (1986)
by: Long, Larry
Published: (1986)
Object oriented programing in Java
by: Gilbert, Stephen, et al.
Published: (1997)
by: Gilbert, Stephen, et al.
Published: (1997)
Introduction to linear programming: methods and cases
by: Naylor, Thomas H., et al.
Published: (1971)
by: Naylor, Thomas H., et al.
Published: (1971)
Formal pragmatics: semantics, pragmatics, presupposition, and focus
by: Kadmon, Nirit
Published: (2001)
by: Kadmon, Nirit
Published: (2001)
Language and information: selected essays on their theory and application
by: Bar-Hillel, Yehoshua
Published: (1964)
by: Bar-Hillel, Yehoshua
Published: (1964)
Linguistic semantics
by: Frawley, William
Published: (1992)
by: Frawley, William
Published: (1992)
The semantic Web: a guide to the future of XML, Web services, and knowledge management
by: Daconta, Michael C, et al.
Published: (2003)
by: Daconta, Michael C, et al.
Published: (2003)
Spinning the semantic web: bringing the World Wide Web to its full potential
by: Fensel, Dieter, et al.
Published: (2003)
by: Fensel, Dieter, et al.
Published: (2003)
Programming via Pascal
by: Rohl, J. S, et al.
Published: (1980)
by: Rohl, J. S, et al.
Published: (1980)
Structured FORTRAN IV programming
by: Dock, V. Thomas
Published: (1979)
by: Dock, V. Thomas
Published: (1979)
Meaning in language: an introduction to semantics and pragmatics
by: Cruse, Alan
Published: (2004)
by: Cruse, Alan
Published: (2004)
An introduction to the art and science of programming: Turbo Pascal edition
by: Savitch, Walter
Published: (1986)
by: Savitch, Walter
Published: (1986)
Natural language understanding
by: Allen, James
Published: (1995)
by: Allen, James
Published: (1995)
The joy of C. Programming in C
by: Miller, Lawrence H., et al.
Published: (1993)
by: Miller, Lawrence H., et al.
Published: (1993)
Introduction to assembler language programming for the IBM system 360-370
by: Brearley, H. C
Published: (1974)
by: Brearley, H. C
Published: (1974)
The art of parallel programming
by: Lester, Bruce P
Published: (1993)
by: Lester, Bruce P
Published: (1993)
Natural language processing and text mining
by: Kao, Anne, et al.
Published: (2007)
by: Kao, Anne, et al.
Published: (2007)
Herb Schildt's C programming cookbook
by: Schildt, Herbert
Published: (2008)
by: Schildt, Herbert
Published: (2008)
Simplified ANSI FORTRAN IV programming
by: Silver, Gerald A, et al.
Published: (1976)
by: Silver, Gerald A, et al.
Published: (1976)
Tricks of the Java programming gurus
by: Vaderburg, Glenn L
Published: (1996)
by: Vaderburg, Glenn L
Published: (1996)
Programe juegos con ActionScript 3.0
by: Arce Anguiano, Francisco Javier
Published: (2012)
by: Arce Anguiano, Francisco Javier
Published: (2012)
The OPL Optimization Programming Language
by: Van Hentenryck, Pascal
Published: (1999)
by: Van Hentenryck, Pascal
Published: (1999)
Advanced programming and problem solving with Pascal
by: Schneider, G. Michael, et al.
Published: (1981)
by: Schneider, G. Michael, et al.
Published: (1981)
Similar Items
-
Programming Languages: Principles and Paradigms
by: Gabbrielli, Maurizio
Published: (2010) -
Types and programming languages.
by: Pierce, Benjamin C.
Published: (2002) -
Practical foundations for programming languages.
by: Harper, Robert
Published: (2013) -
Advances topics in types and programming languages.
Published: (2005) -
Symposium on semantics of algorithmic languages
by: Engeler, E
Published: (1971)