.:. Browse > List by year > 2011 .:.

56 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4

Les ressources explicites vues par la théorie de la réécriture. Renaud F. Université Paris-Diderot - Paris VII (07/12/2011), Delia Kesner (Dir.) [tel-00697408 - version 1]

Supporting software evolution in component-based FOSS systems. Di Cosmo R., Di Ruscio D., Pelliccione P., Pierantonio A., Zacchiroli S. Science of Computer Programming 76, 12 (2011) 1144-1160 [hal-00622823 - version 1]

Higher Categories and Rewriting Métayer F. Operads and Rewriting, France (2011) [hal-00694631 - version 1]

A Unified Approach to Fully Lazy Sharing Balabonski T. Rapport de recherche [hal-00637048 - version 1]

Constraining rule-based dynamics with types Danos V., Harmer R., Winskel G. [hal-00694492 - version 1] (04/05/2012)

Visible acyclic differential nets, Part I: Semantics Pagani M. Annals of Pure and Applied Logic 163, 3 (2011) 238-265 [hal-00698973 - version 1]

Distributed Markov Processes Abbes S. Research report [hal-00631501 - version 1]

Resource Lambda-Calculus: the Differential Viewpoint Ehrhard T. Dans Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL - Computer Science Logic (CSL'11), Norvège (2011) [hal-00707790 - version 1]

Aligning component upgrades Di Cosmo R., Lhomme O., Michel C. Dans Logics for Component Configuration - Logics for Component Configuration, Italie (2011) [hal-00622830 - version 1]

Continuation-Passing C: compiling threads to events through continuations Kerneis G., Chroboczek J. Higher-Order and Symbolic Computation 24, 3 (2011) 239-279 [inria-00537964 - version 3]

On software component co-installability Vouillon J., Di Cosmo R. Dans ESEC/FSE - ESEC/FSE, France (2011) [hal-00622826 - version 1]

Full Abstraction for Resource Calculus with Tests Ehrhard T., Bucciarelli A., Carraro A., Manzonetto G. Dans Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL - Computer Science Logic (CSL'11), Norvège (2011) [hal-00707814 - version 1]

Proceedings Second Workshop on Logics for Component Configuration Drescher C., Lynce I., Treinen R. (2011) 1--45 [hal-00686040 - version 1]

Proofs as Tree Languages Hetzl S. Research report [hal-00613713 - version 1]

Realizability algebras: a program to well order R Krivine J.-L. Logical Methods in Computer Science (LMCS) 7, 3 (2011) 1-47 [hal-00483232 - version 2]