5096 search results - page 320 / 1020 » Associations as a Language Construct |
158
click to vote
PADL
2004
Springer
16 years 4 days ago
2004
Springer
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
145
click to vote
PPPJ
2003
ACM
16 years 1 days ago
2003
ACM
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
206
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
161
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
180
click to vote
JMLC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...