Hochschulschrift
A demand-driven solver for constraint-based control flow analysis
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783980709606
3980709604
- Dimensions
-
21 cm
- Extent
-
XVI, 133 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Saarbrücken, Univ., Diss., 2002
- Keyword
-
Objektorientierte Programmiersprache
Kontrollflussdiagramm
Formale Semantik
Korrektheit
Constraint-Programmierung
Graph
Objektorientierte Programmiersprache ; Kontrollflussdiagramm ; Formale Semantik ; Korrektheit ; Constraint-Programmierung ; Graph
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
COD-Verl.
- (when)
-
2002
- Creator
-
Probst, Christian W.
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 2:13 PM CEST
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.
- COD-Verl.
Time of origin
- 2002
Other Objects (12)
A demand-driven solver for constraint-based control flow analysis
Constraint-based layout-driven sizing of analog circuits
Constraint-Based Layout-Driven Sizing of Analog Circuits
Germanic syntax : a constraint-based view
Human computation for constraint-based recommenders
Constraint-based Analysis of Distributed Systems
Germanic syntax : A constraint-based view
Constraint-based graphical layout of multimodal presentations
sybil – Efficient constraint-based modelling in R
COBRA: A Constraint-Based Awareness Management Framework
Interactive, Constraint-based Layout of Engineering Diagrams
Qualitative constraint-based reasoning: methods and applications
A demand-driven solver for constraint-based control flow analysis
Constraint-based layout-driven sizing of analog circuits
Constraint-Based Layout-Driven Sizing of Analog Circuits
Germanic syntax : a constraint-based view
Human computation for constraint-based recommenders
Constraint-based Analysis of Distributed Systems
Germanic syntax : A constraint-based view
Constraint-based graphical layout of multimodal presentations
sybil – Efficient constraint-based modelling in R
COBRA: A Constraint-Based Awareness Management Framework
Interactive, Constraint-based Layout of Engineering Diagrams
Qualitative constraint-based reasoning: methods and applications
A demand-driven solver for constraint-based control flow analysis
Constraint-based layout-driven sizing of analog circuits
Constraint-Based Layout-Driven Sizing of Analog Circuits
Germanic syntax : a constraint-based view
Human computation for constraint-based recommenders
Constraint-based Analysis of Distributed Systems
Germanic syntax : A constraint-based view
Constraint-based graphical layout of multimodal presentations
sybil – Efficient constraint-based modelling in R
COBRA: A Constraint-Based Awareness Management Framework
Interactive, Constraint-based Layout of Engineering Diagrams