An overview of the K semantic framework
type: Item
instance of: scholarly article
title: An overview of the K semantic framework
zbMATH Open document ID: 1214.68188
author: Grigore Roşu
author: Traian Şerbănuţă
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-08-24T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5774335
zbMATH Keywords: rewrite rules
zbMATH Keywords: concurrent languages
describes a project that uses: JavaFAN
describes a project that uses: KOOL
describes a project that uses: Maude
describes a project that uses: OBJ3
describes a project that uses: K-Maude
describes a project that uses: ML
describes a project that uses: MGS
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.03.012
OpenAlex ID: W2048417351
cites work: The gamma model and its discipline of programming
cites work: Q5486047
cites work: The chemical abstract machine
cites work: Membrane systems with promoters/inhibitors
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Q4194478
cites work: A Rewriting Logic Approach to Type Inference
cites work: Computer Aided Verification
cites work: MGS: a rule-based programming language for complex objects and collections
cites work: A rewrite framework for language definitions and for generation of efficient interpreters
cites work: Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
cites work: Q3805933
cites work: Automated Reasoning
cites work: The rewriting logic semantics project
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Rewriting logic as a semantic framework for concurrency: a progress report
cites work: Pragmatics of Modular SOS
cites work: Modular structural operational semantics
cites work: Computing with membranes
cites work: The power of communication: P systems with symport/antiport
cites work: A structural approach to operational semantics
cites work: A rewriting logic approach to operational semantics
cites work: Defining and Executing P Systems with Structured Data in K
cites work: A syntactic approach to type soundness
DOI: 10.1016/J.JLAP.2010.03.012
description: scientific article; zbMATH DE number 5774335