par Galand, Suzanne ;Loncour, G.
Référence Information processing letters, 3, 4, page (97-103)
Publication Publié, 1975
Article révisé par les pairs
Titre:
  • Structured implementation of symbolic execution: A first part in a program verifier
Auteur:Galand, Suzanne; Loncour, G.
Informations sur la publication:Information processing letters, 3, 4, page (97-103)
Statut de publication:Publié, 1975
Sujet CREF:Informatique appliquée logiciel
Informatique générale
Informatique mathématique
Mots-clés:constructive predicate transformers
program verification
static semantics
structured SIMULA programming
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0020-0190
info:doi/10.1016/0020-0190(75)90041-1
info:pii/0020-0190(75)90041-1
info:scp/0016485020