The Formal Semantics of Computer Languages and their Implementations

The Formal Semantics of Computer Languages and their Implementations

Bibliographic Details
Main Author:	Milne, R.
Published:	University of Cambridge 1974
Subjects:	006.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.465753

Similar Items

Social agency : a formal computational model
by: D'Iverno, Mark Paul
Published: (1998)

Semantic web rule language for geospatial domains
by: Smart, Philip David
Published: (2009)

Agents, agency and autonomy : a formal computational model
by: d'Inverno, Mark
Published: (1998)

An adaptable formalism for the computational analysis of English noun phrase reference
by: Wiggins, Geraint A.
Published: (1990)

Towards universal quantum computation in continuous-variable systems
by: Milne, Darran F.
Published: (2012)

IMCAT : an approach for verifying model-based code generators for conformance to source modelling language semantics
by: Rahim, Lukman Ab
Published: (2012)

Formal verification of P systems
by: Dragomir, Ciprian
Published: (2016)

Semantic integration of information by abduction
by: Xanthakos, Ioannis
Published: (2004)

An integrated architecture for semantic search
by: Fatima, Arooj
Published: (2016)

Semantic mapping of road scenes
by: Sengupta, Sunando
Published: (2014)

Finding hidden semantics of text tables
by: Alrashed, Saleh A.
Published: (2004)

A semantic-based conversational agent framework
by: O'Shea, Karen Suzanne
Published: (2011)

Semantic similarity framework for Thai conversational agents
by: Osathanunkul, Khukrit
Published: (2014)

Resolving semantic conflicts through ontological layering
by: Kataria, Pavandeep
Published: (2011)

Towards a semantic web of things for smart cities
by: Howell, Shaun Kevin
Published: (2017)

Semantically-guided evolutionary knowledge discovery from texts
by: Atkinson-Abutridy, John A.
Published: (2003)

Towards an information formalism in group decision making systems with incomplete information
by: Kumar, Rishi Nalin
Published: (2017)

Semantic-based adaptive mission planning for unmanned underwater vehicles
by: Patron, Pedro
Published: (2010)

Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics
by: Beaver, David Ian
Published: (1995)

Dynamic feedback generation in virtual patients using semantic web technologies
by: Duboc, Jean-Remy
Published: (2013)

Providing a formal linkage between MDG and HOL based on a verified MDG system
by: Xiong, Haiyan
Published: (2002)

Natural language acquisition in large scale neural semantic networks
by: Ealey, Douglas
Published: (1999)

Parallel computing, interval derivative methods, heuristic algorithms, and their implementation in a numerical solver, for deterministic global optimization
by: Kazazakis, Nikolaos
Published: (2016)

The relevant and reliable language theory : developing a language measure of trust for online groups
by: Nicholson, Steven
Published: (2017)

Abstract Machines for Programming Languages
by: Ibrahim, S. Z. M.
Published: (1974)

Non-neural computing on the SpiNNaker neuromorphic computer
by: Dugan, Kier
Published: (2016)

Quantum computation and communication in strongly interacting systems
by: Antonio, R. G.
Published: (2015)

Natural language techniques for error correction
by: Bowden, T. G.
Published: (1997)

Natural language interfaces to conceptual models
by: Damljanovic, Danica
Published: (2011)

On the development of slime mould morphological, intracellular and heterotic computing devices
by: Mayne, R.
Published: (2016)

Machine learning for the analysis of morphologically complex languages
by: Spiegler, Sebastian Reiner
Published: (2011)

Cross language information retrieval using ontologies
by: Abusalah, Mustafa A.
Published: (2008)

Bootstrapping structure into language : alignment-based learning
by: Van Zaanen, Menno Matthias
Published: (2001)

A method for limited speech recognition on a small computer
by: Blake, R. E.
Published: (1978)

Computational intelligence for analysis concerning financial modelling and the adaptive market hypothesis
by: Butler, Matthew R.
Published: (2012)

Intuitive ontology authoring using controlled natural language
by: Denaux, Ronald
Published: (2013)

Using argumentation to improve classification in natural language problems
by: Carstens, Lucas
Published: (2016)

Sign language recognition : generalising to more complex corpora
by: Cooper, H. M.
Published: (2010)

Quantum walks and quantum computation
by: Barr, Katherine Elizabeth
Published: (2013)

Computer aided manipulation of symbols
by: McBride, Frederick Valentine
Published: (1970)