Article

Living it up with a live programming language

Author:

Sean McDirmidAuthors Info & Claims

OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications

Pages 623 - 638

https://doi.org/10.1145/1297027.1297073

Published: 21 October 2007 Publication History

Abstract

A dynamic language promotes ease of use through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages go beyond dynamic languages with more ease of use features. A live language supports live programming that provides programmers with responsive and continuous feedback about how their edits affect program execution. A live language is also based on high-level constructs such as declarative rules so that programmers can write less code. A live language could also provide programmers with responsive semantic feedback to enable time-saving services such as code completion. This paper describes the design of a textual live language that is based on reactive data-flow values known as signals and dynamic inheritance. Our language, SuperGlue, supports live programming with responsive semantic feedback, which we demonstrate with a working prototype.

References

[1]

J. L. Armstrong and R. Virding. An experimental telephony switching language. In Proc. of Interantation Switching Symposium, May 1991.

[2]

A. Benveniste, P. L. Geurnic, and C. Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics. In Science of Computer Programming, 1991.

Digital Library

[3]

M. Burnett, J. Atwood, R. Walpole, H. Gottfried, J. Reichwein, and S. Yang. Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm. In Journal of Functional Programming, pages 155--206, Mar. 2001.

Digital Library

[4]

M. M. Burnett, M. J. Baker, C. Bohus, P. Carlson, S. Yang, and P. van Zee. Scaling up visual programming languages. In IEEE Computer, pages 45--54, Mar. 1995.

Digital Library

[5]

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: a declarative language for programming synchronous systems. In Proc. of POPL, 1987.

Digital Library

[6]

C. Chambers. Object-Oriented multi-methods in Cecil. In Proc. of ECOOP, pages 33--56, June 1992.

Digital Library

[7]

C. Chambers. Predicate classes. In Proc. of ECOOP, pages 268--296, July 1993.

Digital Library

[8]

G. H. Cooper and S. Krishnamurthi. Embedding dynamic dataflow in a call-by-value language. In Proc. of of ESOP, 2006.

Digital Library

[9]

J. Edwards. Subtext: Uncovering the simplicity of program. In Proc. of OOPSLA Onward, 2005.

Digital Library

[10]

C. Elliott and P. Hudak. Functional reactive animation. In Proc. of ICFP, volume 32 (8) of SIGPLAN Notices, pages 263--273. ACM, 1997.

Digital Library

[11]

R. W. Floyd. Syntactic analysis and operator precedence. In Journal of the ACM, volume 10 (3), pages 316--333, 1963.

Digital Library

[12]

A. Goldberg and D. Robson. SmallTalk-80: The Language and its Implementation. Addison Wesley, Boston, MA, USA, 1983.

Digital Library

[13]

C. M. Hancock. Real-time Programming and the Big Ideas of Computational Literacy. PhD thesis, Massachusetts Institute of Technology, Sept. 2003.

Digital Library

[14]

P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, robots, and functional reactive programming. In Advanced Functional Programming, volume 2638 of Lecture Notes in Computer Science, pages 159--187. Springer, 2002.

[15]

D. Ingalls, S. Wallace, Y.-Y. Chow, F. Ludolph, and K. Doyle. Fabrik, a visual programming environment. In Proc. of OOPSLA, pages 176--190, Nov. 1988.

Digital Library

[16]

R. M. Karp and R. E. Miller. Properties of a model for parallel computations: Determinacy, termination queueing. SIAM Journal for Applied Mathemetics, 14(6):1390--1410, Nov. 1966.

[17]

P. O. Latour. Quartz Composer. Apple Computer, 2005. http://developer.apple.com/graphicsimaging/quartz/-quartzcomposer.html.

[18]

J. H. Maloney and R. B. Smith. Directness and liveness in the Morphic user interface construction environment. In ACM Symposium on User Interface Software and Technology, pages 21--28. ACM, 1995.

Digital Library

[19]

Y. Matsumoto. Ruby: Programmers' Best Friend. http://www-.ruby-lang.org/en/.

[20]

S. McDirmid and W. C. Hsieh. SuperGlue: Component programming with Object-Oriented signals. In Proc. of ECOOP, June 2006.

Digital Library

[21]

National Instruments Corporation. LabVIEW User Manual, 1990.

[22]

M. Odersky and et. al. The Scala language specification. Technical report, EPFL, Lausanne, Switzerland, 2007. http://scala.epfl.ch.

[23]

M. Petre. Why looking isn't always seeing: Readership skills and graphical programming. Comm. of the ACM, pages 33--44, June 1995.

Digital Library

[24]

A. Repenning. AgentSheets: an interactive simulation environment with end-user programmable agents. In Proc. of Interaction, 2000.

[25]

E. Sandewall. Programming in an interactive environment: the lisp experience. Computing Surveys, 10(1), Mar. 1978.

Digital Library

[26]

O. Shivers. The semantics of Scheme control-flow analysis. In Proc. of PEMP, pages 190--198, June 1991.

Digital Library

[27]

I. B. Sutherland. SKETCHPAD, a man-machine graphical communication system. In Proc. of the Spring Joint Computer Conference, pages 329--346, 1963.

[28]

T. Teitelbaum and T. W. Reps. The Cornell program synthesizer: A syntax-directed programming environment. Communications of the ACM, 24(9):563--573, 1981.

Digital Library

[29]

D. Ungar and R. B. Smith. Self: the power of simplicity. In Proc. of OOPSLA, pages 227--242, Oct. 1987.

Digital Library

[30]

D. Ungar and R. B. Smith. Programming as an experience: the inspiration for Self. In Proc. of ECOOP, pages 227--242, Aug. 1995.

Digital Library

[31]

G. van Rossum and F. L. Drake. The Python Language Reference Manual, Sept. 2003.

Digital Library

[32]

W. W. Wadge and E. A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press, 1985.

Digital Library

Cited By

Martínez AScholliers CSinger J(2022)A Language Based on Two Relations between SymbolsProceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3563835.3567660(95-111)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563835.3567660
Fernandes SAguiar ARestivo A(2022)A Live Environment to Improve the Refactoring ExperienceCompanion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming10.1145/3532512.3535222(30-37)Online publication date: 21-Mar-2022
https://dl.acm.org/doi/10.1145/3532512.3535222
Alaboudi ALaToza T(2021)Edit - Run Behavior in Programming and Debugging2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL/HCC51201.2021.9576170(1-10)Online publication date: 10-Oct-2021
https://doi.org/10.1109/VL/HCC51201.2021.9576170
Show More Cited By

Index Terms

Living it up with a live programming language
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

Example-based live programming for everyone: building language-agnostic tools for live programming with LSP and GraalVM
Onward! 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

Our community has explored various approaches to improve the programming experience. Although many of them, such as Example-Based Live Programming (ELP), have shown to be effective, they are still not widespread in conventional programming environments. ...
Living it up with a live programming language
Proceedings of the 2007 OOPSLA conference

A dynamic language promotes ease of use through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages go beyond dynamic languages with more ease of use features. A live language supports ...
Glinda: Supporting Data Science with Live Programming, GUIs and a Domain-specific Language
CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems

Researchers have explored several avenues to mitigate data scientists’ frustrations with computational notebooks, including: (1) live programming, to keep notebook results consistent and up to date; (2) supplementing scripting with graphical user ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications

October 2007

728 pages

ISBN:9781595937865

DOI:10.1145/1297027

General Chair:
Richard P. Gabriel
IBM Research, USA
,
Program Chairs:
David F. Bacon
IBM Research, USA
,
Cristina Videira Lopes
University of California, Irvine, USA
,
Guy L. Steele
Sun Labs, USA

ACM SIGPLAN Notices Volume 42, Issue 10
Proceedings of the 2007 OOPSLA conference
October 2007
686 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1297105
Issue’s Table of Contents

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 October 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tag

live programming

Qualifiers

Article

Conference

OOPSLA07

Sponsor:

OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 21 - 25, 2007

Quebec, Montreal, Canada

Acceptance Rates

OOPSLA '07 Paper Acceptance Rate 33 of 156 submissions, 21%;

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

53
Total Citations
View Citations
933
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)1

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Martínez AScholliers CSinger J(2022)A Language Based on Two Relations between SymbolsProceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3563835.3567660(95-111)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563835.3567660
Fernandes SAguiar ARestivo A(2022)A Live Environment to Improve the Refactoring ExperienceCompanion Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming10.1145/3532512.3535222(30-37)Online publication date: 21-Mar-2022
https://dl.acm.org/doi/10.1145/3532512.3535222
Alaboudi ALaToza T(2021)Edit - Run Behavior in Programming and Debugging2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL/HCC51201.2021.9576170(1-10)Online publication date: 10-Oct-2021
https://doi.org/10.1109/VL/HCC51201.2021.9576170
Ma'ayan DNi WYe KKulkarni CSunshine JBernhaupt RMueller FVerweij DAndres JMcGrenere JCockburn AAvellino IGoguey ABjørn PZhao SSamson BKocielnik R(2020)How Domain Experts Create Conceptual Diagrams and Implications for Tool DesignProceedings of the 2020 CHI Conference on Human Factors in Computing Systems10.1145/3313831.3376253(1-14)Online publication date: 21-Apr-2020
https://dl.acm.org/doi/10.1145/3313831.3376253
Bagherzadeh MJahed KCombemale BDingel J(2020)Live modeling in the context of state machine models and code generationSoftware and Systems Modeling10.1007/s10270-020-00829-yOnline publication date: 2-Nov-2020
https://doi.org/10.1007/s10270-020-00829-y
Mussbacher GCombemale BKienzle JAbrahão SAli HBencomo NBúr MBurgueño LEngels GJeanjean PJézéquel JKühn TMosser SSahraoui HSyriani EVarró DWeyssow M(2020)Opportunities in intelligent modeling assistanceSoftware and Systems Modeling10.1007/s10270-020-00814-5Online publication date: 17-Jul-2020
https://doi.org/10.1007/s10270-020-00814-5
Cabrera LMaloney JWeintrop DFails J(2019)Programs in the Palm of your HandProceedings of the 18th ACM International Conference on Interaction Design and Children10.1145/3311927.3323138(227-236)Online publication date: 12-Jun-2019
https://dl.acm.org/doi/10.1145/3311927.3323138
Omar CVoysey IChugh RHammer M(2019)Live functional programming with typed holesProceedings of the ACM on Programming Languages10.1145/32903273:POPL(1-32)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290327
Bagherzadeh MJahed KCombemale BDingel J(2019)Live-UMLRT: A Tool for Live Modeling of UML-RT Models2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C.2019.00115(743-747)Online publication date: Sep-2019
https://doi.org/10.1109/MODELS-C.2019.00115
Kubelka JRobbes RBergel AGuéhéneuc YKhomh FSarro F(2019)Live programming and software evolutionProceedings of the 27th International Conference on Program Comprehension10.1109/ICPC.2019.00017(30-41)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICPC.2019.00017
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents