scientific article

zbMATH Open1224.68015MaRDI QIDQ3076189

T. S. Parfirova

Publication date: 22 February 2011

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

zbMATH Keywords

chain programcompositional programmingsequential-parallel programacyclic program

Mathematics Subject Classification ID

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

Related Items (2)

Abstract Combinatorial Programs and Efficient Property Testers ⋮ Unnamed Item

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Computable compositions and universal program logics 👍 👎
• Compositional operational semantics for Prolog programs 👍 👎
• Compositional programming: theory and practice 👍 👎
• Declarative encodings of acyclicity properties 👍 👎
• Compositional characterization of observable program properties 👍 👎
• Composing programs in a rewriting logic for declarative programming 👍 👎

This page was built for publication: