DocumentCode
2300281
Title
The notion of a framework and a framework for LTC
Author
Mendler, Paul F. ; Aczel, Peter
Author_Institution
Dept. of Comput. Sci., Manchester Univ., UK
fYear
1988
fDate
0-0 1988
Firstpage
392
Lastpage
399
Abstract
A precise notion of a formal framework, meant to capture the intuition of an open-ended range of deductive interpreted languages, is proposed. A particular framework called the logical theory of constructions (LTC) is developed as an example. A series of languages in the LTC framework is defined, demonstrating how a language can be thought of as gradually evolving.<>
Keywords
formal languages; formal logic; deductive interpreted languages; logical theory of constructions; Application software; Computer science; Formal languages; Mathematics; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location
Edinburgh, UK
Print_ISBN
0-8186-0853-6
Type
conf
DOI
10.1109/LICS.1988.5136
Filename
5136
Link To Document