Sciweavers

550 search results - page 41 / 110
» Object Oriented Programming with ANSI-C
Sort
View
ECOOP
2007
Springer
14 years 4 months ago
IDE-integrated Support for Schema Evolution in Object-Oriented Applications
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
Marco Piccioni, Manuel Oriol, Bertrand Meyer
FM
1994
Springer
104views Formal Methods» more  FM 1994»
14 years 2 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
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&...