Computing Needs Time
Edward A. Lee, Computing Needs Time, Communications of the ACM, Volume 52, Issue 5 (May 2009).
The section of most direct relevance to LtU is probably section 5.2 on programming languages, which opens by saying:
Programming languages provide an abstraction layer above the ISA. If the ISA is to expose selected temporal properties, and programmers wish to exploit this, then one approach would be to reflect these in the languages.
Also potentially of interest to the LtU readership is section 5.4 on formal methods, which closes by asserting that
...type systems are formal methods that have had enormous impact. What is needed is time systems with the power of type systems.
Note: The "Tagged Signal" meta-model of computation mentioned in section 3 of the paper was previously discussed on LtU here.
Active forum topics
New forum topics