Sciweavers

3825 search results - page 39 / 765
» The Language of Time: A Reader
Sort
View
AGP
2003
IEEE
15 years 3 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
76
Voted
CONCUR
2001
Springer
15 years 2 months ago
An Algebraic Characterization of Data and Timed Languages
Patricia Bouyer, Antoine Petit, Denis Théri...
67
Voted
HYBRID
2001
Springer
15 years 2 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas