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-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/PURe
http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe
/twiki/pub/Main/LocalLogos/um_eengP.jpgProjectSummary
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:42ZLuisSoaresBarbosaWebHome
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:53ZLuisSoaresBarbosa2LT
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:49ZTiagoAlvesWebSideBar
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:44ZJoseBacelarAlmeidaFlexibleSkinLeftBar
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:09ZJoseBacelarAlmeidaPUReNewsArchive
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:26ZJoseBacelarAlmeidaSdfMetz
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:26ZJoseBacelarAlmeidaPURePublications
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:26ZJoseBacelarAlmeidaHaGLR
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:26ZJoseBacelarAlmeidaCamila
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:50ZJoseBacelarAlmeidaCoddFish
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:50ZJoostVisserXsdMetz
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:15ZJoostVisserPUReCafe
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:16ZJoseBacelarAlmeidaPUReCafeTalk1
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:14ZJoseBacelarAlmeidaWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/WebTopicActions
(last changed by JoseBacelarAlmeida)2007-05-29T16:23:54ZJoseBacelarAlmeidaWebCss
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:18ZAlcinoCunha