498 search results - page 61 / 100 » Generalized algebraic data types and object-oriented program... |
128
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
104
click to vote
SIGADA
2004
Springer
15 years 7 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...
105
click to vote
BNCOD
2004
15 years 3 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
145
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
136
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...