Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Σειρά: | Lecture Notes in Computer Science,
2998 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Papers
- A Brief Survey of Quantum Programming Languages
- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic
- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework
- Refereed Papers Logic and Functional-Logic Programming
- Online Justification for Tabled Logic Programs
- Constructive Intensional Negation
- Analysing Definitional Trees: Looking for Determinism
- Applications
- : a Declarative Debugging Tool for Functional-Logic Languages
- LIX: an Effective Self-applicable Partial Evaluator for Prolog
- Program Analysis
- Multivariant Non-failure Analysis via Standard Abstract Interpretation
- Set-Sharing Is Not Always Redundant for Pair-Sharing
- Backward Pair Sharing Analysis
- Rewriting
- Implementing Natural Rewriting and Narrowing Efficiently
- Complete Axiomatization of an Algebraic Construction of Graphs
- Sub-Birkhoff
- Types and Modules
- Relaxing the Value Restriction
- Rigid Mixin Modules
- Logic and Semantics
- Semantics of Linear Continuation-Passing in Call-by-Name
- A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus
- Functional Programming
- Normalization by Evaluation for ? ?2
- Basic Pattern Matching Calculi: a Fresh View on Matching Failure
- Derivation of Deterministic Inverse Programs Based on LR Parsing.
