On stratified regions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5904 LNCS, Issue , 2009, Pages 210-225

  Amadio, Roberto M ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Reducibility candidates; Termination; Types and effects

Indexed keywords

INTERACTION MECHANISMS; LAMBDA-CALCULUS; MULTITHREADED; TYPE AND EFFECT SYSTEMS;

COMPUTER SOFTWARE; DIFFERENTIATION (CALCULUS);

LINGUISTICS;

EID: 72449131346     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10672-9_16     Document Type: Conference Paper

References (12)

1. Amadio, R.: On stratified regions. Report ArXiv:0904.2076
2. Amadio, R., Curien, P.-L.: Domains and Lambda Calculi. Cambridge University Press, Cambridge
3. Amadio, R., Dabrowski, F.: Feasible reactivity in a synchronous π-calculus. In: Proc. ACM Principles and Practice of Declarative Programming, pp. 221-230 (2007)
4. Boudol, G.: Typing termination in a higher-order concurrent imperative language. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 272-286. Springer, Heidelberg (2007)
5. Berry, G., Gonthier, G.: The Esterel synchronous programming language. Science of computer programming 19(2), 87-152 (1992)
6. Deng, Y., Sangiorgi, D.: Ensuring termination by typability. Information and Computation 204(7), 1045-1082 (2006)
7. Gallier, J.: On Girard's Candidats de Reductibilité. In: Odifreddi (ed.) Logic and Computer Science, pp. 123-203. Academic Press, London (1990)
8. Hennessy, M., Regan, T.: A process algebra of timed systems. Information and Computation 117(2), 221-239 (1995)
9. Lucassen, J., Gifford, D.: Polymorphic effect systems. In: Proc. ACM-POPL (1988)
10. Sangiorgi, D.: Termination of processes. Math. Struct. in Comp. Sci. 16, 1-39 (2006)
11. Tofte, M., Talpin, J.-P.: Region-based memory management. Information and Computation 132(2), 109-176 (1997)
12. Yoshida, N., Berger, M., Honda, K.: Strong normalisation in the π-calculus. Information and Computation 191(2), 145-202 (2004)