FunKons: Component-Based Semantics in K

First Author: Mosses P
Attributed to:  PLanCompS: Programming Language Components and Specifications funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-12904-4_12

Publication URI: http://dx.doi.org/10.1007/978-3-319-12904-4_12

Type: Book Chapter

Book Title: Rewriting Logic and Its Applications (2014)

Page Reference: 213-229

ISBN: 978-3-319-12903-7