Proceedings of the Sixth International Symposium on Functional and Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.