The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (2008 vol.41)
pp: 28-37
David Harel , Weizmann Institute of Science
ABSTRACT
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.
INDEX TERMS
software programming, scenario-based programming
CITATION
David Harel, "Can Programming Be Liberated, Period?", Computer, vol.41, no. 1, pp. 28-37, January 2008, doi:10.1109/MC.2008.10
REFERENCES
1. 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 .
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool