Results 291 to 297 of about 57,211 (297)

Structural Operational Semantics for Supporting Multi-Cycle Operations in RTL HDLs

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., 2005
In this paper we formally define an operational semantics framework RTL++ for modeling behavioral RTL hardware IP. The semantics we define is neutral to existing HDLs and extends traditional sense RTL by natively supporting pipelined and multi-cycled operations with a unified register variable type.
Zhao, S., Gajski, D.D.
openaire   +2 more sources

Summary of: Dynamic Structural Operational Semantics

2019
This short paper summarises the contributions published in the authors’ journal article [2].
Christian Johansen, Olaf Owe
openaire   +1 more source

Structural operational semantics of packages in Java

2008 11th International Conference on Computer and Information Technology, 2008
A good understanding of programming language can be developed and understood in a machine independent manner called structural operational semantics. It is a mathematical model for specifying the meaning of a language by defining the effect of a running program in terms of its structure.
Abdullah Al Farook, Mohammad Shamsul Arefin, Md. Moshiul Hoque   +2 more
openaire   +1 more source

Structural Operational Semantics for Cellular Automata

2012
The structural operational semantics approach to the dynamic meaning of formal models has been immensely influential as a foundation of both theoretical calculi and practical programming languages, and is a viable alternative to automata-oriented approaches.
openaire   +1 more source

Structured operational semantics as a specification language

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995
Standard specification languages have very limited abilities to define new operations on processes. We introduce the concept of a Protean specification language, with general definitional facilities supported by the appropriate theory. Protean languages allow elegant, readable, and useful specifications at all levels of abstraction.
openaire   +1 more source

General Structural Operational Semantics through Categorical Logic

2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008
Certain principles are fundamental to operational semantics, regardless of the languages or idioms involved. Such principles include rule-based definitions and proof techniques for congruence results. We formulate these principles in the general context of categorical logic.
openaire   +1 more source

8. SEMANTIC MACRO-OPERATIONS. NARRATIVE STRUCTURES

1972
openaire   +1 more source