7943 search results - page 53 / 1589 » A calculus for costed computations |
166
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
187
click to vote
FCT
2005
Springer
16 years 8 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
272
click to vote
FIDJI
2004
Springer
16 years 4 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
175
click to vote
TLCA
1995
Springer
15 years 10 months ago
1995
Springer
We introduce a simply-typed λ-calculus (λ→ exn ) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the ...
204
click to vote
OTM
2007
Springer
16 years 27 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...