Autor der Publikation

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.

, , , und (Hrsg.) Volume 129 von EPTCS, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources., , und . CoRR, (2017)Using Access Control for Secure Information Flow in a Java-like Language., und . CSFW, Seite 155-169. IEEE Computer Society, (2003)A Theory of Slicing for Probabilistic Control-Flow Graphs., und . CoRR, (2017)Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity., , und . CoRR, (2014)Co-Integration, Error Correction, and the Econometric Analysis of Non-Stationary Data., , , und . Advanced texts in econometrics Oxford University Press, (1993)Programming Paradigm Driven Heap Analysis., , und . CC, Volume 7210 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2012)Design and Correctness of Program Transformations Based on Control-Flow Analysis., , und . TACS, Volume 2215 von Lecture Notes in Computer Science, Seite 420-447. Springer, (2001)Automata-Based Confidentiality Monitoring., , , und . ASIAN, Volume 4435 von Lecture Notes in Computer Science, Seite 75-89. Springer, (2006)Stackability in the Simply-Typed Call-by-Value Lambda Calculus., und . SAS, Volume 864 von Lecture Notes in Computer Science, Seite 131-146. Springer, (1994)Information Flow Analysis in Logical Form., und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 100-115. Springer, (2004)