253 search results - page 36 / 51 » Imperative self-adjusting computation |
CONCUR
2010
Springer
13 years 7 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
JFP
2008
13 years 7 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
GG
2010
Springer
13 years 5 months ago
2010
Springer
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
WWW
2005
ACM
14 years 8 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...