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

DOI10.1007/978-3-319-28114-8_2zbMath1472.68034MaRDI 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

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

03G30: Categorical logic, topoi

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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