Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
6 results for "domain:inf.ethz.ch"
8
Nagini: A Static Verifier for Python
☶
pdf
formalmethods
python
pm.inf.ethz.ch
via
ceh
1 month ago
|
cached
|
2 comments
2
7
C2Eif: A C to Eiffel translator
compilers
se.inf.ethz.ch
via
sanxiyn
2 months ago
|
cached
|
1 comment
1
1
Loop invariant inference from postconditions in EVE (2013)
☶
pdf
formalmethods
programming
se.inf.ethz.ch
via
nickpsecurity
6 months ago
|
cached
|
no comments
0
19
Project Oberon: The Design of an Operating System, a Compiler, and a Computer
pdf
api
compilers
historical
programming
inf.ethz.ch
via
friendlysock
1 year ago
|
cached
|
4 comments
4
5
Analyzing Programming Languages using Rosetta Code
programming
se.inf.ethz.ch
via
fabriceleal
3 years ago
|
cached
|
1 comment
1
3
Good Ideas, Through the Looking Glass (Niklaus Wirth prog. lang. design retrospective)
pdf
design
programming
inf.ethz.ch
via
silentbicycle
4 years ago
|
cached
|
no comments
0