Control flow semantics /

Control flow semantics /

57

Bibliographic Details
Main Authors:	327627 De Bakker, Jacobus Willem, De Vink, Erik
Format:
Published:	Cambridge, Mass. : The MIT Press, 1996
Subjects:	Programming languages (Electronic computers)

Similar Items

Programming language syntax and semantics /
by: Watt, David A. (David Anthony), et al.
Published: (1990)

Computational semantics with functional programming /
by: Eijck, J. van (Jan), et al.
Published: (2010)

Semantics-directed compiler generation : proceedings /
by: Workshop on Semantics-Directed Compiler Generation (1980 : Aarhus)
Published: (1980)

Understanding Z : a specification language and its formal semantics /
by: 201842 Spivey, J. M.
Published: (1988)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal 409791, et al.
Published: (c201)

Formal semantics for VHDL /
by: Kloos, Carlos Delgado, et al.
Published: (1995)

Computer semantics : studies of algorithms, processors and languages /
by: 183953 Lee, John A. N.
Published: (1972)

Semantics-directed code generation /
by: 187117 Appel, Andrew W.

Journal on data semantics IV /
by: Spaccapietra, Stefano
Published: (2005)

An enigma in language : the meaning of the fundamental linguistic elements. A possible explanation in terms of cognitive functions : operational semantics /
by: Benedetti, Guilio
Published: (2012)

Semantic techniques in quantum computation /
by: Gay, Simon, 1969-, et al.
Published: (2010)

Theoretical aspects of object-oriented programming : types, semantics and language design /
by: Gunter, Carl A., et al.
Published: (1993)

Semantics of communicating parallel processes.
by: Greif, Irene
Published: (2010)

Semantic information processing
by: Minsky, Marvin
Published: (1968)

Computer programs for spelling correction : an experiment in program design /
by: 276066 Peterson, James L.
Published: (1980)

Foundations of fuzzy logic and Semantic Web languages /
by: Straccia, Umberto
Published: (2014)

Programming language foundations /
by: 568521 Stump, Aaron
Published: (2014)

Introduction to the theory of programming languages /
by: Meyer, Bertrand, 1950-
Published: (1990)

Symposium on semantics of algorithmic languages /
by: Symposium on Semantics of Algorithmic Languages (1970 : Minneapolis), et al.
Published: (1971)

Introduction to programming : a Basic approach /
by: 174059 Hare, Van Court
Published: (1970)

Computer programming for business and social science /
by: 212818 Emerick, Paul L., et al.
Published: (1970)

Grammar-based prosody modification for explicit control Malay language storytelling speech synthesis / Muhammad Izzad Ramli
by: Ramli, Muhammad Izzad
Published: (2018)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings/
by: European Symposium on Programming (16th : 2007 : Braga, Portugal), et al.
Published: (2007)

Abstract software specifications : 1979 Copenhagen Winter School, January 22- February 2, 1979 : proceedings /
by: Bjorner, D. (Dines), 1937-
Published: (1980)

The effect of contaminant flow rate on the activity of surface tracking /
by: 424963 Masnoreen Mohamed Yusof
Published: (2000)

A structured approach to building programs : COBOL /
by: 433192 Wells, Timothy D.
Published: (1986)

Panduan penggunaan SL-MATH
by: Universiti Teknologi Malaysia. Pusat Komputer
Published: ([n d)

Panduan penggunaan BODEPLOT
by: Universiti Teknologi Malaysia. Pusat Komputer
Published: ([n d)

Concepts of programming languages /
by: 282148 Elson, Mark
Published: (1973)

Tutorial : object oriented computing /
by: 418211 Peterson, Gerald E.
Published: (1987)

An introduction to Macros /
by: 209082 Campbell, Kelly
Published: (1973)

Programming and languages [kasetvideo]
Published: ([19-)

Programming and languages [filem]
Published: ([n.d)

A calculus of communicating systems /
by: 367312 Milner, Robin
Published: (1980)

Thinking with the teachable machine /
by: 404713 Andreae, John H.
Published: (1977)

Programming basics : using microsoft visual basic, C++, HTML, and Java /
by: Knowlton, Todd
Published: (2002)

Machine representations of knowledge /
by: Elcock, E. W., et al.
Published: (1977)

Theory of program structures : schemes, semantics, verification /
by: 396294 Greibach, Sheila, 1939-
Published: (1975)

Introduction to computers and computer programming /
by: 403756 Prince, Lawrence J., et al.
Published: (1972)