Ata uhi

The formal semantics of programming languages. An introduction

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Winskel, Glynn author
Hōputu:	Pukapuka
Reo:	Ingarihi
I whakaputaina:	Cambridge, Mass., USA : MIT Press, 1993.
Rangatū:	Foundations of computing
Ngā marau:	Lenguajes de programación (computadores) > Semántica
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

Programming Languages: Principles and Paradigms
mā: Gabbrielli, Maurizio
I whakaputaina: (2010)

Types and programming languages.
mā: Pierce, Benjamin C.
I whakaputaina: (2002)

Practical foundations for programming languages.
mā: Harper, Robert
I whakaputaina: (2013)

Advances topics in types and programming languages.
I whakaputaina: (2005)

Symposium on semantics of algorithmic languages
mā: Engeler, E
I whakaputaina: (1971)

Concepts of programming languages
mā: Sebesta, Robert W
I whakaputaina: (2016)

Formal semantics: the essential readings
mā: Portner, Paul, me ētahi atu.
I whakaputaina: (2002)

Programming languages: principles and practice
mā: Louden, Kenneth C., me ētahi atu.
I whakaputaina: (2012)

Concepts of programming languages
mā: Sebesta, Robert W
I whakaputaina: (1989)

The C programming language
mā: Stroustrup, Bjarne
I whakaputaina: (1991)

Programming languages
mā: Tucker, Allen B
I whakaputaina: (1986)

Programming languages: history and fundamentals
mā: Sammet, Jean E
I whakaputaina: (1969)

Programmed learning aid for Basic programming language
mā: Brady, Allen H, me ētahi atu.
I whakaputaina: (1981)

The ADA programming language: a tutorial
mā: Saib, Sabina H, me ētahi atu.
I whakaputaina: (1983)

C programming language: an applied perspective
mā: Miller, Lawrence H., me ētahi atu.
I whakaputaina: (1987)

The SNOBOL 4 programming language
mā: Griswold, R. E, me ētahi atu.
I whakaputaina: (1971)

Structure and interpretation of computer programs.
mā: Abelson, Harold, me ētahi atu.
I whakaputaina: (1996)

BASIC programming
mā: Long, Larry
I whakaputaina: (1986)

Object oriented programing in Java
mā: Gilbert, Stephen, me ētahi atu.
I whakaputaina: (1997)

Introduction to linear programming: methods and cases
mā: Naylor, Thomas H., me ētahi atu.
I whakaputaina: (1971)

Formal pragmatics: semantics, pragmatics, presupposition, and focus
mā: Kadmon, Nirit
I whakaputaina: (2001)

Language and information: selected essays on their theory and application
mā: Bar-Hillel, Yehoshua
I whakaputaina: (1964)

Linguistic semantics
mā: Frawley, William
I whakaputaina: (1992)

The semantic Web: a guide to the future of XML, Web services, and knowledge management
mā: Daconta, Michael C, me ētahi atu.
I whakaputaina: (2003)

Spinning the semantic web: bringing the World Wide Web to its full potential
mā: Fensel, Dieter, me ētahi atu.
I whakaputaina: (2003)

Programming via Pascal
mā: Rohl, J. S, me ētahi atu.
I whakaputaina: (1980)

Structured FORTRAN IV programming
mā: Dock, V. Thomas
I whakaputaina: (1979)

Meaning in language: an introduction to semantics and pragmatics
mā: Cruse, Alan
I whakaputaina: (2004)

An introduction to the art and science of programming: Turbo Pascal edition
mā: Savitch, Walter
I whakaputaina: (1986)

Natural language understanding
mā: Allen, James
I whakaputaina: (1995)

The joy of C. Programming in C
mā: Miller, Lawrence H., me ētahi atu.
I whakaputaina: (1993)

Introduction to assembler language programming for the IBM system 360-370
mā: Brearley, H. C
I whakaputaina: (1974)

The art of parallel programming
mā: Lester, Bruce P
I whakaputaina: (1993)

Natural language processing and text mining
mā: Kao, Anne, me ētahi atu.
I whakaputaina: (2007)

Herb Schildt's C programming cookbook
mā: Schildt, Herbert
I whakaputaina: (2008)

Simplified ANSI FORTRAN IV programming
mā: Silver, Gerald A, me ētahi atu.
I whakaputaina: (1976)

Tricks of the Java programming gurus
mā: Vaderburg, Glenn L
I whakaputaina: (1996)

Programe juegos con ActionScript 3.0
mā: Arce Anguiano, Francisco Javier
I whakaputaina: (2012)

The OPL Optimization Programming Language
mā: Van Hentenryck, Pascal
I whakaputaina: (1999)

Advanced programming and problem solving with Pascal
mā: Schneider, G. Michael, me ētahi atu.
I whakaputaina: (1981)