Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- concurrency 5 Treffer
- garbage collection 5 Treffer
- refinement 5 Treffer
- managed languages 3 Treffer
- verified compilation 3 Treffer
-
45 weitere Werte:
- iris 2 Treffer
- logical relations 2 Treffer
- separation logic 2 Treffer
- abstraccion 1 Treffer
- abstraction 1 Treffer
- acces concurrent 1 Treffer
- acceso simultaneo 1 Treffer
- applied sciences 1 Treffer
- atomicidad 1 Treffer
- atomicite 1 Treffer
- compilacion 1 Treffer
- compilation 1 Treffer
- computer science 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- computer systems performance. reliability 1 Treffer
- data race 1 Treffer
- distributed system 1 Treffer
- exact sciences and technology 1 Treffer
- fiabilidad 1 Treffer
- fiabilite 1 Treffer
- fine-grained concurrency 1 Treffer
- garbage collector 1 Treffer
- gestion des memoires et des fichiers (y compris la protection et la securite des fichiers) 1 Treffer
- gestion memoire 1 Treffer
- gestion memoria 1 Treffer
- high level language 1 Treffer
- informatique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- intermediate language 1 Treffer
- java language 1 Treffer
- lang 1 Treffer
- langage evolue 1 Treffer
- langage intermediaire 1 Treffer
- langage java 1 Treffer
- langages de programmation 1 Treffer
- languages 1 Treffer
- lenguaje evolucionado 1 Treffer
- lenguaje intermediario 1 Treffer
- lenguaje java 1 Treffer
- logiciel 1 Treffer
- machine virtuelle 1 Treffer
- maquina virtual 1 Treffer
- memoire partagee 1 Treffer
- memoire semantique 1 Treffer
Publikation
Sprache
2 Treffer
-
In: ACM transactions on programming languages and systems, Jg. 36 (2014), Heft 2Online academicJournalZugriff:
-
In: Frumin , D , Krebbers , R & Birkedal , L 2018 , ReLoC : A Mechanised Relational Logic for Fine-Grained Concurrency . in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 . Association for Computing Machinery , New York, NY, USA, 2018academicJournalZugriff: