Synthesis of Data Views for Communicating Processes

Authors:
Iman Poernomo
Affiliations:
Department of Computer Science, King's College London, Strand, London, WC2R2LS
Venue:
Logic-Based Program Synthesis and Transformation
Year:
2008

Citing 7
Cited 0

Modal logics for communicating systems

Theoretical Computer Science
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Designing concurrent, distributed, and real-time applications with UML

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Communication and Concurrency

Communication and Concurrency
A New UML Profile for Real-Time System Formal Design and Validation

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Proofs-as-programs is an approach to program synthesis involving the transformation of constructive proofs of specification requirements into functional programs. Various authors have adapted the proofs-as-programs to other logics and programming paradigms. This paper presents an adaptation of proofs-as-programs for the synthesis of distributedprogram protocols with side-effect-free data views, from proofs in a constructive proof-system for Hennessy-Milner logic.