Pages that link to "Item:Q1029816"
From MaRDI portal
The following pages link to Flow-sensitive type systems and the ambient calculus (Q1029816):
Displaying 18 items.
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Validating firewalls using flow logics (Q1603656) (← links)
- Typing evolving ambients (Q1607130) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- A type and effect system for activation flow of components in Android programs (Q2252643) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Shape analysis for mobile ambients (Q2748155) (← links)
- Typed mobile ambients in Maude (Q2863877) (← links)
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- (Q3747165) (← links)
- A calculus with polymorphic and polyvariant flow types (Q4542147) (← links)
- Shape analysis for mobile ambients (Q5178849) (← links)
- Type-Based Productivity of Stream Definitions in the Calculus of Constructions (Q5271060) (← links)
- Programming Languages and Systems (Q5308697) (← links)
- Types for Proofs and Programs (Q5712315) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897115) (← links)