Active
Recent
Comments
Search
Login
Login
doc.ic.ac.uk: 10 stories from 7 submitters
11
Verified Programming in Dafny
pdf
formalmethods
plt
doc.ic.ac.uk
via
nextos
4 months ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
RustSmith: Random Differential Compiler Testing for Rust
pdf
compilers
rust
testing
doc.ic.ac.uk
via
sanxiyn
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
8
High Coverage Testing of Haskell Programs
pdf
haskell
testing
doc.ic.ac.uk
via
sergeyb
5 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
3
JaVerT 2.0: Symbolic Execution for JavaScript
☶
pdf
formalmethods
doc.ic.ac.uk
via
indolering
6 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Orca: GC and Type System Co-Design for Actor Languages (2017)
☶
pdf
distributed
plt
programming
doc.ic.ac.uk
via
nickpsecurity
7 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Automated Testing of Graphics Shader Compilers (2017)
pdf
compilers
compsci
graphics
programming
testing
doc.ic.ac.uk
via
nickpsecurity
7 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
A Guide to Alloy (2007)
pdf
compsci
formalmethods
programming
doc.ic.ac.uk
via
nickpsecurity
7 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
11
KLEE - Unassisted, Automatic Generation of High-Coverage Tests for System Programs (2008)
pdf
compilers
compsci
programming
testing
doc.ic.ac.uk
via
nickpsecurity
8 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
10
History of logic programming
☶
pdf
compsci
programming
doc.ic.ac.uk
via
mjn
9 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
3
Reasoned Programming (paper)
pdf
programming
doc.ic.ac.uk
via
inactive-user
9 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1