← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/2006/README

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/2006/README
 
1
##############################
 
2
 
 
3
# Supporting materials for books already distributed (confirmed by Jared):
 
4
 
 
5
Jared Davis.
 
6
Memories: Array-like Records for ACL2.
 
7
See: books/data-structures/memories/
 
8
 
 
9
Jared Davis.
 
10
Reasoning about ACL2 File Input.
 
11
See: books/unicode/
 
12
 
 
13
##############################
 
14
 
 
15
# Supporting materials that authors have said will be forthcoming:
 
16
 
 
17
Ruben Gamboa and John Cowles.
 
18
Implementing a Cost-Aware Evaluator for ACL2 Expressions.
 
19
 
 
20
##############################
 
21
 
 
22
# There are no supporting materials for the following contributions.
 
23
 
 
24
David Hardin, Eric Smith, and William Young.
 
25
A Robust Machine Code Proof Framework for Highly Secure Applications.
 
26
 
 
27
Erik Reeber and Jun Sawada.
 
28
Combining ACL2 and an Automated Verification Tool to Verify a Multiplier.
 
29
 
 
30
Robert S. Boyer and Warren A. Hunt, Jr.
 
31
Function Memoization and Unique Object Representation for ACL2 Functions.
 
32
 
 
33
Warren A. Hunt, Jr. and Serita M. Nelesen.
 
34
Phylogenetic Trees in ACL2.
 
35
 
 
36
Dale Vaillancourt, Rex Page, and Matthias Felleisen.
 
37
ACL2 in DrScheme.
 
38
 
 
39
##############################
 
40
 
 
41
# Note: rager/support/ uses parallelism constructs
 
42
 
 
43
##############################