Edgar G. Daylight

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The halting problem and security’s language-theoretic approach: Praise and criticism from a technical historian Computability	2021-06-25	Paper
Expressing the behavior of three very different concurrent systems by using natural extensions of separation logic	2021-01-26	Paper
Turing tales. With contributions by Arthur C. Fleck and Raymond T. Boute, edited by Kurt De Grave	2018-01-29	Paper
Towards a historical notion of `Turing -- the father of computer science' History and Philosophy of Logic	2017-02-22	Paper
From mathematical logic to programming-language semantics: a discussion with Tony Hoare Journal Of Logic And Computation	2016-01-28	Paper
The dawn of software engineering: from Turing to Dijkstra. Edited by Kurt De Grave. Including interviews with Tony Hoare, Barbara Liskov, Niklaus Wirth, and Peter Naur	2016-01-08	Paper
Pluralism in software engineering: Turing Award Winner Peter Naur explains. Edited by Kurt De Grave	2016-01-08	Paper
Algorithmic barriers falling: P = NP? A conversation with Donald E. Knuth conducted by Edgar G. Daylight on 18 June 2014 in Paris. Edited by Kurt De Grave	2015-12-14	Paper
The essential Knuth. Interviews conducted by Edgar G. Daylight on November 23, 2012, in Frankfurt, Germany. Edited by Kurt De Grave	2015-12-14	Paper
Time-bounded incompressibility of compressible strings and sequences Information Processing Letters	2010-08-20	Paper
The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations Science of Computer Programming	2008-09-01	Paper

Research outcomes over time

This page was built for person: Edgar G. Daylight