TWiki's Research/PURe web http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe The Research/PURe web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2017 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki DIUM.Research/PURe http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe /twiki/pub/Main/LocalLogos/um_eengP.jpg ProjectSummary http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebSideBar Navigation Home PURe Café Publications Software Related Group Conferences IKF Project News (last changed by JoseBacelarAlmeida) 2007-11-04T19:25:44Z JoseBacelarAlmeida FlexibleSkinLeftBar http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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 http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebTopicActions (last changed by JoseBacelarAlmeida) 2007-05-29T16:23:54Z JoseBacelarAlmeida WebCss http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/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