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 7 to 10 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

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 Programming & Scripting Languages

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Python Crash Course

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

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The C Programming Language

Prentice Hall Software

Python Workout, Second Edition

200 ten-minute exercises

Code

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

Python All-in-One For Dummies

3rd Edition

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Practical Guide

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Python for Excel

A Modern Environment for Automation and Data Analysis

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Python Automation For Dummies

For Dummies (Computer/Tech)

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Learning Go

An Idiomatic Approach to Real-World Go Programming

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

Typescript Cookbook

Real World Type-Level Programming

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Learning Python

Powerful Object-Oriented Programming

C++ How to Program, Global Edition

10th Edition

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

This product is categorised by