Hochschulschrift
A demand-driven solver for constraint-based control flow analysis
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2002
- Classification
-
Informatik
- Keyword
-
Objektorientierte Programmiersprache
Kontrollflussdiagramm
Formale Semantik
Korrektheit
Constraint-Programmierung
Graph
Objektorientierte Programmiersprache ; Kontrollflussdiagramm ; Formale Semantik ; Korrektheit ; Constraint-Programmierung ; Graph
- Creator
-
Probst, Christian W.
- URN
-
urn:nbn:de:bsz:291-scidok-2193
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Probst, Christian W.
Other Objects (12)
A demand-driven solver for constraint-based control flow analysis
Constraint driven schema merging
Constraint driven schema merging
Development of an unstructured cartesian flow solver
Ficucs : Ein Constraint-Solver für geometrische Constraints in 2D und 3D
A data‐driven solver scheme for inelastic problems
Constraint Solver for a Fixture Design: Results of a Student Case Study
Entwicklung und Implementierung eines nebenläufigen Constraint-Solver für die Points-To-Analyse
Data‐driven model‐free modified nodal analysis circuit solver
A Hierarchical Flow Solver for Optimisation with PDE Constraints
Constraint-based layout-driven sizing of analog circuits
Constraint-Based Layout-Driven Sizing of Analog Circuits
A demand-driven solver for constraint-based control flow analysis
Constraint driven schema merging
Constraint driven schema merging
Development of an unstructured cartesian flow solver
Ficucs : Ein Constraint-Solver für geometrische Constraints in 2D und 3D
A data‐driven solver scheme for inelastic problems
Constraint Solver for a Fixture Design: Results of a Student Case Study
Entwicklung und Implementierung eines nebenläufigen Constraint-Solver für die Points-To-Analyse
Data‐driven model‐free modified nodal analysis circuit solver
A Hierarchical Flow Solver for Optimisation with PDE Constraints
Constraint-based layout-driven sizing of analog circuits
Constraint-Based Layout-Driven Sizing of Analog Circuits
A demand-driven solver for constraint-based control flow analysis
Constraint driven schema merging
Constraint driven schema merging
Development of an unstructured cartesian flow solver
Ficucs : Ein Constraint-Solver für geometrische Constraints in 2D und 3D
A data‐driven solver scheme for inelastic problems
Constraint Solver for a Fixture Design: Results of a Student Case Study
Entwicklung und Implementierung eines nebenläufigen Constraint-Solver für die Points-To-Analyse
Data‐driven model‐free modified nodal analysis circuit solver
A Hierarchical Flow Solver for Optimisation with PDE Constraints
Constraint-based layout-driven sizing of analog circuits