Functional and Logic Programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings / / edited by Herbert Kuchen, Kazunori Ueda

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001
• Edizione: 1st ed. 2001.
• Descrizione fisica: 1 online resource (X, 398 p.)
• Disciplina: 005.1/4
• Soggetto topico: Programming languages (Electronic computers); Computer programming; Computer logic; Artificial intelligence; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Artificial Intelligence
• Persona (resp. second.): KuchenHerbert; UedaKazunori
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: 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 Translation -- Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine -- Logic Programming -- A Higher-Order Logic Programming Language 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 Constraints over Real Numbers to Curry -- A Complete Selection Function for Lazy Conditional Narrowing -- An Abstract Machine Based System for a Lazy Narrowing Calculus -- Incremental Learning of Functional Logic Programs -- Types -- A General Type Inference Framework for Hindley/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 -- Abstract Compilation for Sharing Analysis -- A Practical Partial Evaluator for a Multi-Paradigm Declarative Language -- A Simple Take on Typed Abstract Syntax in Haskell-like Languages -- Calculus -- A simply typed context calculus with first-class environments -- Refining the Barendregt Cube using Parameters.
• Titolo autorizzato: Functional and Logic Programming
• ISBN: 3-540-44716-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910768474103321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2024