7943 search results - page 15 / 1589 » A calculus for costed computations |
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
ENTCS
2011
13 years 2 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
ICALP
2005
Springer
14 years 26 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...