"Computer programming." . . "Algorytmy." . . "résolution problème." . . "Programmierung." . . "Programowanie (informat.)" . . "informatica." . . "Programmiersprache." . . "Programación (Computadores electrónicos)" . . "programmation." . . "Programmation." . "Ordinateur programmation congrès." . . "Programes Lògica i semàntica." . . "programmeertalen." . . "sémantique langage programmation." . . "Llenguatges de programació." . . "exactitude programme." . . "Komputery programowanie." . . "Ordinateurs Programmation." . . "Programmation (Informatique)" . . "Programmation informatique." . "Computers." . . . . "Programmering." . . "programmeren (informatica)" . . "Elaboratori elettronici - Programmazione." . . "Langages de programmation Sémantique." . . "A Discipline of Programming" . . . . . . . . . . . . . . . . . . . . . . . . . . . "Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation." . . . . . "Disciplina programmirovaniâ" . . . "Disciplina programmirovanija" . . . . . . . . . . "Umiejętność programowania"@pl . . . . . "A discipline of programming" . "A discipline of programming"@it . "A discipline of programming"@en . . . . . . . . . . . . . . . . . "A discipline of programmin" . . . . "Programación de ordenadores." . . "Programmeren (computers)" . . "Programación (Computadores electrónicos digitales)" . .