Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. 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
a service of 
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.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
