Pages that link to "Item:Q5348908"
From MaRDI portal
The following pages link to Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q5348908):
Displayed 29 items.
- The next 700 data description languages (Q5348909) (← links)
- A hierarchical model of data locality (Q5348910) (← links)
- Simplifying reductions (Q5348911) (← links)
- Formal certification of a compiler back-end or (Q5348912) (← links)
- Decidability and proof systems for language-based noninterference relations (Q5348913) (← links)
- On flow-sensitive security types (Q5348914) (← links)
- A logic for information flow in object-oriented programs (Q5348916) (← links)
- Polymorphic regular tree types and patterns (Q5348917) (← links)
- Verifying properties of well-founded linked lists (Q5348918) (← links)
- Environment analysis via ΔCFA (Q5348919) (← links)
- Small bisimulations for reasoning about higher-order imperative programs (Q5348920) (← links)
- A fixpoint calculus for local and global program flows (Q5348921) (← links)
- Adventures in time and space (Q5348922) (← links)
- <i>N</i> -synchronous Kahn networks (Q5348923) (← links)
- Fast and loose reasoning is morally correct (Q5348924) (← links)
- Modular set-based analysis from contracts (Q5348925) (← links)
- Stratified type inference for generalized algebraic data types (Q5348926) (← links)
- Hybrid type checking (Q5348927) (← links)
- A polymorphic modal type system for lisp-like multi-staged languages (Q5348928) (← links)
- A virtual class calculus (Q5348929) (← links)
- Interruptible iterators (Q5348931) (← links)
- Frame rules from answer types for code pointers (Q5348932) (← links)
- Certified assembly programming with embedded code pointers (Q5348933) (← links)
- Associating synchronization constraints with data in an object-oriented language (Q5348934) (← links)
- Protecting representation with effect encapsulation (Q5348935) (← links)
- The essence of command injection attacks in web applications (Q5348937) (← links)
- Harmless advice (Q5348938) (← links)
- A verifiable SSA program representation for aggressive compiler optimization (Q5348941) (← links)
- Staged allocation (Q5348943) (← links)