Filters








130,916 Hits in 1.6 sec

A programming model for concurrent object-oriented programs

Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
2008 ACM Transactions on Programming Languages and Systems  
We propose a programming regime (or programming model) that rules out data races, and enables local reasoning in the presence of object aliasing and concurrency.  ...  We have implemented a verifier for programs developed according to our model in a custom build of the Spec# programming system, and we have validated our approach on a case study. the syntax for a subset  ...  ACKNOWLEDGMENTS The authors would like to thank the anonymous reviewers for their valuable comments.  ... 
doi:10.1145/1452044.1452045 fatcat:fmvijx42rjfixhzlu3ryce66bq

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs [chapter]

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006 Lecture Notes in Computer Science  
We propose a programming model that prevents data races and deadlocks, and supports local reasoning in the presence of object aliasing and concurrency.  ...  We have implemented a verifier for programs developed according to our model in a custom build of the Spec# programming system, and have validated our approach on a case study.  ...  We propose a programming model for concurrent programming in Java-like languages, and the design of a set of program annotations that make the use of the programming model explicit.  ... 
doi:10.1007/11901433_23 fatcat:nyptdtegsrawzaxwjvtvx6haha

Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages

R. Banach, G.A. Papadopoulos
Programming Models for Massively Parallel Computers  
The usefulness of the generalised computational model of Term Graph Rewriting Systems (TGRS) for designing and implementing concurrent object-oriented languages, and also for specifying and reasoning about  ...  a state-of-the-art functional object-oriented language onto the MONSTR computational model, a restricted form of TGRS specifically designed to act as a point of reference in the design and implementation  ...  Acknowledgment: The authors would like to thank John Sargeant for comments on an earlier version of the paper.  ... 
doi:10.1109/pmmpc.1995.504353 fatcat:5owosgv4zrhpzk3lgqp64uuesq

Systematic Development of Concurrent Object-Oriented Programs

Paulo Borba
1998 Electronical Notes in Theoretical Computer Science  
Concurrent object-oriented programming is actually a compromise between shared variable and communication based approaches for concurrency.  ...  Re nement Based on the operational semantics of an arbitrary object-oriented language, it is possible to directly de ne a suitable notion of re nement for concurrent object-oriented programs written in  ... 
doi:10.1016/s1571-0661(05)80227-0 fatcat:boiy5mgfpjad3huw7nx5swpnqe

Two models of concurrent objects

O. M. Nierstrasz
1988 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming -  
We propose two models of concurrent objects that address, respectively, methodological and semantic issues of object-oriented programming languages.  ...  The first is a conceptual model to aid in the design of object-oriented languages for concurrent and distributed applications, and the second is a computational model that can be used to define the semantics  ...  and object-oriented programming languages.  ... 
doi:10.1145/67386.67436 fatcat:jwpwhwkwi5aefozijxndszddeu

Foreword

J. P. Bahsoun, J. L. Fiadeiro, D. Galmiche
1999 Mathematical Structures in Computer Science  
aspects of concurrent object-oriented programming.  ...  The paper entitled A specification logic for concurrent object-oriented programming focuses on the use of linear logic as a language for specifying advanced concepts of programming -in particular the salient  ...  We are very grateful to Guiseppe Longo, Editor-in-Chief, who has given us the opportunity to organise this Special Issue on the topic Proof theory of concurrent object-oriented programming.  ... 
doi:10.1017/s0960129599002753 fatcat:7xh2n46uu5gz3cbvfnm3jefhli

Capsule-Oriented Programming

Hridesh Rajan
2015 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering  
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.  ...  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  ...  Here, we present the model using the example in Figure 2 . The capsule-oriented programmer specifies a program as a collection of capsules and ordinary object-oriented (OO) classes.  ... 
doi:10.1109/icse.2015.205 dblp:conf/icse/Rajan15 fatcat:x2py4stlezcq5amatejv7ikqlm

Two models of concurrent objects

O. M. Nierstrasz
1989 SIGPLAN notices  
We propose two models of concurrent objects that address, respectively, methodological and semantic issues of object-oriented programming languages.  ...  The first is a conceptual model to aid in the design of object-oriented languages for concurrent and distributed applications, and the second is a computational model that can be used to define the semantics  ...  and object-oriented programming languages.  ... 
doi:10.1145/67387.67436 fatcat:5hwkirinfrd2hlwf2inpztkox4

From actors to agent-oriented programming abstractions in simpAL

Alessandro Ricci, Andrea Santi
2012 Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12  
simpAL is a programming language introducing an agentoriented programming abstraction layer on top of actors, with the the aim of simplifying the development of programs that need to integrate aspects  ...  related to concurrency, interaction, reactivity, distribution.  ...  Actors and Object-Oriented Concurrent Programming To this purpose actors [2] and Object-Oriented Concurrent Programming (OOCP) [1, 4] are main references.  ... 
doi:10.1145/2384716.2384745 dblp:conf/oopsla/RicciS12 fatcat:uvtejysw3zapxldy6bneypyrre

Multithreaded dependence graphs for concurrent Java programs

Zhao
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
We also discuss some important applications of a multithreaded dependence graph in a maintenance environment for concurrent Java programs.  ...  Understanding program dependencies in a computer program is essential for many software engineering activities including program slicing, testing, debugging, reverse engineering, and maintenance.  ...  Acknowledgements The author would like to thank the anonymous referees for their valuable suggestions and comments on earlier drafts of the paper.  ... 
doi:10.1109/pdse.1999.779735 dblp:conf/pdse/Zhao99 fatcat:wrgxqvimrrhuhajkamqmiwovb4

Object-Oriented Programming for Wide-Area Computing [chapter]

Jayadev Misra
2000 IFIP Advances in Information and Communication Technology  
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming too!.  ...  Many of the programming concepts developed for databases, object-oriented programming and designs of reactive systems can be unified into a compact model of concurrent programs that can serve as the foundation  ...  There are several key quest ions in developing a model of concurrentobjects for wide-area computing.  ... 
doi:10.1007/978-0-387-35520-7_10 fatcat:xnxxmcsiw5dsfiffnn6jhx6f6m

From Functions to Object-Orientation by Abstraction [article]

Bob Diertens
2012 arXiv   pre-print
In previous work we developed a framework of computational models for function and object execution.  ...  We show that the computational model for object execution complies with the fundamentals of object-orientation.  ...  Ever since object-orientation was introduced in programming languages there have been efforts in transforming programs built up from functions into object-oriented programs.  ... 
arXiv:1209.6163v1 fatcat:hl5n3vmhgbhcrazx6mxrwp2ejm

Panini

Eric Lin, Hridesh Rajan
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
A capsule is an implicit abstraction for concurrency that has many properties of actors, but provides a logically synchronous programming model to programmers.  ...  This demonstration will present Panini, a new programming language designed with an objective to help programmers with concurrent programming.  ...  These differences decrease the impedance mismatch between capsule-oriented programming model and the mainstream imperative programming model, and makes it easier to design polynomial-time algorithms for  ... 
doi:10.1145/2508075.2514573 dblp:conf/oopsla/LinR13 fatcat:lffjbyzbzzferbbogzt4u7imxe

Object-oriented programming and parallelism: Introduction

A.A. Radenski
1996 Information Sciences  
From a programming perspective, objectorientation originated as a specific method for modelling through programming but evolved to a general approach to programming through modelling.  ...  It has been realized that parallelism is a inherently needed enhancement for the traditional object-oriented programming (OOP) paradigm, and that objectorientation can add significant flexibility to the  ...  Thanks are also due to authors for their readiness to write good quality paper, revise them and promptly prepare them for publication.  ... 
doi:10.1016/0020-0255(96)00058-8 fatcat:aihobdwrnjailbfilvkrvxc6zq

Concurrent object-oriented programming with agents

Alessandro Ricci, Andrea Santi
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
ALOO is a novel approach to Concurrent Object-Oriented Programming, integrating plain old objects with concurrency through the adoption of agent-oriented first-class abstractions.  ...  In this work we introduce a novel approach to Concurrent Object-Oriented Programming based on a simple conceptual model integrating plain old objects with agents, introduced as first-class abstraction  ...  for modeling the active parts of the program.  ... 
doi:10.1145/2508075.2508095 dblp:conf/oopsla/RicciS13 fatcat:gl5z6uvk3ngk7hjmhzitzryqg4
« Previous Showing results 1 — 15 out of 130,916 results