- Sprache
-
Englisch
- Umfang
-
147 S.
- ISBN
-
978-3-8364-8142-7
- Identifier
-
988797925
Thema
Statische Analyse ; Computeralgebra ; Algorithmische Programmiersprache ; Kontrollflussdiagramm ; Korrektheit ; Benchmark
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:21 MESZ
Objekttyp
- Monografie
Beteiligte
- Burgstaller, Bernd
- Scholz, Bernhard
- Blieberger, Johann
Ähnliche Objekte (12)
Algebra, geometry, and software systems
Algorithmic algebra and number theory : selected papers of a conference, held at the University of Heidelberg in October 1997
Korrekte Transformationsphase : der Kern korrekter Übersetzer
A demand-driven solver for constraint-based control flow analysis
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Xiao qiang tu ya an
Artificial intelligence and symbolic computation : 8th international conference ; proceedings
Entwurf und Implementierung effizienter Objektsysteme für funktionale und imperative Programmiersprachen am Beispiel von Lisp
Sustainable futures for Switzerland, Europe and the world
Active credit portfolio management : a practical guide to credit risk management strategies
Warum Schwaben ihren Wein selber trinken : Streifzüge durch schwäbische Weinkeller
Safe and precise WCET determination by abstract interpretation of pipeline models
Algebra, geometry, and software systems
Algorithmic algebra and number theory : selected papers of a conference, held at the University of Heidelberg in October 1997
Korrekte Transformationsphase : der Kern korrekter Übersetzer
A demand-driven solver for constraint-based control flow analysis
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Xiao qiang tu ya an
Artificial intelligence and symbolic computation : 8th international conference ; proceedings
Entwurf und Implementierung effizienter Objektsysteme für funktionale und imperative Programmiersprachen am Beispiel von Lisp
Sustainable futures for Switzerland, Europe and the world
Active credit portfolio management : a practical guide to credit risk management strategies
Warum Schwaben ihren Wein selber trinken : Streifzüge durch schwäbische Weinkeller
Safe and precise WCET determination by abstract interpretation of pipeline models
Algebra, geometry, and software systems
Algorithmic algebra and number theory : selected papers of a conference, held at the University of Heidelberg in October 1997
Korrekte Transformationsphase : der Kern korrekter Übersetzer
A demand-driven solver for constraint-based control flow analysis
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Xiao qiang tu ya an
Artificial intelligence and symbolic computation : 8th international conference ; proceedings
Entwurf und Implementierung effizienter Objektsysteme für funktionale und imperative Programmiersprachen am Beispiel von Lisp
Sustainable futures for Switzerland, Europe and the world
Active credit portfolio management : a practical guide to credit risk management strategies
Warum Schwaben ihren Wein selber trinken : Streifzüge durch schwäbische Weinkeller