13734 search results - page 89 / 2747 » Abstractions of data types |
118
Voted
C++
1994
15 years 5 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...
137
Voted
BIBE
2004
IEEE
15 years 7 months 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 ...
114
Voted
SIGADA
2004
Springer
15 years 9 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...
130
Voted
TACS
2001
Springer
15 years 8 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 ...