Sciweavers

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