Pages that link to "Item:Q3452244"
From MaRDI portal
The following pages link to Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q3452244):
Displaying 29 items.
- Symbolic transfer function-based approaches to certified compilation (Q3452245) (← links)
- Simple relational correctness proofs for static analyses and program transformations (Q3452246) (← links)
- Incremental execution of transformation specifications (Q3452247) (← links)
- Formalization of generics for the .NET common language runtime (Q3452248) (← links)
- Semantic types (Q3452249) (← links)
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums (Q3452250) (← links)
- Isomorphisms of generic recursive polynomial types (Q3452251) (← links)
- Polymorphic typed defunctionalization (Q3452252) (← links)
- Free theorems in the presence of <i>seq</i> (Q3452253) (← links)
- Parsing expression grammars (Q3452254) (← links)
- Asynchronous and deterministic objects (Q3452255) (← links)
- A logic you can count on (Q3452257) (← links)
- Channel dependent types for higher-order mobile processes (Q3452258) (← links)
- An abstract interpretation-based framework for software watermarking (Q3452259) (← links)
- Abstract non-interference (Q3452260) (← links)
- The space cost of lazy reference counting (Q3452261) (← links)
- Local reasoning about a copying garbage collector (Q3452262) (← links)
- Abstractions from proofs (Q3452263) (← links)
- Summarizing procedures in concurrent programs (Q3452264) (← links)
- Atomizer (Q3452265) (← links)
- Separation and information hiding (Q3452266) (← links)
- Tridirectional typechecking (Q3452267) (← links)
- A type system for well-founded recursion (Q3452268) (← links)
- Principal typings for Java-like languages (Q3452269) (← links)
- Non-linear loop invariant generation using Gröbner bases (Q3452270) (← links)
- Precise interprocedural analysis through linear algebra (Q3452271) (← links)
- Global value numbering using random interpretation (Q3452272) (← links)
- A bisimulation for dynamic sealing (Q5899513) (← links)
- A semantics for web services authentication (Q5899514) (← links)
