Campus Units

Computer Science

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

2015

Journal or Book Title

Proceedings of the 37th International Conference on Software Engineering (ICSE '15)

Volume

2

First Page

611

Last Page

614

DOI

10.1109/ICSE.2015.205

Conference Date

May 16-24, 2015

City

Florence, Italy

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

Published Version

Share

Article Location

 
COinS