Edgar G. Daylight

According to our database1, Edgar G. Daylight authored at least 21 papers between 2002 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian.
Comput., 2021

Addressing the Question "What is a Program Text?" via Turing Scholarship.
IEEE Ann. Hist. Comput., 2021

Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s.
IEEE Ann. Hist. Comput., 2018

From mathematical logic to programming-language semantics: a discussion with Tony Hoare.
J. Log. Comput., 2015

Why did computer science make a hero out of Turing?
Commun. ACM, 2015

A Turing tale.
Commun. ACM, 2014

Universality versus Locality: The Amsterdam Style of Algol Implementation.
IEEE Ann. Hist. Comput., 2014

Turing's Influence on Programming.
Proceedings of the Turing-100, 2012

Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s.
Comput. J., 2011

Time-bounded incompressibility of compressible strings and sequences.
Inf. Process. Lett., 2009

Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009

On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.
Proceedings of the FM 2009: Formal Methods, 2009

The formalism underlying EASYMAP.
Sci. Comput. Program., 2008

On Time-Bounded Incompressibility of Compressible Strings
CoRR, 2008

Optimizing data structures at the modeling level in embedded multimedia.
J. Syst. Archit., 2007

Local Causal Reasoning of a Safety-Critical Subway System.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia Applications.
Proceedings of the Embedded Computer Systems: Architectures, 2005

Memory-access-aware data structure transformations for embedded software with dynamic data accesses.
IEEE Trans. Very Large Scale Integr. Syst., 2004

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.
Electron. Notes Theor. Comput. Sci., 2004

Incorporating energy efficient data structures into modular software implementations for internet-based embedded systems.
Proceedings of the Third International Workshop on Software and Performance, 2002

Analyzing energy friendly steady state phases of dynamic application execution in terms of sparse data structures.
Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002