Collecting Semantics under Predicate Abstraction in the K Framework

DOI10.1007/978-3-642-16310-4_9zbMath1306.68061OpenAlexW2157449911MaRDI QIDQ4933282

Mihail Asăvoae, Irina Măriuca Asăvoae

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_9

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

From Rewriting Logic, to Programming Language Semantics, to Program Verification

Uses Software

• K-Maude

This page was built for publication: Collecting Semantics under Predicate Abstraction in the K Framework