Pages that link to "Item:Q5178867"
From MaRDI portal
The following pages link to Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q5178867):
Displaying 21 items.
- Extensionality and intensionality of the ambient logics (Q5178868) (← links)
- BI as an assertion language for mutable data structures (Q5178870) (← links)
- Verifying safety properties of concurrent Java programs using 3-valued logic (Q5178871) (← links)
- Colored local type inference (Q5178872) (← links)
- Type-base flow analysis (Q5178873) (← links)
- Regular expression pattern matching for XML (Q5178874) (← links)
- The size-change principle for program termination (Q5178875) (← links)
- An abstract Monte-Carlo method for the analysis of probabilistic programs (Q5178876) (← links)
- Mobile values, new names, and secure communication (Q5178877) (← links)
- Nomadic pict (Q5178879) (← links)
- A generic type system for the Pi-calculus (Q5178880) (← links)
- Oracle-based checking of untrusted software (Q5178881) (← links)
- Stratified operational semantics for safety and correctness of the region calculus (Q5178882) (← links)
- Avoiding exponential explosion (Q5178883) (← links)
- What packets may come (Q5178884) (← links)
- Secure safe ambients (Q5178885) (← links)
- Modules, abstract types, and distributed versioning (Q5178886) (← links)
- Typing a multi-language intermediate code (Q5178887) (← links)
- Type-indexed rows (Q5178888) (← links)
- Subtyping arithmetical types (Q5178889) (← links)
- Combining subsumption and binary methods (Q5178890) (← links)
