Abstraction and specification in program development (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Abstraction and specification in program developmenthttps://catalogue-scientifique.canada.ca/record=1321184~S6*frcRechercher Liskov, B; Rechercher Guttag, John; Rechercher Liskov, BarbaraMIT Press, 1986, ISBN : 9780262121125Livre
Preliminary report on the Larch Shared Language (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Preliminary report on the Larch Shared Languagehttps://catalogue-scientifique.canada.ca/record=1274276~S6*frcRechercher Guttag, John V; Rechercher Horning, J. J; Rechercher Guttag, J. VMassachusetts Institute of Technology, Laboratory for Computer Science, 1983Livre
Derived pairs, overlap closures, and rewrite dominoes : new tools for analyzing term rewriting systems (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Derived pairs, overlap closures, and rewrite dominoes : new tools for analyzing term rewriting systemshttps://catalogue-scientifique.canada.ca/record=1274217~S6*frcRechercher Guttag, John V; Rechercher Kapur, Deepak; Rechercher Musser, David R; Rechercher Guttag, J. VMassachusetts Institute of Technology, Laboratory for Computer Science, 1981Livre