Skip to main content
Presentation
Capsule-oriented programming
Proceedings of the 37th International Conference on Software Engineering (ICSE '15)
  • Hridesh Rajan, Iowa State University
Document Type
Conference Proceeding
Conference
The 37th International Conference on Software Engineering (ICSE '15)
Publication Version
Accepted Manuscript
Link to Published Version
https://dx.doi.org/10.1109/ICSE.2015.205
Publication Date
1-1-2015
DOI
10.1109/ICSE.2015.205
Conference Date
May 16-24, 2015
Geolocation
(43.7695604, 11.25581360000001)
Abstract

"Explicit concurrency should be abolished from all higher-level programming languages (i.e. everything except - perhaps- plain machine code.)." Dijkstra [1] (paraphrased). A promising class of concurrency abstractions replaces explicit concurrency mechanisms with a single linguistic mechanism that combines state and control and uses asynchronous messages for communications, e.g. active objects or actors, but that doesn't remove the hurdle of understanding non-local control transfer. What if the programming model enabled programmers to simply do what they do best, that is, to describe a system in terms of its modular structure and write sequential code to implement the operations of those modules and handles details of concurrency? In a recently sponsored NSF project we are developing such a model that we call capsule-oriented programming and its realization in the Panini project. This model favors modularity over explicit concurrency, encourages concurrency correctness by construction, and exploits modular structure of programs to expose implicit concurrency.

Comments

This is a manuscript of a proceeding published as Rajan, Hridesh. "Capsule-oriented programming." In Proceedings of the 37th International Conference on Software Engineering-Volume 2, pp. 611-614. IEEE Press, 2015. doi:10.1109/ICSE.2015.205. Posted with permission

Rights
© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Copyright Owner
IEEE
Language
en
File Format
application/pdf
Citation Information
Hridesh Rajan. "Capsule-oriented programming" Florence, ItalyProceedings of the 37th International Conference on Software Engineering (ICSE '15) Vol. 2 (2015) p. 611 - 614
Available at: http://works.bepress.com/hridesh-rajan/78/