User loginNavigation |
Computing Needs TimeEdward 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. |
Browse archives
Active forum topics |
Recent comments
16 weeks 9 hours ago
16 weeks 12 hours ago
16 weeks 13 hours ago
38 weeks 1 day ago
42 weeks 3 days ago
44 weeks 20 hours ago
44 weeks 20 hours ago
46 weeks 5 days ago
51 weeks 3 days ago
51 weeks 3 days ago