http://pleiad.dcc.uchile.cl/ 2010-09-03T16:47:18-04:00 http://pleiad.dcc.uchile.cl/ http://pleiad.dcc.uchile.cl/lib/images/favicon.ico text/html 2010-09-02T13:41:54-04:00 Romain Robbes http://pleiad.dcc.uchile.cl/start The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a newly-created laboratory dedicated to research on new software development techniques. PLEIAD stands for Programming Languages and Environments for Intelligent, Adaptable and Distributed systems. We explore how programming language constructs and environments can enable the development of evolvable and highly-adaptable software, particularly considering distributed computing… text/html 2010-08-31T16:35:50-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/teaching/cc4101 Programa del curso: Principales referencias: * PLAI * OOPLAI, para la parte sobre OOP ---------- 2010/2 Planning semana dia materia referencias/material evaluaciones semana 1 1 intro programación en Scheme 2 Scheme semana 2 1 modelar lenguajes interpretar expresiones aritmeticasPLAI 1-2 2 substitución PLAI 3 semana 3 1 definición substitución regimen lazy/eager de bruijn intro funciones (BNF, fundef)PLAI 3 PLAI 4.1 … text/html 2010-08-30T12:07:06-04:00 Oscar E Alvarez Callau http://pleiad.dcc.uchile.cl/teaching/formal-latex-how-to En el presente ejemplo vamos a escribir en latex la formalización del simply typed λ-calculus. Puedes descargarte el ejemplo completo en . Primero necesitamos listar que paquetes (packages) de latex necesitamos: * AmsMath.sty (incluido en texlive-2009, si no lo tiene, pueden descargar lo de: <http://tug.ctan.org/tex-archive/macros/latex/required/amslatex/math/>) * Semantic.sty (incluido en texlive-2009, si no lo tiene, pueden descargar lo de: <http://www.ctan.org/tex-archive/macros/latex… text/html 2010-08-30T11:28:35-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/teaching/cc5104/2010-2 2010/2 Planning semana dia materia referencias/material evaluaciones semana 1 1 overview del curso introducción a sistemas de tipos, problematica, y desafíos ejemplos con Scheme y Java repasar conceptos básicos de inducción definición de sintáxis PLAI 24 TAPL 1, 2 TAPL 3.1-3.2 2 inducción estructural semántica operacional TAPL 3 semana 2 1 razonar sobre evaluación terminología TAPL 3 TS 2 expresiones aritmeticas tipeadas coherencia d… text/html 2010-08-25T17:06:08-04:00 Oscar E Alvarez Callau http://pleiad.dcc.uchile.cl/wiki/syntax doku>DokuWiki supports some simple markup language, which tries to make the datafiles to be as readable as possible. This page contains all possible syntax you may use when editing the pages. Simply have a look at the source of this page by pressing the Edit this page button at the top or bottom of the page. If you want to try something, just use the playground page. The simpler markup is easily accessible via quickbuttons, too. text/html 2010-08-25T14:14:53-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/teaching/cc5104/2010-2/tarea1 Tarea 1: Sistemas de tipos y contratos Parte 1: sistema de tipos * Implemente un interprete para un lenguaje con booleanos, numeros, if, y funciones de primera clase con scope léxico. * Implemente un verificador de tipos para este lenguaje, basado en el simply-typed lambda calculus text/html 2010-08-23T10:59:17-04:00 Johan Fabry http://pleiad.dcc.uchile.cl/events Conferences * European Conference on Object-Oriented Programming 2010, June 21-25, 2010, Maribor, Slovenia. ECOOP is a major conference in object-oriented programming research. 2010 is the 24th edition of this prestigious event. * Aspect-Oriented Software Development 2010, March 15-19th, 2010, Rennes & Saint-Malo, France. AOSD 2009 is the premier forum for researchers in aspect-oriented software development, organized in cooperation with ACM SIGPLAN and ACM SIGSOFT. text/html 2010-08-18T10:04:44-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/teaching/cc5104 Objetivo general El curso entrega los elementos técnicos y formales necesarios para entender la problematica de garantizar que los programas cumplen con sus objetivos, limitando efectos indeseados, lo más temprano posible. Se estudian las nociones de programas válidos, errores y excepciones, contratos, y sobre todo, tipos. En particular, se describen los conceptos fundamentales de los sistemas de tipos, permitiendo entender porque los lenguajes de hoy siguen evolucionando en ese aspecto (por ej… text/html 2010-08-17T14:01:41-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/people/etanter Éric Tanter PhD in Computer Science <etanter@dcc.uchile.cl> Assistant Professor Blanco Encalada 2120, of.310, Santiago, Chile PLEIAD Lab phone: +56 2 978 49 53 Computer Science Department (DCC), University of Chile fax: +56 2 689 55 31 Associate Researcher of the Valparaiso Institute of Complex Systems (ISCV), Chile Associate Researcher of the Center for Advanced Research in Education (CIAE), Chile Previously Visiting Researcher in the group of Prof. Jonathan Aldrich, at the Inst… text/html 2010-08-14T18:19:37-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/teaching Courses * Programming Languages (CC4101/CC54A), * Programming Languages II (CC5104/CC71Y), * Objects and Aspects (CC71P) * Taller de Proyecto (EI2xxx) * Arquitectura de Computadores (CC4301) ex. Introducción al Hardware (CC41C) Thesis Proposals There is a variety of possibilities to develop either a master thesis or an engineering thesis in one of the areas of PLEIAD, including programming languages, reflection, aspects, omniscient debugging, ambient intelligence, distribution,… text/html 2010-08-10T12:31:30-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/teaching/cc4101/2010-1 2010/1 Planning semana dia materia referencias/material evaluaciones semana 1 1 introducción a Scheme (vramiro) 2 introducción a Scheme (vramiro) semana 2 1 CDP aplicado, abstracción 2 modelar lenguajes, interpretación aritmetica PLAI cap 1 semana 3 1 fin interpretacion aritmetica substitución: intuición, extension lenguaje, intentos de definición PLAI cap 2 PLAI cap 3 publi [T1] 2 implementación sub… text/html 2010-07-31T13:36:27-04:00 Paul Leger http://pleiad.dcc.uchile.cl/people/pleger [Paul Leger] Paul Leger <http://www.dcc.uchile.cl/~pleger> Phd Student <pleger@dcc.uchile.cl> Phd Student Blanco Encalada 2120, of 415 PLEIAD Lab Santiago, Chile Computer Science Department (DCC) phone: +56 2 978 49 53 University of Chile fax: +56 2 689 55 31 Co-researcher of the Center for Advanced Research in Education (CIAE), Chile text/html 2010-07-23T11:14:17-04:00 Johan Fabry http://pleiad.dcc.uchile.cl/teaching/cc71p Objetivo General El curso trata tópicos avanzados en lenguajes (mayoritariamente orientado a objetos) utilizados para obtener una mejor ingeniería de software. La primera parte trata de técnicas de modularizacion avanzados, enfocando mayoritariamente en aspectos, pero también tratando otras técnicas como traits, mixins, classboxes. La segunda parte se ve lenguajes full orientado a objetos, reflexión y meta-programmación. text/html 2010-07-15T11:37:14-04:00 Johan Fabry http://pleiad.dcc.uchile.cl/teaching/cc4301 Resultados de Aprendizaje Al término del curso, el alumno demuestra que diseña circuitos digitales, a base de sus propios circuitos y circuitos estándar. Identifica y escribe código ensemblador x86, lee código ensemblador SPARC. Explica el funcionamiento de un chip de memoria y una CPU moderna. Y comprende el funcionamiento de los dispositivos de Entrada/Salida e interfaces de comunicación. text/html 2010-07-15T11:28:19-04:00 Johan Fabry http://pleiad.dcc.uchile.cl/teaching/cc41c text/html 2010-07-07T13:40:54-04:00 Johan Fabry http://pleiad.dcc.uchile.cl/research/software/aspectmaps_struct_zoom This screencast is fully dedicated to explaining the structural zoom feature of aspectmaps. This screencast is out of date: newer versions of AspectMaps have some differences in how classes and aspects are displayed (e.g. also including the class or aspect name in the extended representation). However the core behavior of the structural zoom is unaffected. text/html 2010-07-07T13:34:47-04:00 Johan Fabry http://pleiad.dcc.uchile.cl/research/software/aspectmaps Introduction The implicit invocation mechanism of AOP introduces an additional layer of complexity in the construction of a system. This can make it harder to understand how base system and aspects interact and thus how the system will behave. For example, when writing pointcut definitions, it is not always clear for a developer where the aspect will intervene in the base code. This can then lead to situations where the pointcut either captures too many join points (false positives), or where… text/html 2010-07-05T16:56:19-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/research/scope As a general line of research, we are interested in permitting dynamic adaptation of programs, using different techniques. Associated to these means comes the issue of the scope of adaptation. We are therefore exploring different issues associated with scoping, in particular in aspect- and context-oriented programming. Below are the outcome of these explorations, including code artefacts when appropriate. More precisely, we have explored: text/html 2010-06-24T10:43:17-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/research Publications See the complete list of publications of lab members. For a list of publications filtered by author, we refer to the personal pages in the section. Topics * Scope: Scoping dynamic adaptations * ADI: Aspects, Dependencies and Interactions text/html 2010-06-23T15:20:59-04:00 Eric Tanter http://pleiad.dcc.uchile.cl/people Professors * Alexandre Bergel * Johan Fabry * Romain Robbes * Éric Tanter PhD Students * Paul Leger * Guillaume Pothier * Rodolfo Toledo * Oscar E A Callau * Arturo Zambrano * Ismael Figueroa * Esteban Allende Master Students Pregraduate Students * Richard Ibarra