Results 271 to 279 of about 42,644,411 (279)

Visualization of imperative programs translation with Structural Operational Semantics

2022
Jan Perhac
exaly  

Compositionality of Hennessy–Milner logic by structural operational semantics

Theoretical Computer Science, 2006
Wan Fokkink, Rob van Glabbeek
exaly  

Bialgebraic methods and modal logic in structural operational semantics

Information and Computation, 2009
Bartek Klin
exaly  

Reasoning in Abella about Structural Operational Semantics Specifications

Electronic Notes in Theoretical Computer Science, 2009
Dale Miller, Andrew Gacek, Gopalan Nadathur   +2 more
exaly  

Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language

2020
Jan Perhac, Zuzana Bilanová
exaly  

Structural operational semantics for continuous state stochastic transition systems

Journal of Computer and System Sciences, 2015
Marino Miculan, Giorgio Bacci
exaly  

Structural operational semantics of packages in Java

2008
M M Hoque, Mohammad Shamsul Arefin
exaly  

Bi-inductive structural semantics

Information and Computation, 2009
Patrick Cousot
exaly  

A Metalanguage for Structural Operational Semantics.

Matthew R. Lakin, Andrew M. Pitts
openaire   +1 more source