Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova

First Page		Document Content
Date: 2016-05-29 06:58:27 Theoretical computer science Logic in computer science Programming language semantics Denotational semantics Semantics Action semantics Operational semantics Programming language		Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova Add to Reading List Source URL: wiki.event-b.org Download Document from Source Website File Size: 891,37 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