Jacques Garrigue, Manuel V. Hermenegildo
Proceedings of the Ninth International Symposium on Functional and Logic Programming
FLOPS, 2008.

@proceedings{FLOPS-2008,
	address       = "Ise, Japan",
	editor        = "Jacques Garrigue and Manuel V. Hermenegildo",
	isbn          = "978-3-540-78968-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Symposium on Functional and Logic Programming}",
	volume        = 4989,
	year          = 2008,
}

Contents (23 items)

3 ×#constraints
3 ×#declarative
3 ×#type system
2 ×#analysis
2 ×#continuation
2 ×#logic programming
2 ×#proving
2 ×#reasoning
2 ×#semantics
2 ×#set

FLOPS-2008-Schaub #information management #modelling #programming #reasoning #representation #set

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (TS), pp. 1–2.

FLOPS-2008-AbelCD #algebra #on the #proving #type system

On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (AA, TC, PD), pp. 3–13.

FLOPS-2008-Kobayashi #program analysis #type system

Substructural Type Systems for Program Analysis (NK), p. 14.

FLOPS-2008-MellarkodG #constraints #reasoning #set #theorem proving

Integrating Answer Set Reasoning with Constraint Solving Techniques (VSM, MG), pp. 15–31.

FLOPS-2008-KoninckSD #compilation #optimisation

Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.

FLOPS-2008-Julien #induction #integer #using

Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (NJ), pp. 48–63.

FLOPS-2008-KiselyovBFS #declarative

Pure, Declarative, and Constructive Arithmetic Relations (OK, WEB, DPF, CcS), pp. 64–80.

FLOPS-2008-UnnoK #dependent type #on-demand #refinement

On-Demand Refinement of Dependent Types (HU, NK), pp. 81–96.

FLOPS-2008-PrinceGM #proving #using

Proving Properties about Lists Using Containers (RP, NG, CM), pp. 97–112.

FLOPS-2008-Vidal #linear #termination

Termination of Narrowing in Left-Linear Constructor Systems (GV), pp. 113–129.

FLOPS-2008-AvanziniM #analysis #complexity

Complexity Analysis by Rewriting (MA, GM), pp. 130–146.

FLOPS-2008-Lopez-FraguasRS

Rewriting and Call-Time Choice: The HO Case (FJLF, JRH, JSH), pp. 147–162.

FLOPS-2008-Voigtlander #semantics

Semantics and Pragmatics of New Shortcut Fusion Rules (JV), pp. 163–179.

FLOPS-2008-AlvezL #semantics

A Generalization of the Folding Rule for the Clark-Kunen Semantics (JÁ, PL), pp. 180–194.

FLOPS-2008-Tatsuta #normalisation

Types for Hereditary Head Normalizing Terms (MT), pp. 195–209.

FLOPS-2008-Kobayashi08a #backtracking #continuation

A New Translation for Semi-classical Theories — Backtracking without CPS (SK), pp. 210–223.

FLOPS-2008-Benton #dynamic typing #type system

Undoing Dynamic Typing (NB), pp. 224–238.

FLOPS-2008-KameyamaY #continuation

Typed Dynamic Control Operators for Delimited Continuations (YK, TY), pp. 239–254.

FLOPS-2008-Yokouchi #algorithm #analysis #difference #lazy evaluation #strict

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types (HY), pp. 255–271.

FLOPS-2008-Rodriguez-ArtalejoR #logic programming #revisited

Quantitative Logic Programming Revisited (MRA, CARD), pp. 272–288.

FLOPS-2008-NievaSS #constraints #database #deduction #formal method

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.

FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.

FLOPS-2008-ChristiansenF #for free #named #testing

EasyCheck — Test Data for Free (JC, SF), pp. 322–336.