„Program Analysis -- Concurrent Programming -- Logic Languages -- Abstract Interpretation“

Suchergebnisse

1 Treffer

• Program Analysis to Support Concurrent Programming in Declarative Languages
  Demeyer, Romain 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik