Can Programming Be Liberated, Period?
|
The author describes his dream about freeing ourselves from the straightjackets of programming, making the process of getting computers to do what we want intuitive, natural, and also fun. He recommends harnessing the great power of computing and transforming a natural and almost playful means of programming so that it becomes fully operational and machine-doable.
[1] 28 D. Harel, "From Play-In Scenarios to Code: An Achievable Dream," Computer, Jan. 2001, pp. 53–60. Also published in Proc. Fundamental Approaches to Software Engineering (FASE 00), LNCS 1783, Springer-Verlag, 2000, pp. 22–34.
[2] J. Backus, "Can Programming Be Liberated from the von Neumann Style? A Functional Style and its Algebra of Programs," Comm. ACM, vol. 21, no. 8, 1978, pp. 613–641.
[3] M. Zloof, "Query-by-Example: A Data Base Language," IBM Systems J., vol. 16, 1977, pp. 324–343.
[4] K. Apt, From Logic Programming to PROLOG, Prentice Hall, 1996.
[5] C. Simonyi, The Death of Computer Languages, The Birth of Intentional Programming, tech. report MSR-TR-95-52, Microsoft Research, 1995.
[6] K. Marriott and P.J. Stuckey, Programming with Constraints: An Introduction, MIT Press, 1998.
[7] R.E. Filman et al., Aspect-Oriented Software Development, Addison-Wesley, 2004.
[8] D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.
[9] D. Harel and A. Pnueli, "On the Development of Reactive Systems," Logics and Models of Concurrent Systems, K.R. Apt, ed., NATO ASI Series, vol. F-13, Springer-Verlag, 1985, pp. 477–498.
[10] A. Pnueli and R. Rosner, "On the Synthesis of a Reactive Module," Proc. 16th ACM Symp. Principles of Programming Languages, ACM Press, 1989, pp. 179–190.
[11] E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 2000.
[12] M.Y. Vardi, "From Verification to Synthesis," presentation, 2006 (in PostScript); www.cs.rice.edu/~vardi/papersfmco06.ps.gz .
[1] W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts," Formal Methods in System Design, vol. 19, no. 1, 2001, pp. 45–80.
[2] D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.
Index Terms:
software programming, scenario-based programming
Citation:
David Harel, "Can Programming Be Liberated, Period?," Computer, vol. 41, no. 1, pp. 28-37, Jan. 2008, doi:10.1109/MC.2008.10
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb