✦ LIBER ✦

From algebraic semantics to denotational semantics for Verilog

✍ Scribed by Huibiao Zhu; Jifeng He; Jonathan P. Bowen

Publisher: Springer
Year: 2008
Tongue: English
Weight: 328 KB
Volume: 4
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-008-0069-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linking denotational semantics with oper

Linking denotational semantics with operational semantics for web services

✍ Huibiao Zhu; Jifeng He; Jing Li; Geguang Pu; Jonathan P. Bowen 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 267 KB

A denotational semantics for Handel-C

✍ Andrew Butterfield 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 253 KB

Semantics for Algebraic Operations

✍ Gordon Plotkin; John Power 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 170 KB

Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form α x : (T x) n -→ T x provides a definitive semantics for algebraic operations added to the computational λ-calculus. We recall a definition for which w

From algebra to operational semantics

✍ He Jifeng; C.A.R. Hoare 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 419 KB

An algebraic semantics for MOF

✍ Artur Boronat; José Meseguer 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 838 KB

Operational and goal-independent denotat

Operational and goal-independent denotational semantics for Prolog with cut

✍ Fausto Spoto 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 454 KB

In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a program is de®ned as the evaluation of the go