4959 search results - page 117 / 992 » Imperative Functional Programming |
CORR
2002
Springer
14 years 11 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
120
click to vote
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
WWW
2005
ACM
15 years 12 months ago
2005
ACM
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...
WWW
2004
ACM
15 years 12 months ago
2004
ACM
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
SEFM
2008
IEEE
15 years 5 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...