scientific article; zbMATH DE number 6258014

zbMath1289.68016MaRDI QIDQ5395616

György Orbán, Laszlo Kozma

Publication date: 17 February 2014

Full work available at URL: http://ac.inf.elte.hu/Vol_041_2013/057_41.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

action semanticssemantic functionsalgebraic specification of abstract data typesconventional semantics of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: