• Citer

Structured implementation of symbolic execution: A first part in a program verifier

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

• Accès en ligne
• Détails
• Statistiques

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