550 search results - page 18 / 110 » Object Oriented Programming with ANSI-C |
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
FASE
2000
Springer
14 years 2 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
DAIS
2010
14 years 11 days ago
2010
Our everyday environments will soon be pervaded with RFID tags integrated in physical objects. These RFID tags can store a digital representation of the physical object and transmi...
JMLC
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...