scientific article
From MaRDI portal
Publication:3877026
zbMath0436.68014MaRDI QIDQ3877026
Andrea Maggiolo-Schettini, G. Uccella
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagesfixed point semanticsSOLrecursive systems of functional definitionsstack functions
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
Computable stack functions for semantics of stack programs ⋮ Sequence recursiveness without cylindrification and limited register machines
This page was built for publication:
