vix.ing · top · new · best · stats · spec

John Backus

  1. Can programming be liberated from the von Neumann style?
    1978/08/01 by John Backus · 68 citations
    Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Formal Methods in Verification