Zum Inhalt springen Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn] Mechanized semantics of simple imperative programming constructs Elektronische Ressourcen Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Universität Ulm, 2016-03-15T06:22:50Z Glesner, Sabine [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Zimmermann, Wolf [VerfasserIn] Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Aufsätze Online ansehen Schließen > Links https://publikationen.bibliothek.kit.edu/1000002608 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. De Gruyter, 2005-03-23 Erschienen in: it - Information Technology, 46 (5), 265-276 ; ISSN: 1611-2776 Goerigk, Wolfgang [VerfasserIn]; Gaul, Thilo [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Heberle, Andreas [VerfasserIn]; Zimmermann, Wolf [VerfasserIn] Compiler correctness and implementation verification: the verifix approach Aufsätze Online ansehen Schließen > Links https://publikationen.bibliothek.kit.edu/218896 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Ahmed, Umair Z.; Fan, Zhiyu; Yi, Jooyong; Al-Bataineh, Omar I.; Roychoudhury, Abhik Verifix: Verified Repair of Programming Assignments Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2022 Erschienen in: ACM Transactions on Software Engineering and Methodology
Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn] Mechanized semantics of simple imperative programming constructs Elektronische Ressourcen Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Universität Ulm, 2016-03-15T06:22:50Z
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Glesner, Sabine [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Zimmermann, Wolf [VerfasserIn] Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Aufsätze Online ansehen Schließen > Links https://publikationen.bibliothek.kit.edu/1000002608 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. De Gruyter, 2005-03-23 Erschienen in: it - Information Technology, 46 (5), 265-276 ; ISSN: 1611-2776
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Goerigk, Wolfgang [VerfasserIn]; Gaul, Thilo [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Heberle, Andreas [VerfasserIn]; Zimmermann, Wolf [VerfasserIn] Compiler correctness and implementation verification: the verifix approach Aufsätze Online ansehen Schließen > Links https://publikationen.bibliothek.kit.edu/218896 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ahmed, Umair Z.; Fan, Zhiyu; Yi, Jooyong; Al-Bataineh, Omar I.; Roychoudhury, Abhik Verifix: Verified Repair of Programming Assignments Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Association for Computing Machinery (ACM), 2022 Erschienen in: ACM Transactions on Software Engineering and Methodology
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (3) Wert ausschließen Elektronische Ressourcen (1) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (3) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Goos, Gerhard (2) Wert ausschließen Zimmermann, Wolf (2) Wert ausschließen Ahmed, Umair Z. (1) Wert ausschließen Al-Bataineh, Omar I. (1) Wert ausschließen Dold, Axel (1) Wert ausschließen Fan, Zhiyu (1) Wert ausschließen Gaul, Thilo (1) Wert ausschließen Glesner, Sabine (1) Wert ausschließen Goerigk, Wolfgang (1) Wert ausschließen Heberle, Andreas (1) Wert ausschließen Henke, Friedrich Wilhelm von (1) Wert ausschließen Pfeifer, Holger (1) Wert ausschließen Roychoudhury, Abhik (1) Wert ausschließen Rueß, Harald (1) Wert ausschließen Yi, Jooyong (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (3) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (1) Wert ausschließen zeige weitere weniger zeigen