458 search results - page 8 / 92 » Imperative Programming with Dependent Types |
LFP
1994
13 years 10 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
CSL
2000
Springer
14 years 27 days ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
ER
2009
Springer
14 years 3 months ago
2009
Springer
FUIN
2010
13 years 6 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...