Added an extended abstract for the verification of pipelining
in the ARM microprocessor.
Fixed some miscellaneous missing/broken/outdated references.
18 September 1997
Added a paper describing a structural operational
and an axiomatic semantics
for ASMs.
Added a paper describing an algorithm for finding the
weak head normal form (WHNF)
of an arbitrary term in the lambda-calculus.
Added a paper describing the
tableau calculus for first-order predicate logic, using ASMs.
A couple of recent papers "disappeared" from the site due to
disk problems on our FTP site; all should be fixed now. If you
still can't access something, please send e-mail to
huggins@acm.org. Thanks.
A presentation of the
salient features of ASMs,
as part of a discussion of the use of ASMs in the
design and analysis of hardware and software systems.
A specification and proof of correctness for the
Prolog Distributed
Processor (PDP), a WAM extension for parallel execution of
Prolog on distributed memory.
Made some major changes in appearance, notably the addition
of frames (as well as non-frame alternatives) and reworking some of
the navigational links. Again, if you find
something has broken in the process, please e-mail
huggins@acm.org. (Thanks.)
Made subtle HTML changes to most of the pages on this site
to make them more HTML-compliant (using weblint).
The changes should be invisible to most browsers; if you find
something has broken in the process, please e-mail
huggins@acm.org. (Thanks.)
Updated the reference to the paper on the correctness of the
static link technique
(used in stack-based implementations of imperative programming
languages).
Corrected a minor typographical error in the
railroad crossing paper.
6 February 1997
Added a full paper giving the
linear time hierarchy theorems
for abstract state machines and RAMs. (The previous paper
on this site was an extended abstract.)
18 January 1997
A draft version of the
1997 ASM Guide is being produced; draft sections
(subject to revision!) will be posted on the referenced page
as they become available. Please send your comments on the
new ASM Guide to
Yuri Gurevich.
Added a paper on a general implementation scheme for
CLP(X), based on the
WAM and
PAM papers.
Removed an older version of the papers on
Protos-L (PAM) (current versions
of the papers are of course still available).