Programming Languages and Systems

5th Asian Symposium, Aplas 2007, Singapore, November 28-December 1, 2007, Proceedings

By: Zhong Shao (Editor)

Write A Review

Paperback | 7 November 2007

At a Glance

Paperback
452 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

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 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on a broad range of topics.

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 $0.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 Operating Systems Mathematics Mathematical Foundation Mathematical Logic Computer Science Computer Architecture & Logic Design Compilers & Interpreters

Invited Talk 1
X10: Concurrent Programming for Modern Architectures (Abstract)	p. 1

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification	p. 2
Local Reasoning for Storable Locks and Threads	p. 19
Monadic, Prompt Lazy Assertions in Haskell	p. 38

Translation Correctness for First-Order Object-Oriented Pattern Matching	p. 54
Persistent Oberon: A Programming Language with Integrated Persistence	p. 71
More Typed Assembly Languages for Confidentiality	p. 86

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics	p. 105
On a Tighter Integration of Functional and Logic Programming	p. 122
Invited Talk 2
Scalable Simulation of Cellular Signaling Networks	p. 139

Timed, Distributed, Probabilistic, Typed Processes	p. 158
A Probabilistic Applied Pi-Calculus	p. 175
Type-Based Verification of Correspondence Assertions for Communication Protocols	p. 191

Deriving Compilers and Virtual Machines for a Multi-level Language	p. 206
Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages	p. 222
Polymorphic Delimited Continuations	p. 239

Adjunct Elimination in Context Logic for Trees	p. 255
Positive Arithmetic Without Exchange Is a Subclassical Logic	p. 271
Mixed Inductive/Coinductive Types and Strong Normalization	p. 286
Invited Talk 3
Static and Dynamic Analysis: Better Together (Abstract)	p. 302

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer	p. 303
An Efficient SSA-Based Algorithm for Complete Global Value Numbering	p. 319
A Systematic Approach to Probabilistic Pointer Analysis	p. 335

Complete Lattices and Up-To Techniques	p. 351
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract	p. 367
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence	p. 383

Call-by-Name and Call-by-Value in Normal Modal Logic	p. 399
Call-by-Value Is Dual to Call-by-Name, Extended	p. 415
Author Index	p. 431
Table of Contents provided by Ingram. All Rights Reserved.

Programming Languages and Systems

5th Asian Symposium, Aplas 2007, Singapore, November 28-December 1, 2007, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Spatial Data Science

With Applications in R

Python & AI For Dummies

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The Practical Guide

The Practical Guide

The C Programming Language

Prentice Hall Software

MacBook Neo For Dummies

Refactoring 2ed

Improving the Design of Existing Code

Videogame Architecture

Building Virtual Spaces

Coding For Kids For Dummies

For Kids for Dummies

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Computer Coding Python Games for Kids

DK Help Your Kids With

This product is categorised by