My Wish Lists Login / Join

Practical Aspects of Declarative Languages : 9th International Symposium, Padl 2007, Nice, France, January 14-15, 2007, Proceedings - Michael Hanus

Instant online reading.
Don't wait for delivery!

Practical Aspects of Declarative Languages

9th International Symposium, Padl 2007, Nice, France, January 14-15, 2007, Proceedings

By: Michael Hanus (Editor)

Write A Review

Paperback | 22 December 2006

At a Glance

Paperback
352 Pages

Dimensions(cm)
23.5 x 17.15 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed.

Shipping

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

Orders over $79.00 qualify for free shipping.

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 Programming & Software Development Programming & Scripting Languages Software Engineering Computer Science Computer Architecture & Logic Design Compilers & Interpreters

QuickCheck testing for fun and profit	p. 1
A constraint programming approach to bio informatics structural problems	p. 33
Rewriting Haskell strings	p. 50
Instantly turning a naive exhaustive search into three efficient searches with pruning	p. 65
Algebraic knowledge discovery using haskell	p. 80
Applications, implementation and performance evaluation of bit stream programming in Erlang	p. 94
Automatic incrementalization of prolog based static analyses	p. 109
Verification of Java bytecode using analysis and transformation of logic programs	p. 124
Combining static analysis and profiling for estimating execution times	p. 140
On improving the efficiency and robustness of table storage mechanisms for tabled evaluation	p. 155
Compiling constraint handling rules for efficient tabled evaluation	p. 170
Prolog performance on larger datasets	p. 185
BAD, a declarative logic-based language for brain modeling	p. 200
From zinc to design model	p. 215
Inductive logic programming by instance patterns	p. 230
ARMC : the logical choice for software model checking with abstraction refinement	p. 245
The joins concurrency library	p. 260
HPorter : using arrows to compose parallel processes	p. 275
Coupled schema transformation and data conversion for XML and SQL	p. 290
Aspect-oriented programming in higher-order and linear logic	p. 305
Partial evaluation of pointcuts	p. 320
Table of Contents provided by Blackwell. All Rights Reserved.

Practical Aspects of Declarative Languages

9th International Symposium, Padl 2007, Nice, France, January 14-15, 2007, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Wearables in Industrial Hygiene

Improving Safety through Real-Time Health Monitoring

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Survival Guide to User-Focused Product Development

Methods Against Madness

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Search-Based Software Engineering

18th International Symposium, SSBSE 2026, Montreal, QC, Canada, July 5-6, 2026, Proceedings

The Essence of Software Engineering

Hacking For Dummies, 8th Edition

For Dummies (Computer/Tech)

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Refactoring 2ed

Improving the Design of Existing Code

Git : Pocket Guide

A Working Introduction

Arduino for Dummies

Blackwell Philosophy Anthologies

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Coding All-in-One For Dummies

2nd Edition

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Typescript Cookbook

Real World Type-Level Programming

C# 12 in a Nutshell

The Definitive Reference

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

This product is categorised by