David A. Schmidt

Available identifiers

zbMath Open schmidt.david-aMaRDI QIDQ418810

List of research outcomes

Publication	Date of Publication	Type
A categorical interpretation of Landin's correspondence principle	2023-04-28	Paper
Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks	2018-08-22	Paper
Combining Model Checking and Data-Flow Analysis	2018-07-20	Paper
Finite-Length MMSE Tomlinson–Harashima Precoding for Frequency Selective Vector Channels	2018-06-12	Paper
Abstract Interpretation From a Denotational-semantics Perspective	2016-05-10	Paper
Guards, Failure, and Partiality: Dijkstra’s Guarded-Command Language Formulated Topologically	2016-03-23	Paper
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations	2015-07-10	Paper
Inverse-limit and topological aspects of abstract interpretation	2012-05-30	Paper
An Action Semantics Based on Two Combinators	2009-10-22	Paper
Abstract Interpretation from a Topological Perspective	2009-08-18	Paper
Underapproximating Predicate Transformers	2009-03-12	Paper
Comparing Completeness Properties of Static Analyses and Their Logics	2008-05-06	Paper
Internal and External Logics of Abstract Interpretations	2008-04-04	Paper
State-transition machines for lambda-calculus expressions	2007-12-17	Paper
State-transition machines, revisited	2007-12-17	Paper
A calculus of logical relations for over- and underapproximating static analyses	2007-01-22	Paper
Static Analysis	2005-08-24	Paper
A domain equation for refinement of partial systems	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4414733	2003-07-27	Paper
Polymorphic lambda calculus and subtyping.	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2763694	2002-01-22	Paper
Stackability in the simply-typed call-by-value lambda calculus	2000-07-05	Paper
Induction, domains, calculi: Strachey's contributions to programming-language engineering	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4222934	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4365788	1998-03-02	Paper
Full sign-invertibility and symplectic matrices	1996-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q4318862	1995-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4038657	1993-05-18	Paper
Category-sorted algebra-based action semantics	1990-01-01	Paper
Detecting stack-based environments in denotational definitions	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3730004	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3746867	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3758891	1986-01-01	Paper
Detecting global variables in denotational specifications	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336739	1984-01-01	Paper
Approximation properties of abstract data types	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David A. Schmidt