Acute: High-level programming language design for distributed computation

ACM SIGPLAN Notices

Volumn 40, Issue 9, 2005, Pages 15-26

  Sewell, Peter ^a   Leifertm, James J ^b   Wansbrough, Keith ^a   Nardelli, Francesco Zappa ^b   Allen Williams, Mair ^a   Habouzit, Pierre ^b   Vafeiadis, Viktor ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b INRIA ROCQUENCOURT   (France)

Author keywords

Abstract types; Distributed programming; Marshalling; ML; Modules; Programming languages; Rebinding; Serialisation; Type theory; Version control

Indexed keywords

ABSTRACT TYPES; DISTRIBUTED PROGRAMMING; MARSHALLING; ML; MODULES; REBINDING; SERIALIZATION; TYPE THEORY; VERSION CONTROL;

DISTRIBUTED DATABASE SYSTEMS; LOGIC DESIGN; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

HIGH LEVEL LANGUAGES;

EID: 33745206744     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1090189.1086370     Document Type: Article

References (33)

1. [AVWW96] J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 1996. 2nd ed.
2. #. In Proc. ECOOP, LNCS 2374, 2002.
3. [BHS+03] G. Bierman, M. Hicks, P. Sewell, G. Stoyle, and K. Wans-brough. Dynamic rebinding for marshalling and update, with destruct-time A. In Proc. ICFP, 2003.
4. [BMED05] Alex Buckley, Michelle Murray, Susan Eisenbach, and Sophia Drossopoulou. Flexible bytecode for linking in .NET. In Proc. BYTECODE 2005, April 2005.
5. [BRS+05] D. Le Botlan, A. Rossberg, C. Schulte, G. Smolka, and G. Tack, 2005. www.ps.uni-sb.de/alica/.
6. [Car95] L. Cardelli. A language with distributed scope. In Proc. 22nd POPL, pages 286-297, 1995.
7. [CG98] L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. FoSSaCS, LNCS 1378, 1998.
8. [DEW99] S. Drossopoulou, S. Eisenbach, and D. Wragg. A fragment calculus towards a model of separate compilation, linking and binary compatibility. In Proc. LICS, 1999.
9. [Dot03] Packacking and deploying .Net framework applications (.Net framework tutorials, msdn), 2003.
10. [FGL+96] C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Rémy. A calculus of mobile agents. In Proc. 7th CONCUR, LNCS 1119, 1996.
11. [FW00] Jun Furuse and Pierre Weis. Entrées/sorties de valeurs en Caml. In J. Francophones des Langages Applicatifs, 2000.
12. [GMZOO] D. Grossman, G. Morrisett, and S. Zdancewic. Syntactic type abstraction. ACM TOPLAS, 22(6):1037-1080, 2000.
13. [HL94] R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. 21st POPL, 1994.
14. [HP05] R. Harper and B. C. Pierce. Design issues in advanced module systems, 2005. Chapter in Advanced Topics in Types and Programming Languages, B. C. Pierce, editor.
15. [HRY04] M. Hennessy, J. Rathke, and N. Yoshida. Safedpi: A language for controlling mobile code. In Proc. FOSSACS, LNCS 2987, 2004.
16. [HS00] R. Harper and C. Stone. A type-theoretic interpretation of standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000.
17. [JoC] JoCaml. http://pauillac.inria.fr/jocaml/.
18. [Ler94] X. Leroy. Manifest types, modules, and separate compilation. In Proc. 21st POPL, 1994.
19. [LPSW03] J. J. Leifer, G. Peskine, P. Sewell, and K. Wansbrough. Global abstraction-safe marshalling with hash types. In Proc. 8th ICFP, 2003.
20. [MCHP04] T. Murphy, K. Crary, R. Harper, and F. Pfenning. A symmetric modal lambda calculus for distributed computing. In Proc. LICS, 2004.
21. [PT00] B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. 2000.
22. [Rep99] J. H. Reppy. Concurrent Programming in ML. Cambridge Univ Press, 1999.
23. [Ros03] A. Rossberg. Generativity and dynamic opacity for abstract types. In Proc. 5th PPDP, August 2003.
24. [Sew01] P. Sewell. Modules, abstract types, and distributed versioning. In Proc. 28th POPL, 2001.
25. [Shi05] M. R. Shinwell. The Fresh Approach: functional programming with names and binders. Technical Report UCAM-CL-TR-618, University of Cambridge, Computer Laboratory, 2005.
26. [SLW+04] P. Sewell, J. J. Leifer, K. Wansbrough, M. Allen-Williams, Francesco Z. Nardelli, P. Habouzit, and V. Vafeiadis. Acute: High-level programming language design for distributed computation, design rationale and language definition. Technical Report 605, University of Cambridge Computer Laboratory, October 2004.
27. Also published as INRIA RR-5329. 193pp.
28. [SLW+05] P. Sewell, J. J. Leifer, K. Wansbrough, M. Allen-Williams, F. Zappa Nardelli, P. Habouzit, and V. Vafeiadis. Source release of the Acute system, January 2005. Available from http://www.c1.cam.ac.uk/users/pes20/acute/.
29. [SPG03] M. R. Shinwell, A. M. Pitts, and M. J. Gabbay. FreshML: Programming with binders made simple. In Proc. 8th ICFP, pages 263-274, 2003.
30. [SWP99] P. Sewell, P. T. Wojciechowski, and B. C. Pierce. Location-independent communication for mobile agents: a two-level architecture. In Internet Programming Languages, LNCS 1686, pages 1-31, 1999.
31. [TLK96] B. Thomsen, L. Leth, and T.-M. Kuo. A Facile tutorial. In CONCUR'96, LNCS 1119, 1996.
32. [US01] A. Unyapoth and P. Sewell. Nomadic Pict: Correct communication infrastructure for mobile computation. In Proc. POPL, pages 116-127, January 2001.
33. [Ves] Vesta, http://www.vestasys.org/.