My Wish Lists Login / Join

Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers - Julio Marino

Instant online reading.
Don't wait for delivery!
Go digital and save!

Functional and Constraint Logic Programming

19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

By: Julio Marino (Editor)

Write A Review

Paperback | 10 May 2011

At a Glance

Paperback
188 Pages

Dimensions(cm)
23.39 x 15.6 x 1.02

Paperback

$143.99

or 4 interest-free payments of $36.00 with

Ships in 10 to 15 business days

This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop's guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Functional Programming Artificial Intelligence Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Databases

Data Capture & Analysis Compilers & Interpreters Mathematical Theory of Computation Maths for Computer Scientists Algebra

Invited Paper
Types for Role-Based Access Control of Dynamic Web Data	p. 1
Contributed Papers
Transforming Functional Logic Programs into Monadic Functional Programs	p. 30
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL	p. 48
An Access Control Language Based on Term Rewriting and Description Logic	p. 66
Lazy and Enforceable Assertions for Functional Logic Programs	p. 84
Parameterized Models for On-Line and Off-Line Use	p. 101
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry	p. 119
Efficient and Compositional Higher-Order Streams	p. 137
Bridging the Gap between Two Concurrent Constraint Languages	p. 155
Author Index	p. 175
Table of Contents provided by Ingram. All Rights Reserved.

Functional and Constraint Logic Programming

19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

The Year in Tech, 2027

The Insights You Need from Harvard Business Review

HBR's 10 Must Reads 2027

The Definitive Management Ideas of the Year from Harvard Business Review (featuring 'The Hidden Beliefs That Hold Leaders Back' by Muriel M. Wilkins)

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

Claude For Dummies

Nexus

A Brief History of Information Networks from the Stone Age to AI

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Empire of AI

Inside the reckless race for total domination

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Co-Existence

The Next Phase of AI

The New Rules of AI Search

SEO for visibility in ChatGPT, Google Gemini and Generative Search

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Co-Intelligence

Living and Working with AI

The God Test

Medium Hot

Images in the Age of Heat

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Large Language Models for Linguists

Building Culturally Sensitive AI

Optimizing Decision-Making in Engineering

A Journey Mapping Perspective

China's Normative Power in Cyberspace

The Contested Making of Global Digital Governance

Data-Driven IoT Ecosystems

Integrating Device, Edge, and Cloud Paradigms

Privacy in the Age of Social Media

Beyond the Like

Robust Safety-Critical Control

Theory, Application and Experiments

Thermal Imaging and Computational Intelligence Techniques in Disease Detection

Guardrails

How to embrace AI in your business without damaging your brand

Computational Approaches to Emotion in Artificial Psychology

This product is categorised by