8197 search results - page 1 / 1640 » Adaptive functional programming |
POPL
2002
ACM
14 years 11 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
FOAL
2009
ACM
14 years 5 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
LISP
2008
13 years 11 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
JACIII
2000
13 years 11 months ago
2000
DOCENG
2004
ACM
14 years 4 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...