Search Sciweavers | Sciweavers

3926 search results - page 17 / 786

» A Logic of Object-Oriented Programs

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

14 years 5 months ago

Download homepages.di.fc.ul.pt

Alexandre Z. Caldeira, António Ravara, Nils...

claim paper

Read More »

click to vote

ICCL
1994
IEEE

140views Programming Languages» more ICCL 1994»

A Compositional Approach to Concurrent Object-Oriented Programming

13 years 12 months ago

Download www.cs.ucdavis.edu

This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...

Raju Pandey, James C. Browne

claim paper

Read More »

click to vote

ECOOP
2003
Springer

107views Programming Languages» more ECOOP 2003»

Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment

14 years 28 days ago

Download www.idi.ntnu.no

Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif,...

claim paper

Read More »

click to vote

ATAL
2000
Springer

101views Intelligent Agents» more ATAL 2000»

Generalised Object-Oriented Concepts for Inter-agent Communication

14 years 1 days ago

Download people.cs.uu.nl

In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...

Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...

claim paper

Read More »

click to vote

IFIP
1998
Springer

79views Programming Languages» more IFIP 1998»

ICE: an object oriented toolkit for tailoring collaborative

13 years 12 months ago

Download www.idi.ntnu.no

In this paper we describe ICE, an object

Babak A. Farshchian

claim paper