1
0
0
(1 - 14 von 17
)
Primitive type 'short' - casting in Java - Stack Overflow
stackoverflow.com
Otherwise the operation is performed on operands of type int, if necessary shorter operands are converted into int. The conversion rules are exactly specified. [From Electronic Notes in Theoretical Computer Science 82 No. 2 (2003) Blesner-Blech-COCV 2003: Sabine GLESNER, Jan Olaf BLECH, Fakultät ...
Vorlesung "Höhere Programmiersprachen"
www.info.uni-karlsruhe.de
Vorlesung: Höhere Programmiersprachen WS Dr. Sabine Glesner Übung: Jan Olaf Blech Termine: Vorlesung: jeweils Montag, 14:00-15:30, HS (Info)
Embedded Systems -- Modeling, Technology, and Applications:...
books.google.de
Lecture Notes in Informatics (LNI). [BGG05] Jan Olaf Blech, Lars Gesellensetter, and Sabine Glesner. Formal Verification of Dead Code Elimination in Isabelle/HOL. In Proc. 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, September IEEE Computer Society Press.
www.jblech.de
www.jblech.de
@conference{GlBl:2005, author={Sabine Glesner and Jan Olaf Blech}, title={Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender
Coinductive Verification of Program Optimizations Using ...
www.sciencedirect.com
von S Glesner · · Zitiert von: 6 — Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner. Formal Verification of Dead Code Elimination in Isabelle/HOL. Proc.3rd IEEE Int'l Conf. on Software ... › pii
ATPS Programm
www.informatik.uni-kiel.de
Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. 14:30, Implementierung, Jan Olaf Blech and Sabine Glesner (Karlsruhe) › ~atps04
Wikipedia: Удаление мёртвого кода — Википедия
В теории компиляторов удалением мёртвого кода (англ. dead code elimination, DCE) Перейти к: Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner.
FESCA Workshops: FESCA 2013
fesca.ipd.kit.edu
Mar 12, 2013: FESCA' Helena Gruhn and Sabine Glesner. Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Jan Olaf Blech.
Lecture Notes in Informatics
subs.emis.de
Jan Olaf Blech and Sabine Glesner. Abstract. Optimizations in compilers are the most error-prone phases in the compilation process.
Coinductive Verification of Program Optimizations Using ...cyberleninka.org › article
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Sabine Glesner, Johannes Leitner, Jan Olaf Blech. Abstract ...
Optimizing Code Generation from SSA Form: A Comparison Between Two...
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen ...
Lecture Notes in Informatics - EMIS
subs.emis.de
— Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler. Sabine Glesner and Jan Olaf Blech ... › LNI › Proceedings64 › article3639
Publications | Jan Olaf Blech
jblech.net
[GB06] Sabine Glesner and Jan Olaf Blech. Coalgebraic semantics for component systems. Springer Verlag, May Architecting Systems with Trustworthy ...
Alle Infos zum Namen "Sabine Glesner"
Verwandte Suchanfragen zu Sabine Glesner
| Holger Giese Thomas Göthel Paula Herber | Christine Hundt Jürgen Ebert Manfred Broy | Sebastian Schlesinger Manfred Nagl Elke Salecker |
Personen Vorname "Sabine" (69754) Name "Glesner" (16) |
sortiert nach Relevanz / Datum