This volume contains the papers presented at APLAS 2010, the eighth Asian Symposium on Programming Languages and Systems, held from November 28 to December 1, 2010, in Shanghai, China. The symposium was sponsored by the Asian Association for Foundation of Software (AAFS) and Shanghai Jiao Tong University.
Icon is a high-level, general-purpose programming language that offers a broad range of string- and list-processing facilities. It also has a novel expression evaluation mechanism and allows an unusual degree of run-time flexibility. Because of these features, implementing Icon presents problems considerably different from those involved with...
LaTeX is a high-quality open source typesetting software that produces professional prints and PDF files. However, as LaTeX is a powerful and complex tool, getting started can be intimidating. There is no official support and certain aspects such as layout modifications can seem rather complicated. It may seem more straightforward to use Word...
With the availability of chips offering constantly increasing computational performance and
functionality, design of more and more complex applications becomes possible. This is particularly
true for the domain of image processing, which is characterized by huge computation
efforts. Unfortunately, this evolution risks to be stopped by...
This book focuses on key theoretical topics of computing, in particular formal
languages and abstract machines. It is intended primarily to support the theoretical
modules on a computer science or computing-related undergraduate degree
scheme.
Though the book is primarily theoretical in nature, it attempts to avoid the...
An important aspect of teaching a course in compiler writing is to illustrate
the key theoretical concepts normally taught in such a course. A frequently used
strategy for achieving this goal is to have a student design a simple programming
language and implement a compiler for this language. Many texts in compiler
writing do not,...
This book began when I was assigned to help salvage an undergraduate computer
organization course. The course had suffered years of neglect: it had been taught by a
series of professors, mostly visitors, who had little or no interest or background in digital
hardware, and the curriculum had deteriorated to a potpourri of topics that...
Ten years ago the authors undertook to produce a book covering the known material on
formal languages, automata theory, and computational complexity. In retrospect, only a
few significant results were overlooked in the 237 pages. In writing a new book on the
subject, we find the field has expanded in so many new directions that a...
Over the course of the past twenty years I have learned many things relevant to
this book while working in high-energy physics. As everyone in this field in the
yearly to mid-90s, I was analyzing experimental data collected by particle colliders
using the FORTRAN programming language. Then, gradually, I moved to C++
coding following...
The purpose of this book is to provide a practical approach to managing security in
FPGA designs for researchers and practitioners in the electronic design automation
(EDA) and FPGA communities, including corporations, industrial and government
research labs, and academics. This book combines theoretical underpinnings with
a practical...
Dennis Ritchie at AT&T Bell Laboratories pioneered the C programming language in
the early 1970s. However, this programming language did not begin to gain widespread
popularity and support until the late 1970s.This was because, until that time, C compilers
were not readily available for commercial use outside of Bell Laboratories....
LR parsing has become a widely used method of syntax analysis; this
is largely due to the availability of parser generators and compiler-
compilers based on LR techniques. However, the readily available ac
counts of the theory of these techniques are either superficial or are
weighed down with tedious mathematical detail of a merely...