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