scientific article

zbMath1276.68050MaRDI QIDQ2863887

Herbert Wiklicky, Alessandra Di Pierro

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600404X?np=y

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

zbMATH Keywords

\(C^*\)-algebraoperational semanticslinear operatorAF-algebraprobabilistic programming language

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Reversible monadic computing

This page was built for publication: