Edgar G. Daylight

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