An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework

DOI10.1007/978-3-319-28114-8_2zbMath1472.68034OpenAlexW2553515685MaRDI QIDQ2787335

Traian-Florin Şerbănuţă, Claudia Elena Chiriţă

Publication date: 25 February 2016

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ A language-independent proof system for full program equivalence

This page was built for publication: An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework