Component-Based Description of Programming Languages Peter D. Mosses

First Page		Document Content
Date: 2011-01-10 14:16:37 Software engineering Programming language theory Formal languages Denotational semantics Procedural programming languages Operational semantics Semantics Action semantics Programming language Theoretical computer science Logic in computer science Programming language semantics		Component-Based Description of Programming Languages Peter D. Mosses Add to Reading List Source URL: www.bcs.org Download Document from Source Website File Size: 210,13 KB Share Document on Facebook

	Foundational roles for action representations.Comment on “Action semantics: A unifying conceptual framework for the selective use of multimodal and modality-specific object knowledge” by van Elk, van Schie, and Bekke DocID: 1r5VJ - View Document
	Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova DocID: 1pXMX - View Document
	CALL FOR PAPERS for Language in Thought and Action Sponsored by the Institute of General Semantics Co-Sponsored by the DocID: 1pS6G - View Document
	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract DocID: 1pBmH - View Document
	The Verb 12d. A verb is a word used to express action or to help otherwise in making a statement. Predicate verbs are those that express action in a sentence. Predicate verbs can be classified in two ways—by type and b DocID: 1peij - View Document