![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
6. FLOPS 2002: Aizu, Japan
- Zhenjiang Hu, Mario Rodríguez-Artalejo:
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441, Springer 2002, ISBN 3-540-44233-2
Invited Papers
- Kokichi Futatsugi:
Formal Methods in CafeOBJ. 1-20 - Jérôme Siméon, Philip Wadler:
The Essence of XML (Preliminary Version). 21-46 - Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial. 47-66
Tutorial Paper
- Sergio Antoy, Michael Hanus:
Functional Logic Design Patterns. 67-87
Constraints
- Klaus Meer:
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. 88-102 - Miguel García-Díaz, Susana Nieva:
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. 103-118
Program Transformation and Analysis
- Pascual Julián Iranzo:
On the Correctness of the Factoring Transformation. 119-133 - Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Lifting in Quadratic Time. 134-151
Semantics
- Yann Loyer, Umberto Straccia:
The Well-Founded Semantics in Normal Logic Programs with Uncertainty. 152-166 - Masahito Hasegawa
:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. 167-182 - Luís Soares Barbosa
, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. 183-197
Rewriting
- Hideto Kasuya, Masahiko Sakai
, Kiyoshi Agusa:
Descendants and Head Normalization of Higher-Order Rewrite Systems. 198-211 - Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
Narrowing Failure in Functional Logic Programming. 212-227
Compilation Techniques
- Mikael Pettersson, Konstantinos Sagonas
, Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. 228-244 - Rafael Caballero
, Francisco Javier López-Fraguas:
Dynamic-Cut with Definitional Trees. 245-258
Programming Methodology
- Jan-Georg Smaus:
The Head Condition and Polymorphic Recursion. 259-274 - António Porto:
Structural Abstraction and Application in Logic Programming. 275-289 - Eijiro Sumii, Hideo Bannai:
VM lambda: A Functional Calculusfor Scientific Discovery. 290-304
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.