Filters








55,049 Hits in 3.1 sec

Channels as Objects in Concurrent Object-Oriented Programming

Joana Campos, Vasco T. Vasconcelos
2011 Electronic Proceedings in Theoretical Computer Science  
We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types.  ...  Our work extends the recent approach on modular session types by eliminating channel operations, and defining the method call as the single communication primitive in both sequential and concurrent settings  ...  Acknowledgements This work was funded by project "Assertion-Types for Object-Oriented Programming", FCT (PTDC/EIA-CCO/105359/2008).  ... 
doi:10.4204/eptcs.69.2 fatcat:khftx4ip25cvpieba4wacwlvzy

Objects as session-typed processes

Stephanie Balzer, Frank Pfenning
2015 Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE! 2015  
We introduce an object-oriented programming language that has processes as its only objects and employs linear session types to express the protocols of message exchange and to reason about concurrency  ...  A key idea in object-oriented programming is that objects encapsulate state and interact with each other by message exchange.  ...  Object-Oriented Programming as Session-Based Communication In this section, we introduce our concurrent object-oriented language CLOO (Concurrent Linear Object-Orientation) and show, based on examples,  ... 
doi:10.1145/2824815.2824817 dblp:conf/agere/BalzerP15 fatcat:7dniniirafhgnip72ytyoz4p6i

Schematic: A concurrent object-oriented extension to Scheme [chapter]

Kenjiro Taura, Akinori Yonezawa
1996 Lecture Notes in Computer Science  
A concurrent object-oriented extension to the programming language Scheme, called Schematic, is described.  ...  Schematic supports familiar constructs often used in typical parallel programs (future and higher-level macros such as plet and pbegin), which are actually dened atop a very small number of fundamental  ...  Second, there are classes of applications which can be more naturally expressed in concurrent (in particular, object-oriented) languages such as GUI or distributed programming.  ... 
doi:10.1007/3-540-61487-7_22 fatcat:7jza3ibkg5b2taqwqsbtybkipa

Formalizing Composable Software Systems — A Research Agenda [chapter]

O. Nierstrasz, J.-G. Schneider, M. Lumpe
1997 IFIP Advances in Information and Communication Technology  
We propose, instead, to develop a rigorous foundation for composable software systems by a series of experiments in modelling concurrent and object-based software abstractions as composable, communicating  ...  But open systems are generally concurrent, distributed and heterogeneous in addition to being adaptable.  ...  Compositional Idioms Modelling object-oriented features in the π calculus is tedious work, akin to programming in a "concurrent assembler."  ... 
doi:10.1007/978-0-387-35082-0_20 fatcat:bugqw47sk5g3nihurxlh7cvuve

Using Category Theory to Verify Implementation Against Design in Concurrent Systems

Ming Zhu, Peter Grogono, Olga Ormandjieva
2015 Procedia Computer Science  
In this methodology, a concurrent system is designed using a process algebra, namely communicating sequential processes, and implemented in a process-oriented programming language, namely Erasmus.  ...  The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems.  ...  Process-oriented programming is based on processes that communicate by passing messages through channels rather than objects invoking one another's methods in object-oriented programming 1,6 .  ... 
doi:10.1016/j.procs.2015.05.030 fatcat:ko4m3sjetfh6tla6riuit7fq2i

Concurrent software engineering

Peter Grogono, Brian Shearing
2008 Proceedings of the 2008 C3S2E conference on - C3S2E '08  
As system requirements grow in complexity and hardware evolves, the gap does not necessarily widen, but it certainly changes.  ...  However, software engineering is moving towards a paradigm shift, following which concurrency will play a more fundamental role in programming languages.  ...  and Design Technique object-oriented programming −→ Object Oriented Analysis and Design aspect-oriented programming −→ Aspect Oriented Analysis and Design process-oriented programming −→ Process Oriented  ... 
doi:10.1145/1370256.1370270 dblp:conf/c3s2e/GrogonoS08 fatcat:qakax3wosva4rgauykjxnnlcuq

Using inheritance to implement concurrency

Mordechai Ben-Ari
1996 ACM SIGCSE Bulletin  
They can also be used as examples of inheritance when teaching object-oriented programming.  ...  The Ada programming language is an excellent vehicle for teaching concurrent programming because support for concurrency has been designed into the language.  ...  OBJECT-ORIENTED PROGRAMMING IN ADA The Ada language standardized in 1983 has been called an object-based language.  ... 
doi:10.1145/236462.236535 fatcat:eoafaund6ngzvfltsldwojsu6q

Using inheritance to implement concurrency

Mordechai Ben-Ari
1996 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education - SIGCSE '96  
They can also be used as examples of inheritance when teaching object-oriented programming.  ...  The Ada programming language is an excellent vehicle for teaching concurrent programming because support for concurrency has been designed into the language.  ...  OBJECT-ORIENTED PROGRAMMING IN ADA The Ada language standardized in 1983 has been called an object-based language.  ... 
doi:10.1145/236452.236535 dblp:conf/sigcse/Ben-Ari96 fatcat:t3a3gjwxvrcwrnmibpdqykp7n4

A Virtual Machine for a Process Calculus [chapter]

Luís Lopes, Fernando Silva, Vasco T. Vasconcelos
1999 Lecture Notes in Computer Science  
This paper presents a virtual machine for a strongly typed, polymorphic, concurrent, object-oriented programming language based on the TyCO process calculus.  ...  We present some performance results and compare them to other languages such as Pict, Oz, and JoCaml.  ...  In this paper we use Vasconcelos' Typed Concurrent Objects to define a strongly typed, polymorphic, concurrent, object-oriented language named Ty-CO [23, 25] .  ... 
doi:10.1007/10704567_15 fatcat:r7m3rx7okzcllbuwywy5x56ocm

The role of language paradigms in teaching programming

Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson
2003 ACM SIGCSE Bulletin  
The purpose of this panel is to confront the wide variety of opinions on the role of language paradigms in teaching programming. We have selected four divergent opinions:  ...  This is false: there are paradigms of concurrent programming that are almost as easy as sequential programming.  ...  For example, students who learn about concurrency only from Java conclude that it is always difficult and expensive.  ... 
doi:10.1145/792548.611908 fatcat:3nuxixnor5eqvkig5i77ttbvfq

The role of language paradigms in teaching programming

Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson
2003 Proceedings of the 34th SIGCSE technical symposium on Computer science education - SIGCSE '03  
The purpose of this panel is to confront the wide variety of opinions on the role of language paradigms in teaching programming. We have selected four divergent opinions:  ...  This is false: there are paradigms of concurrent programming that are almost as easy as sequential programming.  ...  For example, students who learn about concurrency only from Java conclude that it is always difficult and expensive.  ... 
doi:10.1145/611892.611908 dblp:conf/sigcse/RoyAFM03 fatcat:vxycq4ltenhs5mdbsazra5jzo4

Objects in concurrent logic programming languages

Kenneth Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow
1986 Conference proceedings on Object-oriented programming systems, languages and applications - OOPLSA '86  
Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization  ...  The resulting language, Vulcan, is then used as a vehicle for exploring new variants of object-oriented progrlmmlng which become possible in this framework.  ...  Object-oriented programming in Concurrent Prolog Shapiro and Takeuchi present Concurrent Prolog and a set of programming cliches for programming in an object-oriented style [Shapiro 1983a ].  ... 
doi:10.1145/28697.28721 dblp:conf/oopsla/KahnTMB86 fatcat:pvokcwniv5d6pgkl3xyezsqv7i

Evaluation of Object-Oriented Reflective Models [chapter]

Walter Cazzola
1998 Lecture Notes in Computer Science  
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of each reflective model.  ...  What is Reflection Reflection appeared first in AI before propagating to various fields in computer science such as logic programming, functional programming and object-oriented programming [13] .  ...  It was introduced in object-oriented programming thanks to the famous works of Pattie Maes [30, 31] .  ... 
doi:10.1007/3-540-49255-0_114 fatcat:yh5o6smtk5ec5pzs5calrcco6e

Design and partial evaluation of meta-objects for a concurrent reflective language [chapter]

Hidehiko Masuhara, Akinori Yonezawa
1998 Lecture Notes in Computer Science  
In addition, a partially evaluated program that uses a customized meta-object runs as efficiently as a program that is manually rewritten so as to have the same functionality without using meta-objects  ...  Some of this penalty can be reduced by applying partial evaluation to metainterpreters, but partial evaluation of meta-objects in existing concurrent object-oriented languages is ineffective.  ...  Acknowledgments The earlier version of ABCL/R3 was designed in collaboration with Satoshi Matsuoka, and we would like to express our thanks to him.  ... 
doi:10.1007/bfb0054102 fatcat:zfwnrewjarap7hvz3o7odn5xxe

Extending the SystemC synthesis subset by object-oriented features

Eike Grimpe, Frank Oppenheimer
2003 Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis - CODES+ISSS '03  
In this article we present an approach to object-oriented hardware design and synthesis based on SystemC.  ...  We will give an introduction to an extended SystemC synthesis subset which we propose, and, in particular, its object-oriented features.  ...  of object-oriented concurrent programming.  ... 
doi:10.1145/944650.944652 fatcat:vdacuw4upbhtrowgob3alhrqi4
« Previous Showing results 1 — 15 out of 55,049 results