Article

Programming in Limbo

Authors:

Sean Dorward,

Rob Pike,

Phil WinterbottomAuthors Info & Claims

COMPCON '97: Proceedings of the 42nd IEEE International Computer Conference

Page 245

Published: 23 February 1997 Publication History

Publisher Site

Abstract

Limbo is the application programming language for the Inferno operating system. Although Limbo looks syntactically like C, it has a number of features that make it easier to use, safer, and more suited to the heterogeneous, networked Inferno environment: a rich set of basic types, strong typing, garbage collection, concurrency, communications, and modules. Limbo may be interpreted or compiled `just in time' for efficient, portable execution. This paper introduces the language by studying an example of a complete, useful Limbo program. The program illustrates general programming as well as aspects of concurrency, graphics, module loading, and other features of Limbo and Inferno.

Cited By

View all

Fähndrich MAiken MHawblitzel CHodson OHunt GLarus JLevi S(2006)Language support for fast and reliable message-based communication in singularity OSACM SIGOPS Operating Systems Review10.1145/1218063.121795340:4(177-190)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1218063.1217953
Fähndrich MAiken MHawblitzel CHodson OHunt GLarus JLevi SBerbers YZwaenepoel W(2006)Language support for fast and reliable message-based communication in singularity OSProceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 200610.1145/1217935.1217953(177-190)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1217935.1217953
Reid AFlatt MStoller LLepreau JEide E(2000)KnitProceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 410.5555/1251229.1251253Online publication date: 22-Oct-2000
https://dl.acm.org/doi/10.5555/1251229.1251253

Recommendations

Languages as libraries
PLDI '11

Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C's string-based macros empower programmers to introduce notational shorthands, the parser-level macros of Lisp encourage ...
Languages as libraries
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation

Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C's string-based macros empower programmers to introduce notational shorthands, the parser-level macros of Lisp encourage ...
Global abstraction-safe marshalling with hash types
ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via network byte-streams or persistent stores. In this paper we combine the two, developing ...

Comments

Information & Contributors

Information

Published In

COMPCON '97: Proceedings of the 42nd IEEE International Computer Conference

February 1997

ISBN:0818678046

Publisher

IEEE Computer Society

United States

Publication History

Published: 23 February 1997

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fähndrich MAiken MHawblitzel CHodson OHunt GLarus JLevi S(2006)Language support for fast and reliable message-based communication in singularity OSACM SIGOPS Operating Systems Review10.1145/1218063.121795340:4(177-190)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1218063.1217953
Fähndrich MAiken MHawblitzel CHodson OHunt GLarus JLevi SBerbers YZwaenepoel W(2006)Language support for fast and reliable message-based communication in singularity OSProceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 200610.1145/1217935.1217953(177-190)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1145/1217935.1217953
Reid AFlatt MStoller LLepreau JEide E(2000)KnitProceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 410.5555/1251229.1251253Online publication date: 22-Oct-2000
https://dl.acm.org/doi/10.5555/1251229.1251253

Abstract

Cited By

Recommendations

Languages as libraries

Languages as libraries

Global abstraction-safe marshalling with hash types

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations