5090 search results - page 278 / 1018 » Constructing Strategies for Programming |
122
click to vote
PADL
2004
Springer
15 years 10 months 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...
119
click to vote
PPPJ
2003
ACM
15 years 10 months 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...
133
click to vote
WCRE
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
126
click to vote
TACAS
1997
Springer
15 years 9 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
118
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...