Sciweavers

10912 search results - page 29 / 2183
» Object-Oriented Programming Languages
Sort
View
TOOLS
1991
IEEE
13 years 11 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...
ECOOP
1987
Springer
13 years 11 months ago
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
Ifor Williams, Mario Wolczko, Trevor Hopkins
TOOLS
1999
IEEE
13 years 12 months ago
An Object-Oriented Design of a Multimedia Item Pool
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
Yue Wang, Tiansi Dong, Liangxian Xu, Ruzhan Lu
TOOLS
1998
IEEE
13 years 12 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
LISP
2008
154views more  LISP 2008»
13 years 7 months ago
Types and trace effects for object orientation
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Christian Skalka