par Galand, Suzanne Cliquez pour télécharger la liste de publications de l'auteur; Loncour
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
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 : 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