The <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Primer (version 3.3)-Reference-Cited by-同舟云学术

The K Primer (version 3.3)

Author:

Şerbănuţă Traian Florin,Arusoaie Andrei,Lazar David,Ellison Chucky,Lucanu Dorel,Roşu Grigore

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference30 articles.

1. A. Arusoaie, D. Lucanu, V. Rusu, Towards a K semantics for OCL, this volume.

2. Collecting semantics under predicate abstraction in the K framework;Asavoae,2010

3. All About Maude, A High-Performance Logical Framework;Clavel,2007

4. Refocusing in reduction semantics;Danvy,2004

5. An executable formal semantics of C with applications;Ellison,2012

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Certified Derivation of Small-Step From Big-Step Skeletal Semantics;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20

2. Certifying Findel derivatives for blockchain;Journal of Logical and Algebraic Methods in Programming;2021-06

5. A Certified Procedure for RL Verification;2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2017-09