Edgar G. Daylight
According to our database1, Edgar G. Daylight authored at least 21 papers between 2002 and 2021.
Legend:Book In proceedings Article PhD thesis Other
The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian.
IEEE Ann. Hist. Comput., 2021
Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s.
IEEE Ann. Hist. Comput., 2018
From mathematical logic to programming-language semantics: a discussion with Tony Hoare.
J. Log. Comput., 2015
IEEE Ann. Hist. Comput., 2014
Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s.
Comput. J., 2011
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
J. Syst. Archit., 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia Applications.
Proceedings of the Embedded Computer Systems: Architectures, 2005
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
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