A tiny constraint functional logic language and its continuation semantics
作者： Andy Mück , Thomas Streicher , Hendrik C. R. Lock
关键词: Normalisation by evaluation 、 Computer science 、 Programming language 、 Operational semantics 、 Higher-order logic 、 Action semantics 、 Logic programming 、 Denotational semantics of the Actor model 、 Theoretical computer science 、 Denotational semantics 、 Well-founded semantics
摘要: We present an extension of λ-calculus by logical features and constraints, which yields a minimal core language for constraint functional logic programming. define denotational semantics based on continuation passing style. The operational our is given as set reduction rules. prove soundness the w.r.t. semantics. Finally, we show how pure programs can be translated to this in sound way.
springer.com
sci-hub.st 参考文章(24)
Catuscia Palamidessi, Pier Giorgio Bosco, Giorgio Levi, Corrado Moiso, Elio Giovannetti, A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP. pp. 318- 327 ,(1987)
Uday S. Reddy, Narrowing as the Operational Semantics of Functional Languages. SLP. pp. 138- 151 ,(1985)
Yike Guo, John Darlington, Helen Pull, A New Perspective on Integrating Functional and Logic Languages. Future Generation Computer Systems. pp. 682- 693 ,(1992)
Dietmar Wolz, Design of a Compiler for Lazy Pattern Driven Narrowing Annales Des Télécommunications. pp. 362- 379 ,(1990) , 10.1007/3-540-54496-8_19
Andy Mück, Compilation of Narrowing PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming. pp. 16- 29 ,(1990) , 10.1007/BFB0024173
Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace, Contraint Logic Programming - An Informal Introduction LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action. pp. 3- 35 ,(1992) , 10.1007/3-540-55930-2_2
Francisco Javier, López Fraguas, None, A General Scheme for Constraint Functional Logic Programming Proceedings of the Third International Conference on Algebraic and Logic Programming. pp. 213- 227 ,(1992) , 10.1007/BFB0013828
Egidio Astesiano, Gerardo Costa, Sharing in Nondeterminism international colloquium on automata, languages and programming. pp. 1- 15 ,(1979) , 10.1007/3-540-09510-1_1
Ross Paterson, A Tiny Functional Language with Logical Features Declarative Programming, Sasbachwalden 1991. pp. 66- 79 ,(1992) , 10.1007/978-1-4471-3794-8_5
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo, Graph-based Implementation of a Functional Logic Langugage european symposium on programming. pp. 271- 290 ,(1990) , 10.1007/3-540-52592-0_69