最 低 价：￥362.00
| Invited Papers The Metalanguage λ-Prolog and Its Implementation A Scalable Architecture for Proof-Carrying Code Parameterized Logic Programs where Computing Meets Learning Functional Programming Proving Syntactic Properties of Exceptions in an Ordered Logical Framework A Higher Order Colon Transation Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine Logic Programming A Higher-Order Logic Programming Languate with Constraints Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λProlog-A Case-study An Effective Bottom-Up Semantics for First-Order Linear Logic Programs Functional Logic Programming A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs Adding Linear Constrains over Real Numbers to Curry A Complete Selection Function for Lazy CConditional Narrowing An Abstract Machine Based System for a Lazy Narrowing Calculus Incremenatal Learning of Functional Logic Programs Types A General Type Inference Framework for hindley/Mindley/Milner Style Systems Monadic Encapsulation with Stack of Regions Well-Typed logic Programs Are not Wrong Program Analysis and Transformation A Framework for Analysis of Typed logic Programs …… λ-Calculus Author Index |
内容加载中，请稍后...
商品评论（0条）