# Edgar G. Daylight

According to our database

Collaborative distances:

^{1}, Edgar G. Daylight authored at least 21 papers between 2002 and 2021.Collaborative distances:

## 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

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

Commun. ACM, 2015

2014

Commun. ACM, 2014

IEEE Ann. Hist. Comput., 2014

2012

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

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

Sci. Comput. Program., 2008

CoRR, 2008

2007

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

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