Results 201 to 210 of about 49,126 (246)

A specification logic for concurrent object-oriented programming

Mathematical Structures in Computer Science, 1999
This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming.
G. Delzanno, D. Galmiche, M. Martelli
semanticscholar   +5 more sources

A compositional approach to concurrent object-oriented programming

Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), 1994
Presents a model of concurrent object-oriented programming in which specification of computational behavior is separated from specification of interaction behavior of methods. This compositional approach to concurrent programming avoids some of the conceptual difficulties that have plagued the integration of concurrency and object-oriented models of ...
R. Pandey, J. Browne
semanticscholar   +3 more sources

BCOOPL: Basic concurrent object-oriented programming language

Software: Practice and Experience, 2000
H. D. Bruin
semanticscholar   +4 more sources

Concurrent Object-Oriented Programming Languages

open access: closedObject-Oriented Concepts, Databases, and Applications, 1989
C. Tomlinson, Mark Scheevel
semanticscholar   +2 more sources

Integration of object oriented and concurrent programming [PDF]

open access: possibleProceedings of Twentieth Euromicro Conference. System Architecture and Integration, 2002
Two of the most active areas of programming language development over the last few years have been object-oriented and concurrent programming. This paper argues that the two programming paradigms are duals of each other which are conceptualised by many programmers in a similar way.
B. Newman, M. Payne
openaire   +1 more source

Object-oriented concurrent programming in CST

Proceedings of the third conference on Hypercube concurrent computers and applications Architecture, software, computer systems, and general issues -, 1988
CST is a programming language based on Smalltalk-80 that supports concurrency using locks, asynchronous messages, and distributed objects. Distributed objects have their state distributed across many nodes of a machine, but are referred to by a single name.
Andrew A. Chien, William J. Dally
openaire   +3 more sources

Object-Oriented Concurrent Programming in ABCL/1

ACM SIGPLAN Notices, 1986
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is also presented.
Yonezawa, Akinori   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy