Results 201 to 210 of about 49,126 (246)
All In: Understanding and Motivating Stakeholders to Create an Equitable Culture of Student Success. [PDF]
Weatherton M+4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science, 1999This 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), 1994Presents 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, 2000H. D. Bruin
semanticscholar +4 more sources
Concurrent Object-Oriented Programming Languages
C. Tomlinson, Mark Scheevel
semanticscholar +2 more sources
Integration of object oriented and concurrent programming [PDF]
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 -, 1988CST 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, 1986An 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