Title :
A persistent hyper-programming system
Author :
Kirby, Graham ; Morrison, Ron ; Munro, Dave ; Connor, Richard ; Cutts, Quintin
Author_Institution :
Div. of Comput. Sci., St. Andrews Univ., UK
Abstract :
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embedded directly within the source code. The benefits include improved efficiency and potential for static program checking, reduced programming effort and the ability to display meaningful source level representations for first class procedure values. Hyper-programming represents a completely new style of programming which is only possible in a persistent programming system
Keywords :
data structures; high level languages; programming; programming environments; type theory; first class procedure values; meaningful source level representations; persistent applications; persistent hyper-programming system; persistent objects; persistent programming system; program representations; source code; static program checking; type-safe links; Application software; Computer languages; Computer science; Data structures; Databases; Displays; File systems; Nonvolatile memory; Programming profession; Prototypes;
Conference_Titel :
Data Engineering, 1997. Proceedings. 13th International Conference on
Conference_Location :
Birmingham
Print_ISBN :
0-8186-7807-0
DOI :
10.1109/ICDE.1997.582039
