Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15 17, 2002 : proceedings
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , |
| स्वरूप: | Livre numérique |
| भाषा: | Anglais |
| प्रकाशित: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| श्रृंखला: | Lecture notes in computer science
2441 |
| विषय: | |
| ऑनलाइन पहुंच: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| टिप्पणी: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Functional and logic programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.), Berlin, Springer, 2002, 1 vol. (X-304 p.), Lecture notes in computer science, 3-540-44233-2 • Functional and Logic Programming, Texte imprimé, 9783662167335 |
विषय - सूची:
- Invited Papers
- Formal Methods in CafeOBJ
- The Essence of XML (Preliminary Version)
- To the Gates of HAL: A HAL Tutorial
- Tutorial Paper
- Functional Logic Design Patterns
- Constraints
- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms
- Program Transformation and Analysis
- On the Correctness of the Factoring Transformation
- Lambda-Lifting in Quadratic Time
- Semantics
- The Well-Founded Semantics in Normal Logic Programs with Uncertainty
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
- Coinductive Interpreters for Process Calculi
- Rewriting
- Descendants and Head Normalization of Higher-Order Rewrite Systems
- Narrowing Failure in Functional Logic Programming
- Compilation Techniques
- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation
- Dynamic-Cut with Definitional Trees
- Programming Methodology
- The Head Condition and Polymorphic Recursion
- Structural Abstraction and Application in Logic Programming
- VM?: A Functional Calculus for Scientific Discovery.