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

Python Crash Course

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

Observability Engineering

Achieving Production Excellence

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

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

Code

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

The C Programming Language

Prentice Hall Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

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

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

Learning Go

An Idiomatic Approach to Real-World Go Programming

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Fundamentals of Python

3rd Edition - First Programs

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

Legend of Zelda(TM): Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Making Things Happen : Theory in Practice

Mastering Project Management

This product is categorised by