Search
 
   

6 results for "domain:inf.ethz.ch"

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