×

zbMATH — the first resource for mathematics

Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24–26, 2006. Proceedings. (English) Zbl 1103.68004
Lecture Notes in Computer Science 3945. Berlin: Springer (ISBN 3-540-33438-6/pbk). x, 295 p. (2006).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.The preceding symposium has been reviewed (see Zbl 1048.68005).
Indexed articles:
Hinze, Ralf; Löh, Andres; Oliveira, Bruno C.d. S., “Scrap your boilerplate” reloaded, 13-29 [Zbl 1185.68196]
Dijkstra, Atze; Swierstra, S. Doaitse, Ruler: Programming type rules, 30-46 [Zbl 1185.68191]
Sulzmann, Martin; Wazny, Jeremy; Stuckey, Peter J., A framework for extended algebraic data types, 47-64 [Zbl 1185.68202]
Discolo, Anthony; Harris, Tim; Marlow, Simon; Jones, Simon Peyton; Singh, Satnam, Lock free data structures using STM in Haskell, 65-80 [Zbl 1185.68192]
Tozawa, Akihiko, XML type checking using high-level tree transducer, 81-96 [Zbl 1185.68203]
Grégoire, Benjamin; Théry, Laurent; Werner, Benjamin, A computational approach to Pocklington certificates in type theory, 97-113 [Zbl 1185.68621]
Barthe, Gilles; Forest, Julien; Pichardie, David; Rusu, Vlad, Defining and reasoning about recursive functions: A practical tool for the Coq proof assistant, 114-129 [Zbl 1185.68616]
Casas, Amadeo; Cabeza, Daniel; Hermenegildo, Manuel V., A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems, 146-162 [Zbl 1185.68151]
Marion, Jean-Yves; Péchoux, Romain, Resource analysis by sup-interpretation, 163-176 [Zbl 1185.68226]
Li, Xuan; King, Andy; Lu, Lunjin, Lazy set-sharing analysis, 177-191 [Zbl 1185.68225]
Avery, James, Size-change termination and bound analysis, 192-207 [Zbl 1185.68220]
Hinze, Ralf; Jeuring, Johan; Löh, Andres, Typed contracts for functional programming, 208-225 [Zbl 1185.68195]
Findler, Robert Bruce; Blume, Matthias, Contracts as pairs of projections, 226-241 [Zbl 1185.68193]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N17 Logic programming
68N18 Functional programming and lambda calculus
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
Coq
PDF BibTeX XML Cite
Full Text: DOI