scientific article; zbMATH DE number 4009792
From MaRDI portal
Publication:3759933
Recommendations
- Denotational semantics of a para-functional programming language
- Recursive terms in semantic programming
- Recursive programs and denotational semantics in absolute logics of programs
- scientific article; zbMATH DE number 4098708
- scientific article; zbMATH DE number 4164150
- Predicate-transformer semantics of general recursion
- Denotational semantics of mixed computation processes for a structural programming language
- scientific article; zbMATH DE number 4097355
Cited in
(5)- Denotational semantics of a para-functional programming language
- Stack method in program semantics
- Polynomial recursion analysis in Pascal like programs
- scientific article; zbMATH DE number 2012402 (Why is no real title available?)
- scientific article; zbMATH DE number 4018355 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3759933)
