Results 331 to 340 of about 1,341,656 (346)

Operational semantics using the partiality monad

ACM SIGPLAN International Conference on Functional Programming, 2012
Nils Anders Danielsson
semanticscholar   +1 more source

Operational semantics

2020
openaire   +1 more source

Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics

International Conference on Concurrency Theory, 2012
Daniel Gebler, W. Fokkink
semanticscholar   +1 more source

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

Unifying Theories of Programming, 2012
Huibiao Zhu, Peng Liu, J. He, S. Qin
semanticscholar   +1 more source

Operational Semantics and Verification of Security Protocols

Information Security and Cryptography, 2012
Cas J. F. Cremers, S. Mauw
semanticscholar   +1 more source

Operational semantics

1998
openaire   +1 more source

Operational Semantics

1992
openaire   +1 more source

Simulation of operational semantics of machine instructions

Programming and computer software, 2011
V. Padaryan, M. A. Solov'ev, A. Kononov
semanticscholar   +1 more source

Operational Semantics

2010
openaire   +1 more source

Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics

Asian Symposium on Programming Languages and Systems, 2010
Jan Hoffmann, M. Hofmann
semanticscholar   +1 more source