Sciweavers

3825 search results - page 39 / 765
» The Language of Time: A Reader
Sort
View
AGP
2003
IEEE
15 years 10 months ago
Time Equations for Lazy Functional (Logic) Languages
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
Elvira Albert, Josep Silva, Germán Vidal
CONCUR
2001
Springer
15 years 10 months ago
An Algebraic Characterization of Data and Timed Languages
Patricia Bouyer, Antoine Petit, Denis Théri...
HYBRID
2001
Springer
15 years 9 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas