|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
2010 14th IEEE International Enterprise Distributed Object Computing Conference
Keynote Abstracts (PDF)
Vitória, Brazil
October 25-October 29
ISBN: 978-0-7695-4163-1
| ASCII Text | x | ||
| "Keynote Abstracts," 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, pp. xix-xxiii, 2010 14th IEEE International Enterprise Distributed Object Computing Conference, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/EDOC.2010.36, author = {}, title = {Keynote Abstracts}, journal ={2012 IEEE 16th International Enterprise Distributed Object Computing Conference}, volume = {0}, year = {2010}, issn = {1541-7719}, pages = {xix-xxiii}, doi = {http://doi.ieeecomputersociety.org/10.1109/EDOC.2010.36}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 16th International Enterprise Distributed Object Computing Conference TI - Keynote Abstracts SN - 1541-7719 SPxix EPxxiii PY - 2010 KW - programming KW - scenario-based programming KW - behavioral programming KW - Turing Award Lecture VL - 0 JA - 2012 IEEE 16th International Enterprise Distributed Object Computing Conference ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EDOC.2010.36
The talk starts from a dream/vision paper I published in 2008, whose title is a play on that of John Backus' famous Turing Award Lecture (and paper). I will propose that - or rather ask whether - programming can be made to be a lot closer to the way humans think about dynamics, and the way they manage to get others (e.g., their children, their employees, etc.) to do what they have in mind. Technically, the question is whether we can liberate programming from its three main straightjackets: (1) having to directly produce a precise artifact in some language; (2) having actually to produce two separate artifacts (the program and the requirements) and having then to pit one against the other; (3) having to program each piece/part/object of the system separately. The talk will then get a little more technical, providing some evidence of feasibility of the dream, via LSCs and the play-in/play-out approach to scenario-based programming. The entire body of work around these ideas can be framed as a paradigm that we have begun to term behavioral programming.
Index Terms:
programming,scenario-based programming,behavioral programming,Turing Award Lecture
Citation:
"Keynote Abstracts," edoc, pp.xix-xxiii, 2010 14th IEEE International Enterprise Distributed Object Computing Conference, 2010
Usage of this product signifies your acceptance of the Terms of Use.
