HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Defining the Undefinedness of C (2015) [pdf]
fsl.cs.illinois.edu
88 comments
9 years ago
gbrown_
124 points
2.
▲
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
fsl.cs.illinois.edu
27 comments
7 years ago
matt_d
119 points
3.
▲
The next 700 programming languages (1966) [pdf]
fsl.cs.illinois.edu
15 comments
8 years ago
godelmachine
68 points
4.
▲
KJS: Formal JavaScript Semantics and Interpreter [pdf]
fsl.cs.illinois.edu
discuss
6 months ago
todsacerdoti
2 points
5.
▲
A Formal Semantics of C with Applications (2010) [pdf]
fsl.cs.illinois.edu
discuss
11 years ago
madflame991
1 points