„Pluggable type systems“

Suchergebnisse

2 Treffer

• Practical Type-Based Taint Checking and Inference
  Karimipour, Nima ; Das, Kanak ; Sridharan, Manu ; Hassanshahi, Behnaz 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Practical Type-Based Taint Checking and Inference (Artifact)
  Karimipour, Nima ; Das, Kanak ; Sridharan, Manu ; Hassanshahi, Behnaz