Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: PROGRAMMIERSYSTEM
Search without synonyms: keywords:("PROGRAMMIERSYSTEM")
Used synonyms:
- programming system
-
Secure Compilation to Protected Module Architectures
Online Contents | 2015|Keywords: Programmiersystem -
Polyhedral AST Generation Is More Than Scanning Polyhedra
Online Contents | 2015|Keywords: Programmiersystem -
Polymorphic Manifest Contracts, Revised and Resolved
Online Contents | 2017|Keywords: Programmiersystem -
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Online Contents | 2015|Keywords: Programmiersystem -
The Design and Implementation of a Verification Technique for GPU Kernels
Online Contents | 2015|Keywords: Programmiersystem -
A Logical Approach to Deciding Semantic Subtyping
Online Contents | 2015|Keywords: Programmiersystem -
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Online Contents | 2015|Keywords: Programmiersystem -
ACM transactions on programming languages and systems : ACM TOPLAS
TIBKAT | 1.1979/80 -|Keywords: Programmiersystem -
Behavioral subtyping, specification inheritance, and modular reasoning
Online Contents | 2015|Keywords: Programmiersystem -
Article 3 (55 pages) - Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations
Online Contents | 2014|Keywords: Programmiersystem -
Article 7 (74 pages) - Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Online Contents | 2014|Keywords: Programmiersystem -
Article 2 (42 pages) - ÆMINIUM: A Permission-Based Concurrent-by-Default Programming Language Approach
Online Contents | 2014|Keywords: Programmiersystem
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 is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
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.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.