Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
741. |
Top-k Term-Proximity in Succinct Space.
Editors: H.-K. Ahn and C.-S. Shin. Conference: Annual International Symposium on Algorithms and Computation (Jeonju, Korea). Publisher: Springer-Verlag. Pages: 169-180. Date: 2014. Authors: Ian Munro, Gonzalo Navarro, Jesper Sindahl Nielsen, Rahul Shah, Sharma Thankachan |
742. |
Confined Gradual Typing.
Conference: ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (Portland, OR, USA). Publisher: ACM Press. Pages: 241-270. Date: 2014. Authors: Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter |
743. |
On the Use of Type Predicates in Object-Oriented Software:
The Case of Smalltalk.
Conference: Dynamic Languages Symposium (Portland, OR, USA). Publisher: ACM Press. Pages: 135-146. Date: 2014. Authors: Oscar Callau, Romain Robbes, Éric Tanter, David Roethlisberger, Alexandre Bergel |
744. |
Foundations of Typestate-Oriented Programming.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 36. Issue: 4. Pages: Article 12. Date: October 2014. Authors: Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich |
745. |
General Document Retrieval in Compact Space.
Journal: ACM Journal of Experimental Algorithmics. Volume: 19. Issue: 2. Pages: Article 3. Date: 2014. Authors: Gonzalo Navarro, Simon Puglisi, Daniel Valenzuela |
746. |
Verifiable Source Code Documentation in Controlled Natural
Language.
Journal: Science of Computer Programming. Volume: 96. Issue: 1. Pages: 121-140. Date: December 2014. Authors: Tobias Kuhn, Alexandre Bergel |
747. |
Sketch-based Image Retrieval using Keyshapes.
Journal: Multimedia Tools and Applications. Volume: 73. Issue: 3. Pages: 2033-2062. Date: December 2014. Authors: Jose Saavedra, Benjamin Bustos |
748. |
Generation of Polyhedral Delaunay Meshes.
Conference: International Meshing Roundtable (London, UK). Publisher: Springer-Verlag. Pages: 291-300. Date: 2014. Authors: David Contreras, Nancy Hitschfeld |
749. |
Gradual Typing for Smalltalk.
Journal: Science of Computer Programming. Volume: 96. Issue: 1. Pages: 52-69. Date: December 2014. Authors: Esteban Allende, Oscar Callau, Johan Fabry, Éric Tanter, Marcus Denker |
750. |
Seamless Composition and Reuse of Customizable User
Interfaces with Spec.
Journal: Science of Computer Programming. Volume: 96. Issue: 1. Pages: 34-51. Date: December 2014. Authors: Benjamin Van Ryseghem, Stephane Ducasse, Johan Fabry |