-
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)
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.