MPC
2010
Springer
14 years 4 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
MPC
2010
Springer
14 years 4 months ago
2010
Springer
MPC
2010
Springer
14 years 4 months ago
2010
Springer
MPC
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
MPC
2010
Springer
14 years 4 months ago
2010
Springer
MPC
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
MPC
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
MPC
2010
Springer
14 years 4 months ago
2010
Springer
MPC
2010
Springer
14 years 4 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
MPC
2010
Springer
14 years 4 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...