19 search results - page 1 / 4 » Unifying Interaction with Persistent Data and Program |
IDS
1994
13 years 9 months ago
1994
POS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
ICFP
2007
ACM
13 years 8 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
ER
1995
Springer
13 years 8 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...