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
25 weeks 6 days ago
25 weeks 6 days ago
25 weeks 6 days ago
48 weeks 14 hours ago
1 year 1 day ago
1 year 1 week ago
1 year 1 week ago
1 year 4 weeks ago
1 year 9 weeks ago
1 year 9 weeks ago