Year of publication
Source
Type of material
Licence
Language
TIB reading rooms collection
LUH institutes collection
41–60 of 2,624 hits
Sort by:
Sort by:
-
A Compositional Paradigm of Automating Refactorings
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Detecting Refactored Clones
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Implementing Federated Object Systems
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Composition and Reuse with Compiled Domain-Specific Languages
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Feature-Oriented Programming with Object Algebras
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
QUIC Graphs: Relational Invariant Generation for Containers
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Trustworthy Proxies: Virtualizing Objects with Invariants
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Is This a Bug or an Obsolete Test?
British Library Conference Proceedings | 2013|Keywords: 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|Keywords: Object-oriented programming (Computer science) -
Higher-Order Reactive Programming with Incremental Lists
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Systematic Testing of Refactoring Engines on Real Software Projects
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Heap Decomposition Inference with Linear Programming
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Combining Form and Function: Static Types for JQuery Programs
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
CoCo: Sound and Adaptive Replacement of Java Collections
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
What Programmers Do with Inheritance in Java
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
Reducing Lookups for Invariant Checking
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
British Library Conference Proceedings | 2013|Keywords: Object-oriented programming (Computer science) -
TOOLS 27 : Technology of object-oriented languages and systems : proceedings : September 22-25, 1998, Beijing, China
TIBKAT | 2010|Keywords: Object-oriented programming (Computer science)
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.