Evaluating high-level distributed language constructs

Jan Nyström, Phil Trinder, David King

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The paper investigates the impact of high level distributed programming language constructs on the engineering of realistic software components. Based on reengineering two non-trivial telecoms components, we compare two high-level distributed functional languages, Erlang and GdH, with conventional distributed technologies C++/CORBA and C++/UDP. We investigate several aspects of high-level distributed languages including the impact on code size of high-level constructs. We identify three language constructs that primarily contribute to the reduction in application size and quantify their impact. We provide the first evidence based on analysis of a substantial system to support the widely-held supposition that high-level constructs reduce programming effort associated with specifying distributed coordination. We investigate whether a language with sophisticated high-level fault tolerance can produce suitably robust components, and both measure and analyse the additional programming effort needed to introduce robustness. Finally, we investigate some implications of a range of type systems for engineering distributed software. Copyright © 2007 ACM.

Original languageEnglish
Title of host publicationICFP'07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming
Pages203-212
Number of pages10
Volume42
DOIs
Publication statusPublished - 2007
EventICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming - Freiburg, Germany
Duration: 1 Oct 20073 Oct 2007

Conference

ConferenceICFP'07: 12th ACM SIGPLAN International Conference on Functional Programming
CountryGermany
CityFreiburg
Period1/10/073/10/07

Keywords

  • Distributed programming
  • Erlang
  • Haskell
  • Programming languages

Fingerprint Dive into the research topics of 'Evaluating high-level distributed language constructs'. Together they form a unique fingerprint.

Cite this