Search Sciweavers | Sciweavers

26 search results - page 1 / 6

» acl2 2006

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

14 years 4 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

click to vote

ACL2
2006
ACM

239views Computational Linguistics» more ACL2 2006»

The ideal of verified software

14 years 2 months ago

Download www.ccs.neu.edu

Tony Hoare

claim paper

Read More »

click to vote

ACL2
2006
ACM

269views Computational Linguistics» more ACL2 2006»

ACL2 in DrScheme

14 years 4 months ago

Download www.ccs.neu.edu

Dale Vaillancourt, Rex L. Page, Matthias Felleisen

claim paper

Read More »

click to vote

ACL2
2006
ACM

217views Computational Linguistics» more ACL2 2006»

Memories: array-like records for ACL2

14 years 4 months ago

Download userweb.cs.utexas.edu

We have written a new records library for modelling ﬁxedsize arrays and linear memories. Our implementation provides ﬁxnum-optimized O(log2 n) reads and writes from ad

Jared Davis

claim paper

Read More »

click to vote

TPHOL
2006
IEEE

131views Automated Reasoning» more TPHOL 2006»

ACL2

14 years 4 months ago

Download www.cs.uwyo.edu

This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modiﬁcations to ACL2 that include the irr...

Ruben Gamboa

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers