A Theory of Lazy Imperative Timing
| Autor: | Eric C. R. Hehner |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Programming Languages TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer science lcsh:Mathematics TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS lcsh:Electronic computers. Computer science Software_PROGRAMMINGTECHNIQUES lcsh:QA1-939 lcsh:QA75.5-76.95 Programming Languages (cs.PL) |
| Zdroj: | Electronic Proceedings in Theoretical Computer Science, Vol 282, Iss Proc. Refine 2018, Pp 1-9 (2018) Refine@FM |
| DOI: | 10.48550/arxiv.1810.09610 |
| Popis: | We present a theory of lazy imperative timing. Comment: In Proceedings Refine 2018, arXiv:1810.08739 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|