Practical Aspects of Declarative Languages Image close
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
Show Hide Adult Content
Practical Aspects of Declarative Languages close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Practical Aspects of Declarative Languages

14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$152.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.00 with Afterpay Learn more

6 weekly interest-free payments of $25.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Product-Focused Software Process Improvement
$157.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems
$151.00
Formal Methods for Open Object-Based Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$152.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Practice of Model Transformations
$151.00
Theory and Practice of Model Transformations
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$155.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Embedded Systems Design
$300.00
Embedded Systems Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$153.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software. Theories, Tools, and Experiments
$153.00
Verified Software. Theories, Tools, and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$154.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$152.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$153.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$153.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing - ICSOC 2008 Workshops
$156.00
Service-Oriented Computing - ICSOC 2008 Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Engineering Languages and Systems
$308.00
Model Driven Engineering Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: Research and Applications
$153.00
Rules on the Web: Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$309.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. The 38 revised technical papers presented together with 3 application papers were carefully reviewed and selected from 52 submissions. The volume features original work emphasizing new ideas and approaches pertaining to applications and implementation techniques of declarative languages and addresses topics such as innovative applications of declarative languages, declarative domain-specific languages and applications, practical applications of theoretical results, new language developments and their impact on applications, evaluation of implementation techniques on practical applications, novel implementation techniques relevant to applications, novel uses of declarative languages in the classroom, and practical experiences.
Release date NZ
December 29th, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Claudio Russo
  • Edited by Neng-Fa Zhou
Illustrations
3 Illustrations, color; 75 Illustrations, black and white; X, 304 p. 78 illus., 3 illus. in color.
Pages
304
Dimensions
155x235x20
ISBN-13
9783642276934
Product ID
19589185

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence