-
Tunable Static Inference for Generic Universe Types
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Worlds: Controlling the Scope of Side Effects
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Mining Evolution of Object Usage
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
A Featherweight Approach to FOOL
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Interprocedural Exception Analysis for C++
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Expressiveness, Simplicity, and Users
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Can We Avoid High Coupling?
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Using Structure-Based Recommendations to Facilitate Discoverability in APIs
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Atomic Boxes: Coordinated Exception Handling with Transactional Memory
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Gradual Typestate
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
A Co-relational Model of Data for Large Shared Data Banks
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Related Types
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
The Eval That Men Do: A Large-Scale Study of the Use of Eval in JavaScript Applications
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
The Beauty and the Beast: Separating Design from Algorithm
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Detecting and Escaping Infinite Loops with Jolt
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Counting Messages as a Proxy for Average Execution Time in Pharo
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Maintaining Database Integrity with Refinement Types
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Reuse, Recycle to De-bloat Software
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
An Empirical Study of Object Protocols in the Wild
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Modal Object Diagrams
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
CDDiff: Semantic Differencing for Class Diagrams
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging
British Library Conference Proceedings | 2011|Schlagwörter: Object-oriented programming (Computer science) -
Improving the Tokenisation of Identifier Names
British Library Conference Proceedings | 2011|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) -
Averroes: Whole-Program Analysis without the Whole Program
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
British Library Conference Proceedings | 2013|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) -
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) -
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Implementing Federated Object Systems
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Composition and Reuse with Compiled Domain-Specific Languages
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Feature-Oriented Programming with Object Algebras
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) -
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) -
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)
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.