Zhenjiang Hu, Mario Rodríguez-Artalejo
Proceedings of the Sixth International Symposium on Functional and Logic Programming
FLOPS, 2002.

@proceedings{FLOPS-2002,
	address       = "Aizu, Japan",
	editor        = "Zhenjiang Hu and Mario Rodríguez-Artalejo",
	isbn          = "3-540-44233-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Symposium on Functional and Logic Programming}",
	volume        = 2441,
	year          = 2002,
}

Contents (18 items)

3 ×#functional
3 ×#logic programming
2 ×#calculus
2 ×#constraints
2 ×#on the
2 ×#source code
2 ×#λ-calculus

FLOPS-2002-Futatsugi #formal method

Formal Methods in CafeOBJ (KF), pp. 1–20.

FLOPS-2002-SimeonW #xml

The Essence of XML (JS, PW), pp. 21–46.

FLOPS-2002-BandaDMS #tutorial

To the Gates of HAL: A HAL Tutorial (MJGdlB, BD, KM, PJS), pp. 47–66.

FLOPS-2002-AntoyH #design pattern #functional #logic

Functional Logic Design Patterns (SA, MH), pp. 67–87.

FLOPS-2002-Meer #algebra #consistency #constraints #on the #source code

On Consistency and Width Notions for Constraint Programs with Algebraic Constraints (KM), pp. 88–102.

FLOPS-2002-Garcia-DiazN #constraints #quantifier

Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms (MGD, SN), pp. 103–118.

FLOPS-2002-Iranzo #correctness #on the

On the Correctness of the Factoring Transformation (PJI), pp. 119–133.

FLOPS-2002-DanvyS #polynomial #λ-calculus

λ-Lifting in Quadratic Time (OD, UPS), pp. 134–151.

FLOPS-2002-LoyerS #logic programming #nondeterminism #semantics #source code

The Well-Founded Semantics in Normal Logic Programs with Uncertainty (YL, US), pp. 152–166.

FLOPS-2002-Hasegawa #continuation #linear #monad #λ-calculus

Linearly Used Effects: Monadic and CPS Transformations into the Linear λ Calculus (MH), pp. 167–182.

FLOPS-2002-BarbosaO #calculus #induction #process

Coinductive Interpreters for Process Calculi (LSB, JNO), pp. 183–197.

FLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting

Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.

FLOPS-2002-Lopez-FraguasS #functional #logic programming

Narrowing Failure in Functional Logic Programming (FJLF, JSH), pp. 212–227.

FLOPS-2002-PetterssonSJ #compilation #erlang #evaluation #performance

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.

FLOPS-2002-CaballeroL

Dynamic-Cut with Definitional Trees (RC, FJLF), pp. 245–258.

FLOPS-2002-Smaus #polymorphism #recursion

The Head Condition and Polymorphic Recursion (JGS), pp. 259–274.

FLOPS-2002-Porto #abstraction #logic programming

Structural Abstraction and Application in Logic Programming (AP), pp. 275–289.

FLOPS-2002-SumiiB #calculus #functional #named

VMλ: A Functional Calculus for Scientific Discovery (ES, HB), pp. 290–304.