default search action

combined dblp search
author search
venue search
publication search

ask others

6. FLOPS 2002: Aizu, Japan

> Home > Conferences and Workshops > FLOPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/flops/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/2002
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

- view
  authority control:
- export record
  dblp key:
  - conf/flops/Futatsugi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Futatsugi02
Kokichi Futatsugi:
Formal Methods in CafeOBJ. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/flops/SimeonW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/SimeonW02
Jérôme Siméon, Philip Wadler:
The Essence of XML (Preliminary Version). 21-46
- view
  authority control:
- export record
  dblp key:
  - conf/flops/BandaDMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/BandaDMS02
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

- view
  authority control:
- export record
  dblp key:
  - conf/flops/AntoyH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/AntoyH02
Sergio Antoy, Michael Hanus:
Functional Logic Design Patterns. 67-87

Constraints

- view
  authority control:
- export record
  dblp key:
  - conf/flops/Meer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Meer02
Klaus Meer:
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. 88-102
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Garcia-DiazN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Garcia-DiazN02
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

- view
  authority control:
- export record
  dblp key:
  - conf/flops/Iranzo02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Iranzo02
Pascual Julián Iranzo:
On the Correctness of the Factoring Transformation. 119-133
- view
  authority control:
- export record
  dblp key:
  - conf/flops/DanvyS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/DanvyS02
Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Lifting in Quadratic Time. 134-151

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/flops/LoyerS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/LoyerS02
Yann Loyer, Umberto Straccia:
The Well-Founded Semantics in Normal Logic Programs with Uncertainty. 152-166
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Hasegawa02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Hasegawa02
Masahito Hasegawa:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. 167-182
- view
  authority control:
- export record
  dblp key:
  - conf/flops/BarbosaO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/BarbosaO02
Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. 183-197

Rewriting

- view
  authority control:
- export record
  dblp key:
  - conf/flops/KasuyaSA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/KasuyaSA02
Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa:
Descendants and Head Normalization of Higher-Order Rewrite Systems. 198-211
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Lopez-FraguasS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Lopez-FraguasS02
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
Narrowing Failure in Functional Logic Programming. 212-227

Compilation Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/flops/PetterssonSJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/PetterssonSJ02
Mikael Pettersson, Konstantinos Sagonas, Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. 228-244
- view
  authority control:
- export record
  dblp key:
  - conf/flops/CaballeroL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/CaballeroL02
Rafael Caballero, Francisco Javier López-Fraguas:
Dynamic-Cut with Definitional Trees. 245-258

Programming Methodology

- view
  authority control:
- export record
  dblp key:
  - conf/flops/Smaus02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Smaus02
Jan-Georg Smaus:
The Head Condition and Polymorphic Recursion. 259-274
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Porto02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Porto02
António Porto:
Structural Abstraction and Application in Logic Programming. 275-289
- view
  authority control:
- export record
  dblp key:
  - conf/flops/SumiiB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/SumiiB02
Eijiro Sumii, Hideo Bannai:
VM lambda: A Functional Calculusfor Scientific Discovery. 290-304

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.