From sequential programs to multi-tier applications by program transformation

DOI10.1145/1040305.1040324MaRDI QIDQ5276148zbMATH OpenOpenAlexFDO

Authors Matthias Neubauer, Peter J. Thiemann

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1040305.1040324

zbMATH Keywords

application partioningconcurrencytype systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 4106264
• On transformations of concurrent-object programs
• scientific article; zbMATH DE number 29625
• On transformations of concurrent object programs
• scientific article; zbMATH DE number 4178791
• Euro-Par 2004 Parallel Processing
• scientific article; zbMATH DE number 3890701
• scientific article; zbMATH DE number 3963178
• Transformational programming and the derivation of algorithms
• Transformational approach to program concretization

Cited in

(4)

• A multi-tier semantics for Hop
• scientific article; zbMATH DE number 6703933 (Why is no real title available?)
• Placement Inference for a Client-Server Calculus
• A theory of RPC calculi for client-server model

This page was built for publication: From sequential programs to multi-tier applications by program transformation

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