-
CDDiff: Semantic Differencing for Class Diagrams
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
The Shape of Things to Run: Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Really Automatic Scalable Object-Oriented Reengineering
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
QUIC Graphs: Relational Invariant Generation for Containers
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Trustworthy Proxies: Virtualizing Objects with Invariants
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
What Programmers Do with Inheritance in Java
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Reducing Lookups for Invariant Checking
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Is This a Bug or an Obsolete Test?
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Simple Profile Rectifications Go a Long Way-Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
A Comparative Study of Manual and Automated Refactorings
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
A Compositional Paradigm of Automating Refactorings
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Detecting Refactored Clones
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Patterns of Memory Inefficiency
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Verifying Multi-object Invariants with Relationships
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
A Refactoring Constraint Language and Its Application to Eiffel
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Heap Decomposition Inference with Linear Programming
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science)
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.