My Wish Lists Login / Join

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 $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 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

MacBook Neo For Dummies

The Explosive Child: Sixth Edition

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python & AI For Dummies

Software Engineering Methods

A Design Thinking Based Approach

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

ZX-Calculus for Quantum Circuits

A Diagrammatic Approach to Quantum Circuit Analysis and Optimization

Python Crash Course

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

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Python All-in-One For Dummies

3rd Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

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

Design Patterns

Elements of Reusable Object-Oriented Software

Making Things Happen : Theory in Practice

Mastering Project Management

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Confident Web Design

How to Design and Create Websites and Futureproof Your Career

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Fundamentals of Python

3rd Edition - First Programs

Introducing Python 3e

Modern Computing in Simple Packages

This product is categorised by