scientific article; zbMATH DE number 5856093

MaRDI QIDQ3076189zbMATH OpenFDO

Authors T. S. Parfirova

Publication date 22 February 2011

zbMATH Keywords

acyclic programchain programcompositional programmingsequential-parallel program

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Declarative encodings of acyclicity properties
• Computable compositions and universal program logics
• Compositional programming: theory and practice
• Compositional characterization of observable program properties
• scientific article; zbMATH DE number 3092135
• scientific article; zbMATH DE number 25189
• Composing programs in a rewriting logic for declarative programming
• Compositional operational semantics for Prolog programs

Cited in

(4)

• Composition-nominative aspects of address programming
• On reduction of sequential-parallel compositional programs to entirely sequential form
• scientific article; zbMATH DE number 25189 (Why is no real title available?)
• Abstract Combinatorial Programs and Efficient Property Testers

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 Q3076189)