Edgar G. Daylight

According to our database, Edgar G. Daylight authored at least 22 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

True Turing: A Bird's-Eye View.

Edgar G. Daylight

Minds Mach., February, 2024

2021

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

Edgar G. Daylight

Comput., 2021

Addressing the Question "What is a Program Text?" via Turing Scholarship.

Edgar G. Daylight

IEEE Ann. Hist. Comput., 2021

2018

Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s.

Liesbeth De Mol, Maarten Bullynck, Edgar G. Daylight

IEEE Ann. Hist. Comput., 2018

2015

From mathematical logic to programming-language semantics: a discussion with Tony Hoare.

Edgar G. Daylight

J. Log. Comput., 2015

Why did computer science make a hero out of Turing?

Maarten Bullynck, Edgar G. Daylight, Liesbeth De Mol

Commun. ACM, 2015

2014

A Turing tale.

Edgar G. Daylight

Commun. ACM, 2014

Universality versus Locality: The Amsterdam Style of Algol Implementation.

Gerard Alberts, Edgar G. Daylight

IEEE Ann. Hist. Comput., 2014

2012

Turing's Influence on Programming.

Edgar G. Daylight

Proceedings of the Turing-100, 2012

2011

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

Edgar G. Daylight

Comput. J., 2011

2009

Time-bounded incompressibility of compressible strings and sequences.

Edgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi

Inf. Process. Lett., 2009

Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic

Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio

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.

Edgar G. Daylight, Sandeep K. Shukla

Proceedings of the FM 2009: Formal Methods, 2009

2008

The formalism underlying EASYMAP.

Edgar G. Daylight, Arnout Vandecappelle, Francky Catthoor

Sci. Comput. Program., 2008

On Time-Bounded Incompressibility of Compressible Strings

Edgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi

CoRR, 2008

2007

Optimizing data structures at the modeling level in embedded multimedia.

Marijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene

J. Syst. Archit., 2007

Local Causal Reasoning of a Safety-Critical Subway System.

Edgar G. Daylight, Sandeep K. Shukla

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2005

Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia Applications.

Marijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene

Proceedings of the Embedded Computer Systems: Architectures, 2005

2004

Memory-access-aware data structure transformations for embedded software with dynamic data accesses.

Edgar G. Daylight, David Atienza, Arnout Vandecappelle, Francky Catthoor, José M. Mendías

IEEE Trans. Very Large Scale Integr. Syst., 2004

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.

Edgar G. Daylight, Bart Demoen, Francky Catthoor

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

2002

Incorporating energy efficient data structures into modular software implementations for internet-based embedded systems.

Edgar G. Daylight, T. Fermentel, Chantal Ykman-Couvreur, Francky Catthoor

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.

Edgar G. Daylight, Sven Wuytack, Chantal Ykman-Couvreur, Francky Catthoor

Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002