Logical specification of operational semantics (Q4945216)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1424026
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logical specification of operational semantics |
scientific article; zbMATH DE number 1424026 |
Statements
7 October 2001
0 references
operational semantics
0 references
0.7871024012565613
0 references
0.7802841067314148
0 references
0.7596245408058167
0 references
0.7588052749633789
0 references
Logical specification of operational semantics (English)
0 references
The relationship between various logic-based frameworks for specifying the operational semantics of programming languages and concurrent systems is surveyed. Considered logics for inferring judgments about program executions include arbitrary inference systems, natural deduction systems, Horn logic, equational logic, rewriting logic and tile logic. The author points out relationships between these applied logics, their merits and drawbacks. This survey is a good introduction to the main techniques for logical specification of operational semantics. For the entire collection see [Zbl 0929.00039].
0 references
