Pages that link to "Item:Q2828237"

From MaRDI portal

← Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Q2828237)

Jump to:navigation, search

The following pages link to Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Q2828237):

Displaying 2 items.

String solving with word equations and transducers: towards a logic for analysing mutation XSS (Q2828250) (← links)
Symbolic abstract data type inference (Q2828291) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2828237"