Higher-order transformation and the distributed data problem.
- University of Nebraska at Omaha, Omaha, NE
The distributed data problem, is characterized by the desire to bring together semantically related data from syntactically unrelated portions of a term. Two strategic combinators, dynamic and transient, are introduced in the context of a classical strategic programming framework. The impact of the resulting system on instances of the distributed data problem is then explored.
- Research Organization:
- Sandia National Laboratories
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 918284
- Report Number(s):
- SAND2003-4587
- Country of Publication:
- United States
- Language:
- English
Similar Records
Proving refinement transformations using extended denotational semantics
Language as a cognitive process: Volume 1: Syntax
Sandia Cognitive Runtime Engine with Active Memory
Conference
·
Sun Mar 31 23:00:00 EST 1996
·
OSTI ID:219543
Language as a cognitive process: Volume 1: Syntax
Book
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5673189
Sandia Cognitive Runtime Engine with Active Memory
Software
·
Thu Dec 01 00:00:00 EST 2005
·
OSTI ID:1230890