Edgar G. Daylight

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 4

Top Topics

Domain Specific Languages

Technical Support

Programming Language Constructs

Top Venues

IEEE Ann. Hist. Comput.

J. Log. Comput.

Publications

Edgar G. Daylight
True Turing: A Bird's-Eye View. Minds Mach. 34 (1) (2024)
Edgar G. Daylight
Addressing the Question "What is a Program Text?" via Turing Scholarship. IEEE Ann. Hist. Comput. 43 (4) (2021)
Edgar G. Daylight
The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian. Comput. 10 (2) (2021)
Liesbeth De Mol, Maarten Bullynck, Edgar G. Daylight
Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s. IEEE Ann. Hist. Comput. 40 (1) (2018)
Edgar G. Daylight
From mathematical logic to programming-language semantics: a discussion with Tony Hoare. J. Log. Comput. 25 (4) (2015)
Maarten Bullynck, Edgar G. Daylight, Liesbeth De Mol
Why did computer science make a hero out of Turing? Commun. ACM 58 (3) (2015)
Gerard Alberts, Edgar G. Daylight
Universality versus Locality: The Amsterdam Style of Algol Implementation. IEEE Ann. Hist. Comput. 36 (4) (2014)
Edgar G. Daylight
A Turing tale. Commun. ACM 57 (10) (2014)
Edgar G. Daylight
Turing's Influence on Programming. Turing-100 (2012)
Edgar G. Daylight
Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s. Comput. J. 54 (11) (2011)
Edgar G. Daylight, Sandeep K. Shukla
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. FM (2009)
Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic EXPRESS (2009)
Edgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi
Time-bounded incompressibility of compressible strings and sequences. Inf. Process. Lett. 109 (18) (2009)
Edgar G. Daylight, Arnout Vandecappelle, Francky Catthoor
The formalism underlying EASYMAP. Sci. Comput. Program. 72 (3) (2008)
Edgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi
On Time-Bounded Incompressibility of Compressible Strings CoRR (2008)
Marijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene
Optimizing data structures at the modeling level in embedded multimedia. J. Syst. Archit. 53 (8) (2007)
Edgar G. Daylight, Sandeep K. Shukla
Local Causal Reasoning of a Safety-Critical Subway System. MEMOCODE (2007)
Marijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene
Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia Applications. SAMOS (2005)
Edgar G. Daylight, David Atienza, Arnout Vandecappelle, Francky Catthoor, José M. Mendías
Memory-access-aware data structure transformations for embedded software with dynamic data accesses. IEEE Trans. Very Large Scale Integr. Syst. 12 (3) (2004)
Edgar G. Daylight, Bart Demoen, Francky Catthoor
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. Electron. Notes Theor. Comput. Sci. 108 (2004)
Edgar G. Daylight, T. Fermentel, Chantal Ykman-Couvreur, Francky Catthoor
Incorporating energy efficient data structures into modular software implementations for internet-based embedded systems. Workshop on Software and Performance (2002)
Edgar G. Daylight, Sven Wuytack, Chantal Ykman-Couvreur, Francky Catthoor
Analyzing energy friendly steady state phases of dynamic application execution in terms of sparse data structures. ISLPED (2002)