13734 search results - page 89 / 2747 » Abstractions of data types |
C++
1994
13 years 10 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
BIBE
2004
IEEE
14 years 19 days ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
TACS
2001
Springer
14 years 1 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...
GFKL
2006
Springer
14 years 17 days ago
2006
Springer