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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
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

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

2015
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

2014
A Turing tale.
Commun. ACM, 2014

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

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

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

2009
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

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

On Time-Bounded Incompressibility of Compressible Strings
CoRR, 2008

2007
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

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

2004
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

2002
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


  Loading...