Synthesis of Data Views for Communicating Processes

DOI10.1007/978-3-540-78769-3_13MaRDI QIDQ5504601zbMATH OpenOpenAlexFDO

Authors Iman Poernomo

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Process-centric views of data-driven business artifacts
• Process-centric views of data-driven business artifacts
• scientific article; zbMATH DE number 5263402

Cites work

• Adapting Proofs-as-Programs
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2006495 (Why is no real title available?)
• Modal logics for communicating systems
• Programming Languages and Systems

Cited in

(7)

• Synergetic methods of data complexation
• Principals in programming languages, a syntactic proof technique
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• Knowledge-based synthesis of distributed systems using event structures
• Adapting Proofs-as-Programs
• Logic for Programming, Artificial Intelligence, and Reasoning
• Proofs-as-imperative-programs: application to synthesis of contracts

This page was built for publication: Synthesis of Data Views for Communicating Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504601)