Pages that link to "Item:Q3189774"
From MaRDI portal
The following pages link to Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Q3189774):
Displaying 29 items.
- Operational semantics for multi-language programs (Q3189775) (← links)
- Semantics of static pointcuts in aspectJ (Q3189782) (← links)
- Locality approximation using time (Q3189785) (← links)
- Modular type classes (Q3189786) (← links)
- Generative unbinding of names (Q3189787) (← links)
- Types, bytes, and separation logic (Q3189788) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)
- Context logic as modal logic (Q3189791) (← links)
- Scrap your boilerplate with XPath-like combinators (Q3189792) (← links)
- Lightweight fusion by fixed point promotion (Q3189793) (← links)
- Lazy multivariate higher-order forward-mode AD (Q3189794) (← links)
- A complete, co-inductive syntactic theory of sequential control and state (Q3189795) (← links)
- Towards a mechanized metatheory of standard ML (Q3189797) (← links)
- Logic-flow analysis of higher-order programs (Q3189798) (← links)
- Extracting queries by static analysis of transparent persistence (Q3189799) (← links)
- Variance analyses from invariance analyses (Q3189800) (← links)
- Assessing security threats of looping constructs (Q3189801) (← links)
- JavaScript instrumentation for browser security (Q3189805) (← links)
- Secure implementations of typed channel abstractions (Q3189806) (← links)
- Proving that programs eventually do something good (Q3189807) (← links)
- Program verification as probabilistic inference (Q3189808) (← links)
- Modular verification of a non-blocking stack (Q3189809) (← links)
- On the analysis of interacting pushdown systems (Q3189810) (← links)
- Specialization of CML message-passing primitives (Q3189811) (← links)
- Conditional must not aliasing for static race detection (Q3189812) (← links)
- Interprocedural analysis of asynchronous programs (Q3189813) (← links)
- Preferential path profiling (Q3189815) (← links)
- Geometry of synthesis (Q3189816) (← links)
- A semantics-based approach to malware detection (Q3189818) (← links)
