-
Identifying Mandatory Code for Framework Use via a Single Application Trace
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Understanding TypeScript
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
An Executable Formal Semantics of PHP
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Stream Processing with a Spreadsheet
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Constructing Call Graphs of Scala Programs
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Semantics of (Resilient) X10
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Portable and Efficient Run-Time Monitoring of JavaScript Applications Using Virtual Machine Layering
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
TaDA: A Logic for Time and Data Abstraction
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Safely Composable Type-Specific Languages
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Graceful Dialects
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Capture-Avoiding and Hygienic Program Transformations
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Retargetting Legacy Browser Extensions to Modern Extension Frameworks
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Reusable Concurrent Data Types
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Rely-Guarantee Protocols
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
MiCA: A Compositional Architecture for Gossip Protocols
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Babelsberg/JS: A Browser-Based Implementation of an Object Constraint Language
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Self-inferencing Reflection Resolution for Java
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Event-Based Modularization of Reactive Systems
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Object-Oriented Concurrent Programming in ABCL/1
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Objects in Space
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
My Early Education and Concurrent Objects
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
MassiveThreads: A Thread Library for High Productivity Languages
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Controlling Concurrency and Expressing Synchronization in Charm++ Programs
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Towards a Substrate Framework of Computation
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Reflection in an Object-Oriented Concurrent Language
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
On Efficient Load Balancing for Irregular Applications
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Past and Future Directions for Concurrent Task Scheduling
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Building Safe Concurrency Abstractions
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Structuring Communication with Session Types
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Verifiable Object-Oriented Transactions
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
From Linear Types to Behavioural Types and Model Checking
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Description of Bond Pseudorotation, Bond Pseudolibration, and Ring Pseudoinversion Processes Caused by the Pseudo-Jahn-Teller Effect: Fluoro Derivatives of the Cyclopropane Radical Cation
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Applying SOFL to Constructing a Smart Traffic Light Specification
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
An Approach to Declaring Data Types for Formal Specifications
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Formalizing and Implementing Types in MSVL
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
B-Methyl Amine Borane Derivatives: Synthesis, Characterization, and Hydrogen Release
British Library Conference Proceedings | 2014|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.