917 search results - page 39 / 184 » On the Semantics of Updates in a Functional Language |
POPL
2002
ACM
14 years 8 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...
PLDI
2000
ACM
14 years 2 days ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
ESOP
1999
Springer
13 years 12 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
IDEAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
SCAM
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...