- Sprache
-
Englisch
- Anmerkungen
-
Passau, Univ., Diss., 2005
- Identifier
-
976360586
Thema
Java ; Refactoring ; Programmanalyse; Hochschulschrift
Beteiligte Personen und Organisationen
Streckenbach, Mirko
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Streckenbach, Mirko
Ähnliche Objekte (12)
A flow analysis framework for realistic scheme programs
Pragmatic techniques for program analysis and verification
A universal realizability model for sequential functional computation
Advanced slicing of sequential and concurrent programs
Datenflußanalyse in objekt-orientierten Programmiersprachen : von der Theorie zur Praxis
Impact analysis for aspectJ - a critical analysis and tool-based ppproach to AOP
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
Generating program analyzers
Reasoning about program transformations : imperative programming and flow of data
Programming languages and systems : third Asian symposium ; proceedings
Graph transformation systems in Constraint Handling Rules : improved methods for program analysis
Programming languages and systems : proceedings
A flow analysis framework for realistic scheme programs
Pragmatic techniques for program analysis and verification
A universal realizability model for sequential functional computation
Advanced slicing of sequential and concurrent programs
Datenflußanalyse in objekt-orientierten Programmiersprachen : von der Theorie zur Praxis
Impact analysis for aspectJ - a critical analysis and tool-based ppproach to AOP
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
Generating program analyzers
Reasoning about program transformations : imperative programming and flow of data
Programming languages and systems : third Asian symposium ; proceedings
Graph transformation systems in Constraint Handling Rules : improved methods for program analysis
Programming languages and systems : proceedings
A flow analysis framework for realistic scheme programs
Pragmatic techniques for program analysis and verification
A universal realizability model for sequential functional computation
Advanced slicing of sequential and concurrent programs
Datenflußanalyse in objekt-orientierten Programmiersprachen : von der Theorie zur Praxis
Impact analysis for aspectJ - a critical analysis and tool-based ppproach to AOP
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
Generating program analyzers
Reasoning about program transformations : imperative programming and flow of data
Programming languages and systems : third Asian symposium ; proceedings
Graph transformation systems in Constraint Handling Rules : improved methods for program analysis