English List of important publications in theoretical computer science Cited by user DavidGries on 03 Nov 2022 This is a list of important publications in theoretical computer science, organized by field.
English Guarded Command Language Cited by user DavidGries on 13 Sep 2022 The Guarded Command Language (GCL) is a programming language defined by Edsger Dijkstra for predicate transformer semantics in EWD472.
English David Gries Cited by user Pgries on 15 Jul 2022 David Gries (born April 26, 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States mainly known for his books The…
English Compiler Cited by user Citation bot on 17 Oct 2020 In computing, a compiler is a computer program that translates computer code written in one programming language (the source language) into another language (the target…