3713 search results - page 285 / 743 » Constructing a Calculus of Programs |
123
Voted
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
112
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
118
Voted
PADL
2004
Springer
15 years 9 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...
115
Voted
PPPJ
2003
ACM
15 years 9 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...
128
Voted
WCRE
2000
IEEE
15 years 8 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...