TWiki's Research/PURe web The Research/PURe web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2018 by contributing authors TWiki Administrator [] The contributing authors of TWiki TWiki DIUM.Research/PURe /twiki/pub/Main/LocalLogos/um_eengP.jpg ProjectSummary Project Summary In a situation in which the only quality certificate of the running software artifact still is life cycle endurance, customers and software producers ... (last changed by LuisSoaresBarbosa) 2009-03-02T19:23:42Z LuisSoaresBarbosa WebHome Program Understanding and Re engineering: Calculi and Applications The aim of the PURe research project is to develop calculi for program understanding and re engineering ... (last changed by LuisSoaresBarbosa) 2009-03-02T19:18:53Z LuisSoaresBarbosa 2LT Two Level Transformation (2LT) NOTE: the 2LT project is moving to: at Google Code. A two level data transformation consists of a type level transformation of a data ... (last changed by TiagoAlves) 2007-12-05T23:40:49Z TiagoAlves WebSideBar Navigation Home PURe Café Publications Software Related Group Conferences IKF Project News (last changed by JoseBacelarAlmeida) 2007-11-04T19:25:44Z JoseBacelarAlmeida FlexibleSkinLeftBar Project Home PURe Café Publications Software Related Group Conferences Books IKF Project Navigation Users Changes Index Statistics Webs Search (last changed by JoseBacelarAlmeida) 2007-11-04T19:21:09Z JoseBacelarAlmeida PUReNewsArchive See also recent PURe news. News archive 2006 (until March) March, 25 The lambda coinduction by calculation stuff was presented today in Wien by AlexandraSilva ... (last changed by JoseBacelarAlmeida) 2007-11-04T19:18:26Z JoseBacelarAlmeida SdfMetz !SdfMetz: metrication of SDF grammars !SdfMetz computes metrics for SDF grammars. Among the supported metrics are counters of terminals, non terminals, productions ... (last changed by JoseBacelarAlmeida) 2007-11-04T19:18:26Z JoseBacelarAlmeida PURePublications Project Publications and Reports Publications (Conference Papers) On the Specification of a Component Repository , Rodrigues, N. and Barbosa, L., FACS'03 (Int ... (last changed by JoseBacelarAlmeida) 2007-11-04T19:18:26Z JoseBacelarAlmeida HaGLR What is HaGLR? HaGLR provides support for Generalized LR parsing in Haskell. Documentation João Saraiva, João Fernandes, and Joost Visser. Generalized LR Parsing ... (last changed by JoseBacelarAlmeida) 2007-11-04T19:18:26Z JoseBacelarAlmeida Camila CAMILA: VDM meets Haskell The Camila project explores how concepts from the VDM specification language and the functional programming language Haskell can be combined ... (last changed by JoseBacelarAlmeida) 2007-11-04T18:58:50Z JoseBacelarAlmeida CoddFish !CoddFish !CoddFish is a Haskell library that offers strongly typed support for database programming. Documentation !CoddFish makes extensive use of heterogenous ... (last changed by JoostVisser) 2007-07-11T21:47:50Z JoostVisser XsdMetz !XsdMetz The !XsdMetz tool computes metrics for XML schemas. Documentation !XsdMetz was developed to support the structure metrics defined in the following publication ... (last changed by JoostVisser) 2007-07-11T21:47:15Z JoostVisser PUReCafe As of September 2006, PUReCafe has been continued with a wider scope as the Theory and Formal Methods Seminar. PUReCafe was a weekly scientific colloquium organized ... (last changed by JoseBacelarAlmeida) 2007-06-28T11:45:16Z JoseBacelarAlmeida PUReCafeTalk1 Invitation to Wiki Basic Principles WikiName TextFormattingRules Edit via browser Distributed ownership Successful Wikis ... (last changed by JoseBacelarAlmeida) 2007-06-28T11:42:14Z JoseBacelarAlmeida WebTopicActions (last changed by JoseBacelarAlmeida) 2007-05-29T16:23:54Z JoseBacelarAlmeida WebCss .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha) 2007-02-16T14:32:18Z AlcinoCunha