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

fYear

1997

fDate

7-11 Apr 1997

Firstpage

585

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Data Engineering, 1997. Proceedings. 13th International Conference on

Conference_Location

Birmingham

ISSN

1063-6382

Print_ISBN

0-8186-7807-0

Type

conf

DOI

10.1109/ICDE.1997.582039

Filename

582039