TY - GEN
T1 - Ideal models for pointwise relational and state-free imperative programming
AU - Naumann, David A.
PY - 2001
Y1 - 2001
N2 - Point-free relation calculus and its categorical generalizations have been fruitful in development of calculi of functional programming, especially for general principles, e.g., polytypic patterns of recursion on inductive data. But in specific applications, pointwise formulations can be more convenient and comprehensible than point-free combinators. A typed lambda calculus including non-injective pattern-matching was given by de Moor and Gibbons, but their relational semantics has shortcomings. We give an alternative based on a categorical axiomatization of ideal relations. We give a second semantics based on predicate transformers, and show how the pattern construct offers a new integration of imperative and functional programming. Simulation results justify the semantics.
AB - Point-free relation calculus and its categorical generalizations have been fruitful in development of calculi of functional programming, especially for general principles, e.g., polytypic patterns of recursion on inductive data. But in specific applications, pointwise formulations can be more convenient and comprehensible than point-free combinators. A typed lambda calculus including non-injective pattern-matching was given by de Moor and Gibbons, but their relational semantics has shortcomings. We give an alternative based on a categorical axiomatization of ideal relations. We give a second semantics based on predicate transformers, and show how the pattern construct offers a new integration of imperative and functional programming. Simulation results justify the semantics.
KW - Categorical semantics
KW - Functional, relational, imperative programming
KW - Integration of paradigms
KW - Predicate transformers
UR - http://www.scopus.com/inward/record.url?scp=0035790489&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0035790489&partnerID=8YFLogxK
U2 - 10.1145/773184.773186
DO - 10.1145/773184.773186
M3 - Conference contribution
AN - SCOPUS:0035790489
SN - 158113388X
SN - 9781581133882
T3 - Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
SP - 4
EP - 15
BT - Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
T2 - Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00)
Y2 - 5 September 2001 through 7 September 2001
ER -