$\mathbb{K}$ Framework Distilled-Reference-Cited by-同舟云学术

$\mathbb{K}$ Framework Distilled

Published:2012 Issue: Volume: Page:31-53
ISSN:0302-9743
Container-title:Rewriting Logic and Its Applications
language:
Short-container-title:

Author:

Lucanu Dorel,Şerbănuţă Traian Florin,Roşu Grigore

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34005-5_3.pdf

Reference41 articles.

1. Roşu, G.: CS322, Fall 2003 - Programming Language Design: Lecture Notes. Technical Report UIUCDCS-R-2003-2897, University of Illinos at Urbana Champaign. Lecture notes of a course taught at UIUC (December 2003)

2. Roşu, G., Şerbănuţă, T.F.: An overview of the K semantic framework. Journal of Logic and Algebraic Programming 79(6), 397–434 (2010)

3. Serbanuta, T.F., Arusoaie, A., Lazar, D., Ellison, C., Lucanu, D., Rosu, G.: The K primer (version 2.5). In: Hills, M. (ed.) Proceedings of the Second International K Workshop, K 2011. Electronic Notes in Theoretical Computer Science (to appear, 2012)

4. Lecture Notes in Computer Science;M. Clavel,2007

5. Lecture Notes in Artificial Intelligence;J. Meseguer,2004

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

1. Extended Z3 Array;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12

2. A semantics comparison workbench for a concurrent, asynchronous, distributed programming language;Formal Aspects of Computing;2018-01

3. Rewriting modulo SMT and open system analysis;Journal of Logical and Algebraic Methods in Programming;2017-01

4. Language definitions as rewrite theories;Journal of Logical and Algebraic Methods in Programming;2016-01

5. An Operational Semantics of BPMN Collaboration;Formal Aspects of Component Software;2016