Yukiyoshi Kameyama, Peter J. Stuckey
Proceedings of the Seventh International Symposium on Functional and Logic Programming
FLOPS, 2004.

@proceedings{FLOPS-2004,
	address       = "Nara, Japan",
	editor        = "Yukiyoshi Kameyama and Peter J. Stuckey",
	isbn          = "3-540-21402-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Symposium on Functional and Logic Programming}",
	volume        = 2998,
	year          = 2004,
}

Contents (21 items)

3 ×#analysis
2 ×#calculus
2 ×#functional
2 ×#logic
2 ×#named
2 ×#normalisation
2 ×#source code

FLOPS-2004-Selinger #overview #programming language #quantum

A Brief Survey of Quantum Programming Languages (PS), pp. 1–6.

FLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.

FLOPS-2004-Schurmann #framework #functional #logic #programming

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.

FLOPS-2004-PemmasaniGDRR #logic programming #online #source code

Online Justification for Tabled Logic Programs (GP, HFG, YD, CRR, IVR), pp. 24–38.

FLOPS-2004-Munoz-HernandezMM

Constructive Intensional Negation (SMH, JM, JJMN), pp. 39–54.

FLOPS-2004-IranzoL

Analysing Definitional Trees: Looking for Determinism (PJI, CVL), pp. 55–69.

FLOPS-2004-CaballeroR #debugging #declarative #functional #named

DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.

FLOPS-2004-CraigL #effectiveness #named #prolog #self

LIX: an Effective Self-applicable Partial Evaluator for Prolog (SJC, ML), pp. 85–99.

FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard

Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.

FLOPS-2004-BuenoB

Set-Sharing Is Not Always Redundant for Pair-Sharing (FB, MJGdlB), pp. 117–131.

FLOPS-2004-LuK #analysis

Backward Pair Sharing Analysis (LL, AK), pp. 132–146.

FLOPS-2004-Escobar #implementation

Implementing Natural Rewriting and Narrowing Efficiently (SE), pp. 147–162.

FLOPS-2004-Ogawa #algebra #axiom #graph

Complete Axiomatization of an Algebraic Construction of Graphs (MO), pp. 163–179.

FLOPS-2004-Oostrom

Sub-Birkhoff (VvO), pp. 180–195.

FLOPS-2004-Garrigue #strict

Relaxing the Value Restriction (JG), pp. 196–213.

FLOPS-2004-Hirschowitz #mixin

Rigid Mixin Modules (TH), pp. 214–228.

FLOPS-2004-Hasegawa #call-by #continuation #linear #semantics

Semantics of Linear Continuation-Passing in Call-by-Name (MH), pp. 229–243.

FLOPS-2004-Kikuchi #calculus #normalisation #proving

A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus (KK), pp. 244–259.

FLOPS-2004-AltenkirchU #evaluation #normalisation

Normalization by Evaluation for λ→2 (TA, TU), pp. 260–275.

FLOPS-2004-Kahl #calculus #pattern matching

Basic Pattern Matching Calculi: a Fresh View on Matching Failure (WK), pp. 276–290.

FLOPS-2004-GluckK #lr #parsing #source code

Derivation of Deterministic Inverse Programs Based on LR Parsing (RG, MK), pp. 291–306.