Functional and logic programming. 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11--13, 1999. Proceedings
type: Item
instance of: scholarly article
title: Functional and logic programming. 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11--13, 1999. Proceedings
zbMATH Open document ID: 0929.00068
DOI: 10.1007/10705424
published in: Lecture Notes in Computer Science
publication date: 2000-01-10T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{González-Moreno, J. C.; Hortalá-González, M. T.; Rodríguez-Artalejo, M.}, Semantics and types in functional logic programming, 1-20 [Zbl 0988.68037] \textit{Hinze, Ralf}, Polytypic programming with ease (Extended abstract), 21-36 [Zbl 0988.68530] \textit{Camarão, Carlos; Figueiredo, Lucília}, Type inference for overloading without restrictions, declarations or annotations, 37-52 [Zbl 0988.68532] \textit{Barthe, Gilles; Serpette, Bernard P.}, Partial evaluation and non-interference for object calculi, 53-67 [Zbl 0988.68049] \textit{Chakravarty, Manuel M. T.}, Lazy lexing is fast, 68-84 [Zbl 0988.68529] \textit{Caballero, Rafael; López-Fraguas, Francisco J.}, A functional-logic perspective of parsing, 85-99 [Zbl 0988.68524] \textit{Lux, Wolfgang}, Implementing encapsulated search for a lazy functional logic language, 100-113 [Zbl 0988.68528] \textit{Kühnemann, Armin}, Comparison of deforestation techniques for functional programs and for tree transducers, 114-130 [Zbl 0988.68533] \textit{Ogawa, Mizuhito}, Automatic verification based on abstract interpretation, 131-146 [Zbl 0988.68540] \textit{Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán}, A transformation system for lazy functional logic programs, 147-162 [Zbl 0988.68507] \textit{Verbaeten, Sofie; De Schreye, Danny}, Termination analysis of tabled logic programs using mode and type information, 163-178 [Zbl 0988.68038] \textit{Ohlebusch, Enno}, On quasi-reductive and quasi-simplifying deterministic conditional rewrite systems, 179-193 [Zbl 0988.68093] \textit{Fernández, Antonio J.; Hill, Patricia M.}, An interval lattice-based constraint solving framework for lattices, 194-208 [Zbl 0988.68034] \textit{de Moor, Oege; Sittampalam, Ganesh}, Higher order matching for program transformation, 209-224 [Zbl 0988.68541] \textit{Bakewell, Adam; Runciman, Colin}, Automated generalisation of function definitions, 225…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1386151
zbMATH Keywords: Tsukuba (Japan)
zbMATH Keywords: Symposium
zbMATH Keywords: Proceedings
zbMATH Keywords: FLOPS '99
zbMATH Keywords: Functional programming
zbMATH Keywords: Logic programming
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/10705424
OpenAlex ID: W2496263228
description: scientific article; zbMATH DE number 1386151