Searching for "Type inference for atomicity." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Type Inference for Atomicity
- …Type Inference For Atomicity Cormac Flanagan Stephen N. Freund Marina Lifshin Department…
- Cited by 31 (2 self) – Add To MetaCart
-
Localized Type Inference of Atomic Types in Python
- …LOCALIZED TYPE INFERENCE OF ATOMIC TYPES IN PYTHON A Thesis Presented to the Faculty…
- Cited by 4 (0 self) – Add To MetaCart
-
Optimized run-time race detection and atomicity checking using partial discovered types
- … systems for race-freedom and atomicity, type discovery for race-free types, and type inference…
- Cited by 19 (4 self) – Add To MetaCart
-
unknown title
- … Type Inference For Atomicity Cormac Flanagan Stephen N. Freund Marina Lifshin…
- Add To MetaCart
-
Type Inference with Structural Subtyping: A faithful formalization of an efficient constraint
- … the atomic poset to be a lattice. 1.2 Type inference Type inference consists in automatically determining…
- Cited by 12 (4 self) – Add To MetaCart
-
Type Inference With Structural Subtyping:
- … be described as type inference processes. The first algorithm for type inference with atomic subtyping…
- Add To MetaCart
Showing 1 through 6.
