Pages that link to "Item:Q5178893"
From MaRDI portal
The following pages link to Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q5178893):
Displaying 23 items.
- Mining specifications (Q5178894) (← links)
- Role analysis (Q5178895) (← links)
- Analyzing security protocols with secrecy types and logic programs (Q5178896) (← links)
- Types as models (Q5178897) (← links)
- Lazy abstraction (Q5178898) (← links)
- Bisimulation congruences in safe ambients (Q5178899) (← links)
- A uniform type structure for secure information flow (Q5178900) (← links)
- The hardness of cache conscious data placement (Q5178901) (← links)
- CCured (Q5178902) (← links)
- Stochastic lambda calculus and monads of probability distributions (Q5178903) (← links)
- Representation independence, confinement and access control [extended abstract] (Q5178904) (← links)
- Systematic design of program transformation frameworks by abstract interpretation (Q5178905) (← links)
- Predicate abstraction for software verification (Q5178906) (← links)
- The first-order theory of subtyping constraints (Q5178907) (← links)
- A type system for certified binaries (Q5178908) (← links)
- Functional logic overloading (Q5178909) (← links)
- Adaptive functional programming (Q5178910) (← links)
- The strength of non-size increasing computation (Q5178911) (← links)
- Composing dataflow analyses and transformations (Q5178912) (← links)
- Proving correctness of compiler optimizations by temporal logic (Q5178913) (← links)
- Stack inspection (Q5178914) (← links)
- Information flow inference for ML (Q5178916) (← links)
- Resource usage analysis (Q5178917) (← links)
