53 treff

programming languages electronic computers semantics
Semantics of programming languages
R. D. Tennent
Bok Engelsk 1991 · Vis mer
The formal semantics of programming languages : an introduction
Winskel, G.
Bok Engelsk 1993 · Vis mer
Semantics of programming languages : structures and techniques
Carl A. Gunter
Bok Engelsk 1992 · Vis mer
Truth, deduction, and computation : logic and semantics for computer science
R. E. Davis
Bok Engelsk 1989 · Vis mer
Programming language syntax and semantics
David A. Watt ; with a contribution by Mu...
Bok Engelsk 1991 · Vis mer
Action semantics
Mosses, Peter
Bok Engelsk 1992 · Vis mer
Programming language structures
Elliott I. Organick, Alexandra I. Forsyth...
Bok Engelsk 1978 · Vis mer
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
S. Brookes ... [et al.] (eds.)
Bok Engelsk 1992 · Vis mer
The semantics of programming languages : an elementary introduction using structural operational semantics
Matthew Hennessy
Bok Engelsk 1990 · Vis mer
Semantic structures : advances in natural language processing
edited by David L. Waltz
Bok Engelsk 1989 · Vis mer
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
S. Brookes ... [et al.] (eds.)
Bok Engelsk 1994 · Vis mer
Computer semantics : studies of algorithms, processors, and languages
Lee, John A.N.
Bok Engelsk 1972 · Vis mer
Formal specification of programming languages : a panoramic primer
Frank G. Pagan
Bok Engelsk 1981 · Vis mer
Compiling natural semantics
Mikael Pettersson
Bok Engelsk 1999 · Vis mer
The Tbilisi Symposium on Logic, Language and Computation : selected papers
Tbilisi Symposium on Logic, Language and Computation
Bok Engelsk 1998 · Vis mer
Semantic techniques in quantum computation
edited by Simon Gay, Ian Mackie
Bok Engelsk 2010 · Vis mer
Algebraic approaches to program semantics
Ernest G. Manes, Michael A. Arbib
Bok Engelsk 1986 · Vis mer
Comparative metric semantics of programming languages : nondeterminism and recursion
Franck van Breugel
Bok Engelsk 1998 · Vis mer
Denotational semantics : a methodology for language development
David A. Schmidt
Bok Engelsk 1988 · Vis mer
Recursive program schemes : semantics and proof theory
Roever, W.-P. de
Bok Engelsk 1976 · Vis mer
Natural language understanding
James Allen
Bok Engelsk 1995 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal syntax and semantics of programming languages : a laboratory based approach
Kenneth Slonneger, Barry L. Kurtz
Bok Engelsk 1995 · Vis mer
Fully abstract models of programming languages
Allen Stoughton
Bok Språk ikke angitt 1988 · Vis mer
Foundations of logic programming
J.W. Lloyd
Bok Engelsk 1987 · Vis mer
Vis flere utgaver
Vis flere utgaver
Domains and Lambda-calculi
Roberto M. Amadio, Pierre-Louis Curien
Bok Engelsk 1998 · Vis mer
Stochastically-based semantic analysis
by Wolfgang Minker, Alex Waibel, Joseph M...
Bok Engelsk 1999 · Vis mer
Algebraic methods in semantics
edited by Maurice Nivat, John C. Reynolds...
Bok Språk ikke angitt 1985 · Vis mer
Practical aspects of declarative languages : 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /
Michael Hanus (editor).
Bok Engelsk 2007 · Vis mer
Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
APPSEM 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal syntax and semantics of Java
Jim Alves-Foss (ed.)
Bok Engelsk 1999 · Vis mer