280 search results - page 27 / 56 » Object-Oriented Programming Support for CLASSIC |
ASIAN
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
ICSE
1998
IEEE-ACM
13 years 12 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
IWMM
1998
Springer
13 years 12 months ago
1998
Springer
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
ICDM
2007
IEEE
14 years 2 months ago
2007
IEEE
Censored targets, such as the time to events in survival analysis, can generally be represented by intervals on the real line. In this paper, we propose a novel support vector tec...