The following pages link to Jan Vitek (Q995819):
Displayed 19 items.
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← links)
- Coordinating processes with secure spaces (Q1870858) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- Correctness of a concurrent object collector for actor languages (Q2324013) (← links)
- A transactional object calculus (Q2485278) (← links)
- The seal calculus (Q2566220) (← links)
- Plan B (Q2931808) (← links)
- Static analysis of PostScript code (Q3142280) (← links)
- (Q4417612) (← links)
- (Q4735988) (← links)
- Confined types in Java (Q4791055) (← links)
- Coordination and mobility in CoreLime (Q4819116) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- Integrating typed and untyped code in a scripting language (Q5255096) (← links)
- Programming Languages and Systems (Q5308702) (← links)
- Model-Based Assignment and Inference of Protein Backbone Nuclear Magnetic Resonances (Q5700445) (← links)
- Type-based confinement (Q5717309) (← links)
- Coordination Models and Languages (Q5717726) (← links)