Edgar G. Daylight - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2024

True Turing: A Bird's-Eye ViewEdgar G. Daylight. mima, 34(1):29-49, February 2024. [doi]

2021

The halting problem and security's language-theoretic approach: Praise and criticism from a technical historianEdgar G. Daylight. computability, 10(2):141-158, 2021. [doi]

Addressing the Question "What is a Program Text?" via Turing ScholarshipEdgar G. Daylight, Colette Perold. annals, 43(4):87-91, 2021. [doi]

2018

Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950sLiesbeth De Mol, Maarten Bullynck, Edgar G. Daylight. annals, 40(1):19-45, 2018. [doi]

2015

Why did computer science make a hero out of Turing?Maarten Bullynck, Edgar G. Daylight, Liesbeth De Mol. CACM, 58(3):37-39, 2015. [doi]

From mathematical logic to programming-language semantics: a discussion with Tony HoareEdgar G. Daylight. logcom, 25(4):1091-1110, 2015. [doi]

2014

Universality versus Locality: The Amsterdam Style of Algol ImplementationGerard Alberts, Edgar G. Daylight. annals, 36(4):52-63, 2014. [doi]

A Turing taleEdgar G. Daylight. CACM, 57(10):36-38, 2014. [doi]

2012

Turing's Influence on ProgrammingEdgar G. Daylight. BIRTHDAY 2012: 42-52 [doi]

2011

Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960sEdgar G. Daylight. cj, 54(11):1756-1772, 2011. [doi]

2009

Time-bounded incompressibility of compressible strings and sequencesEdgar G. Daylight, Wouter M. Koolen, Paul M. B. VitÃ¡nyi. ipl, 109(18):1055-1059, 2009. [doi]

On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case StudyEdgar G. Daylight, Sandeep K. Shukla. FM 2009: 273-288 [doi]

2008

The formalism underlying EASYMAPEdgar G. Daylight, Arnout Vandecappelle, Francky Catthoor. SCP, 72(3):71-135, 2008. [doi]

2007

Local Causal Reasoning of a Safety-Critical Subway SystemEdgar G. Daylight, Sandeep K. Shukla. memocode 2007: 83-84 [doi]

Optimizing data structures at the modeling level in embedded multimediaMarijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene. jsa, 53(8):539-549, 2007. [doi]

2005

Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia ApplicationsMarijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene. samos 2005: 445-454 [doi]

2004

Memory-access-aware data structure transformations for embedded software with dynamic data accessesEdgar G. Daylight, David Atienza, Arnout Vandecappelle, Francky Catthoor, José M. Mendías. tvlsi, 12(3):269-280, 2004.

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial ApproachEdgar G. Daylight, Bart Demoen, Francky Catthoor. ENTCS, 108:99-112, 2004. [doi]

2002

Incorporating energy efficient data structures into modular software implementations for internet-based embedded systemsEdgar G. Daylight, T. Fermentel, Chantal Ykman-Couvreur, Francky Catthoor. wosp 2002: 134-141 [doi]

Analyzing energy friendly steady state phases of dynamic application execution in terms of sparse data structuresEdgar G. Daylight, Sven Wuytack, Chantal Ykman-Couvreur, Francky Catthoor. islped 2002: 76-79 [doi]

Sign in or sign up to see more results.

runs on WebDSL