Erscheinungsjahr
Format
Lizenz
Sprache
-
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)
Freier ZugriffDataCite | 2024|Schlagwörter: Software and its engineering, Software and its engineering → Automated static analysis, Software and its engineering → Correctness, Software and its engineering → Software verification and validation, Software and its engineering → Software safety, Software and its engineering → Software functional properties, Software and its engineering → Completeness, Software and its engineering → Formal methods -
LIPIcs, Volume 134, ECOOP'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Software and its engineering -
LIPIcs, Volume 109, ECOOP'18, Complete Volume
Freier ZugriffDataCite | 2018|Schlagwörter: Software and its engineering -
Reflections on the Birth of Spoofax
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Interpreters, Software and its engineering → Domain specific languages, Software and its engineering → Compilers -
Determinacy Race Detector for Promises (Artifact)
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Software defect analysis, Software and its engineering → Software testing and debugging, Software and its engineering → General programming languages, Software and its engineering → Software creation and management, Software and its engineering → Software notations and tools, Software and its engineering → Software verification and validation, Software and its engineering → Concurrent programming languages -
LIPIcs, Volume 136, SNAPL'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Software and its engineering, General programming languages, Semantics, Software and its engineering → General programming languages, Software and its engineering → Semantics -
Tracing Naming Semantics in Unit Tests of Popular Github Android Projects
Freier ZugriffDataCite | 2019|Schlagwörter: Software and its engineering → Software testing and debugging, Software and its engineering → Software reverse engineering, Software and its engineering → Maintaining software, Software and its engineering → Semantics -
The Next 700 Semantics: A Research Challenge
Freier ZugriffDataCite | 2019|Schlagwörter: Software and its engineering → Formal language definitions, Software and its engineering → General programming languages, Software and its engineering → Language features, Software and its engineering → Semantics -
The Importance of Being Eelco
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Translator writing systems and compiler generators, Software and its engineering → Object oriented languages, Software and its engineering → Syntax, Software and its engineering → Semantics -
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Software safety, Software and its engineering → Object oriented languages, Software and its engineering → Compilers -
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Software defect analysis, Software and its engineering → Software testing and debugging, Software and its engineering → General programming languages, Software and its engineering → Software creation and management, Software and its engineering → Software notations and tools, Software and its engineering → Software verification and validation, Software and its engineering → Concurrent programming languages -
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper)
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Software safety, Software and its engineering → Object oriented languages, Software and its engineering → Compilers -
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
Freier ZugriffDataCite | 2022|Schlagwörter: Software and its engineering → Formal software verification, Software and its engineering → Maintaining software, Software and its engineering → Software evolution, Software and its engineering → Compilers -
Polynomial-Time Fence Insertion for Structured Programs
Freier ZugriffDataCite | 2019|Schlagwörter: Software and its engineering → Concurrent programming structures, Software and its engineering → Memory management, Software and its engineering → Synchronization -
Generating Software for Well-Understood Domains
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Automatic programming, Software and its engineering → Application specific development environments, Software and its engineering → Requirements analysis, Software and its engineering → Specification languages -
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
Freier ZugriffDataCite | 2021|Schlagwörter: Software and its engineering → Data flow languages, Software and its engineering → Object oriented languages, Software and its engineering → Semantics -
Context in Parsing: Techniques and Applications
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Parsers, Software and its engineering → Domain specific languages, Software and its engineering → Syntax -
Nested Pure Operation-Based CRDTs
Freier ZugriffDataCite | 2023|Schlagwörter: Software and its engineering → Consistency, Software and its engineering → Synchronization, Software and its engineering → Reflective middleware, Software and its engineering → Middleware -
Multiparty Languages: The Choreographic and Multitier Cases (Pearl)
Freier ZugriffDataCite | 2021|Schlagwörter: Software and its engineering → Multiparadigm languages, Software and its engineering → Distributed programming languages, Software and its engineering → Concurrent programming languages -
JavaScript Sealed Classes
Freier ZugriffDataCite | 2022|Schlagwörter: Software and its engineering → Source code generation, Software and its engineering → Functional languages, Software and its engineering → Just-in-time compilers, Software and its engineering → Object oriented languages
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.