Observational Program Calculi and the ...

Type de document :
Article dans une revue scientifique: Article original
DOI :
10.1016/j.tcs.2015.02.027
Titre :
Observational Program Calculi and the Correctness of Translations
Auteur(s) :
Schmidt-Schauss, Manfred [Auteur]
Goethe-Universität Frankfurt am Main
Sabel, David [Auteur]
Goethe-Universität Frankfurt am Main
Niehren, Joachim [Auteur] refId
Linking Dynamic Data [LINKS]
Schwinghammer, Jan [Auteur]
Programming Systems Lab [Saarland]
Titre de la revue :
Theoretical Computer Science
Pagination :
98–124
Éditeur :
Elsevier
Date de publication :
2015-04-27
ISSN :
0304-3975
Discipline(s) HAL :
Informatique [cs]/Langage de programmation [cs.PL]
Résumé en anglais : [en]
For the issue of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools ...
Lire la suite >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
  • http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-52.pdf
  • Accès libre
  • Accéder au document
Thumbnail
Thumbnail
  • http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-52.pdf
  • Accès libre
  • Accéder au document
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail