scientific article
From MaRDI portal
Publication:3750108
zbMath0609.68014MaRDI QIDQ3750108
Daniel P. Friedman, Mitchell Wand, William D. Clinger
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Algebras of UTxO blockchains ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Refunctionalization at work ⋮ A Selective CPS Transformation ⋮ On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
This page was built for publication:
