Schmidt, David A. Inverse-limit and topological aspects of abstract interpretation. (English) Zbl 1283.68221 Theor. Comput. Sci. 430, 23-42 (2012). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 68Q65 PDFBibTeX XMLCite \textit{D. A. Schmidt}, Theor. Comput. Sci. 430, 23--42 (2012; Zbl 1283.68221) Full Text: DOI
Schmidt, David A. Abstract interpretation from a denotational-semantics perspective. (English) Zbl 1337.68162 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 19-37 (2009). MSC: 68Q55 06A15 06B35 PDFBibTeX XMLCite \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 249, 19--37 (2009; Zbl 1337.68162) Full Text: DOI
Schmidt, David A. Abstract interpretation from a topological perspective. (English) Zbl 1248.68150 Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 293-308 (2009). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{D. A. Schmidt}, Lect. Notes Comput. Sci. 5673, 293--308 (2009; Zbl 1248.68150) Full Text: DOI
Schmidt, David A. Extracting program logics from abstract interpretations defined by logical relations. (English) Zbl 1316.68042 Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 339-356 (2007). MSC: 68N30 03B44 03B70 06A15 PDFBibTeX XMLCite \textit{D. A. Schmidt}, Electron. Notes Theor. Comput. Sci. 173, 339--356 (2007; Zbl 1316.68042) Full Text: DOI
Mizuno, Masaaki; Schmidt, David A security flow control algorithm and its denotational semantics correctness proof. (English) Zbl 0758.68044 Formal Asp. Comput. 4, No. 6A, 727-754 (1992). MSC: 68Q55 68Q60 68M10 PDFBibTeX XMLCite \textit{M. Mizuno} and \textit{D. Schmidt}, Formal Asp. Comput. 4, No. 6A, 727--754 (1992; Zbl 0758.68044) Full Text: DOI