| 
|
Quote: structural operational semantics via proved transition systems; a transition is an encoding of its deduction tree
topics >
all references >
references c-d >
Topic:
semantics by an abstract machine
Quotation Skeleton
We claim that structural operational semantics enjoys the … Degano and Priami [1996] propose a single parametric … proved transition is labeled by an encoding of … of interest. This article mainly reports on this … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: semantics by an abstract machine (38 items)