doc.ic.ac.uk | Lobsters

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