Sciweavers

1041 search results - page 61 / 209
» Object Oriented Parallel Programming
Sort
View
TGC
2005
Springer
14 years 3 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
ECOOP
2006
Springer
14 years 1 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
CORR
2010
Springer
210views Education» more  CORR 2010»
13 years 10 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
PDIS
1994
IEEE
14 years 2 months ago
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database
We present a scalable garbage collection scheme for systems that store objects at multiple servers while clients run transactions on locally cached copies of objects. It is the fi...
Umesh Maheshwari, Barbara Liskov
LPNMR
2005
Springer
14 years 3 months ago
A DLP System with Object-Oriented Features
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...