A functional logic for higher level reasoning about computation

Staples J., Robinson P.J. and Hazel D. (1994) A functional logic for higher level reasoning about computation. Formal Aspects of Computing, 6 1: 1-38. doi:10.1007/BF01211079


Author Staples J.
Robinson P.J.
Hazel D.
Title A functional logic for higher level reasoning about computation
Journal name Formal Aspects of Computing   Check publisher's open access policy
ISSN 0934-5043
Publication date 1994
Sub-type Article (original research)
DOI 10.1007/BF01211079
Volume 6
Issue 1
Start page 1
End page 38
Total pages 38
Publisher Springer-Verlag
Subject 1712 Software
Abstract In many areas of computation and reasoning, the value of an expression may depend on an implicit parameter, which may for example represent a program state, or time, or a possible world. In this paper we describe a formal first order logic which captures a general notion of expressions which depend on an implicit parameter. Both semantics and syntax are discussed. An important application of the logic, used as a running example, is to provide a basis for unifying the Hoare logic of procedural programs with the mathematically powerful techniques of classical logic and set theory. It is, however, beyond the scope of this paper to develop this application fully.
Keyword Functional logic
Intensional logic
Verification
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 26 Jul 2016, 04:16:49 EST by System User