Semantic Models for a Logic of Partial Functions
    Download PDF
Cliff B. Jones,Matthew J. Lovert. Semantic Models for a Logic of Partial Functions. International Journal of Software and Informatics, 2011,5(1-2Part1):55~76
Hits: 2779
Download times: 2192
Fund:Semantic Models for a Logic of Partial Functions
Abstract:The Logic of Partial Functions (LPF) is used to reason about propositions that include terms that can fail to denote values: this paper provides two semantic descriptions for LPF. A Structural Operational Semantics (SOS) gives an intuitive introduction; this is followed by a denotational semantics where relations are chosen for denotations offering an intuitive model of undefined terms. Finally, we illustrate how the denotational semantics can be used as a basis for proofs about propositions that include terms that can fail to denote.
keywords:logic of partial functions  non-denoting terms  structural operational semantics  denotational semantics
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:1702343
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号