article

Living it up with a live programming language

Author:

Sean McDirmidAuthors Info & Claims

ACM SIGPLAN Notices, Volume 42, Issue 10

Pages 623 - 638

https://doi.org/10.1145/1297105.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

Graf OThorgeirsson SSu ZMonga MLonati VBarendsen ESheard JPaterson J(2024)Assessing Live Programming for Program ComprehensionProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653547(520-526)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1145/3649217.3653547
Sullivan A(2023)Live Programming for Finite Model Finders2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE56229.2023.00016(1747-1752)Online publication date: 11-Sep-2023
https://doi.org/10.1109/ASE56229.2023.00016
Ricci APelachaud CTaylor MFaliszewski PMascardi V(2022)"Go to the Children": Rethinking Intelligent Agent Design and Programming in a Developmental Learning PerspectiveProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3536115(1809-1813)Online publication date: 9-May-2022
https://dl.acm.org/doi/10.5555/3535850.3536115
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. ...
Small-Step Live Programming by Example
UIST '20: Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology

Live programming is a paradigm in which the programming environment continually displays runtime values. Program synthesis is a technique that can generate programs or program snippets from examples. \deltextThis paper presents a new programming ...
Live Programming By Example
CHI EA '19: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems

Live programming is a novel approach for programming practice. Programmers are given real-time feedback when writing code, traditionally via a graphical user interface. Despite live programming's practical values, such as providing an easier overview of ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

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

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

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 October 2007

Published in SIGPLAN Volume 42, Issue 10

Check for updates

Author Tag

live programming

Qualifiers

Article

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

Graf OThorgeirsson SSu ZMonga MLonati VBarendsen ESheard JPaterson J(2024)Assessing Live Programming for Program ComprehensionProceedings of the 2024 on Innovation and Technology in Computer Science Education V. 110.1145/3649217.3653547(520-526)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1145/3649217.3653547
Sullivan A(2023)Live Programming for Finite Model Finders2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE56229.2023.00016(1747-1752)Online publication date: 11-Sep-2023
https://doi.org/10.1109/ASE56229.2023.00016
Ricci APelachaud CTaylor MFaliszewski PMascardi V(2022)"Go to the Children": Rethinking Intelligent Agent Design and Programming in a Developmental Learning PerspectiveProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3536115(1809-1813)Online publication date: 9-May-2022
https://dl.acm.org/doi/10.5555/3535850.3536115
Fronchetti FRitschel NHolmes RLi LSoto MJetley RWiese IShepherd D(2022)Language impact on productivity for industrial end users: A case study from Programmable Logic ControllersJournal of Computer Languages10.1016/j.cola.2021.10108769(101087)Online publication date: Apr-2022
https://doi.org/10.1016/j.cola.2021.101087
Tesone PPolito GFabresse LBouraqadi NDucasse S(2020)Preserving instance state during refactorings in live environmentsFuture Generation Computer Systems10.1016/j.future.2020.04.010110(1-17)Online publication date: Sep-2020
https://doi.org/10.1016/j.future.2020.04.010
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
Bagherzadeh MJahed KCombemale BDingel JPretschner AVoss SBurgueño L(2019)Live-UMLRTProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00115(743-747)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/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
Petricek TGeddes JSutton CHerschel M(2018)WrattlerProceedings of the 10th USENIX Conference on Theory and Practice of Provenance10.5555/3319379.3319388(6-6)Online publication date: 11-Jul-2018
https://dl.acm.org/doi/10.5555/3319379.3319388
Kubelka JRobbes RBergel AChaudron MCrnkovic IChechik MHarman M(2018)The road to live programmingProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180200(1090-1101)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180200
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 Issue’s Table of Contents