1791 search results - page 24 / 359 » Two Types of Multiple-Conclusion Systems |
WOLLIC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
NETWORK
2007
13 years 7 months ago
2007
— Two rate SLAs become increasingly popular in today’s Internet, allowing a customer to save money by paying one price for committed traffic and a much lower price for additio...
JLP
2008
13 years 7 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...