zweidimensionales bewegtes Bild
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- Location
-
Hannover TIB
- Extent
-
153MB, 00:10:36:00 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Thinniyam, Ramanathan
Majumdar, Rupak
Zetzsche, Georg
- DOI
-
10.5446/54989
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Thinniyam, Ramanathan
- Majumdar, Rupak
- Zetzsche, Georg
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Higher-Order Tableaux
Higher-order computability
Debugging asynchronous programs in Python
Polarized higher-order subtyping
Supporting Shared Understanding in Asynchronous Communication Contexts
Asynchronous programs on IoT devices
Heap-based reasoning about asynchronous programs
Higher-Order Order-Sorted Resolution
Higher-Order Multi-Valued Resolution
Higher-order constraint logic programming
Exploring higher-order risk effects
Event structures with higher-order dynamics
Higher-Order Tableaux
Higher-order computability
Debugging asynchronous programs in Python
Polarized higher-order subtyping
Supporting Shared Understanding in Asynchronous Communication Contexts
Asynchronous programs on IoT devices
Heap-based reasoning about asynchronous programs
Higher-Order Order-Sorted Resolution
Higher-Order Multi-Valued Resolution
Higher-order constraint logic programming
Exploring higher-order risk effects
Event structures with higher-order dynamics
Higher-Order Tableaux
Higher-order computability
Debugging asynchronous programs in Python
Polarized higher-order subtyping
Supporting Shared Understanding in Asynchronous Communication Contexts
Asynchronous programs on IoT devices
Heap-based reasoning about asynchronous programs
Higher-Order Order-Sorted Resolution
Higher-Order Multi-Valued Resolution
Higher-order constraint logic programming
Exploring higher-order risk effects