Pages that link to "Item:Q5178836"
From MaRDI portal
The following pages link to Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q5178836):
Displaying 28 items.
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs (Q5178837) (← links)
- Temporal abstract interpretation (Q5178838) (← links)
- A framework for combining analysis and verification (Q5178839) (← links)
- Transforming out timing leaks (Q5178841) (← links)
- Enforcing trace properties by program transformation (Q5178842) (← links)
- On the complexity of flow-sensitive dataflow analyses (Q5178843) (← links)
- Projection merging (Q5178844) (← links)
- (Optimal) duplication is not elementary recursive (Q5178845) (← links)
- Implicit parameters (Q5178847) (← links)
- A new approach to generic functional programming (Q5178848) (← links)
- Shape analysis for mobile ambients (Q5178849) (← links)
- Semantics-preserving procedure extraction (Q5178850) (← links)
- Sparse code motion (Q5178851) (← links)
- Resource bound certification (Q5178852) (← links)
- Type systems for distributed data structures (Q5178853) (← links)
- Deciding type equivalence in a language with singleton kinds (Q5178854) (← links)
- Type elaboration and subtype completion for Java bytecode (Q5178855) (← links)
- A semantic model of types and machine instructions for proof-carrying code (Q5178856) (← links)
- A type system for expressive security policies (Q5178857) (← links)
- Verifying secrets and relative secrecy (Q5178858) (← links)
- A type system for dynamic Web documents (Q5178859) (← links)
- Authentication primitives and their compilation (Q5178860) (← links)
- Generalized certificate revocation (Q5178861) (← links)
- Paths vs. trees in set-based program analysis (Q5178862) (← links)
- Analytic constraint solving and interval arithmetic (Q5178863) (← links)
- Controlling interference in ambients (Q5178864) (← links)
- Anytime, anywhere (Q5178865) (← links)
- Modular refinement of hierarchic reactive machines (Q5178866) (← links)
