From sequential programs to multi-tier applications by program transformation

DOI10.1145/1040305.1040324zbMath1369.68149OpenAlexW1986228550MaRDI QIDQ5276148

Peter Thiemann, Matthias Neubauer

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

concurrencytype systemsapplication partioning

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ A multi-tier semantics for Hop ⋮ 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