PURe

Program Understanding and Re-engineering: Calculi and Applications

Navigation

News

Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau).

July 3 Paper Configurations of Web Services by MarcoAntonioBarbosa and LuisSoaresBarbosa has been accepted for FOCLASA'06 (Bonn, Germany).

July 3 Paper Strong Types for Relational Databases by Alexandra Silva and JoostVisser has been accepted for the Haskell Workshop 2006 (Portland, USA).

June 16 Paper Strongly Typed Rewriting For Coupled Software Transformation (by AlcinoCunha and JoostVisser) accepted by RULE 2006 (Seattle, USA).

May, 26 Paper Transposing Partial Coalgebras (by LuisSoaresBarbosa and JoseNunoOliveira) accepted for publication in TCS, Elsevier.

May, 11 Papers Type-safe two-level data transformation (by AlcinoCunha, JoseNunoOliveira and JoostVisser) and Pointfree factorization of operation refinement (by JoseNunoOliveira and Cesar Rodrigues) have been accepted by FM'06 (Canada).

May, 8 A paper entitled An Orchestrator for Dynamic Interconnection of Software Components, by MarcoAntonioBarbosa and LuisSoaresBarbosa, accepted at MTCoord'06 (Bologna).

More...

Research » PURe » WebHome » WebIndex

Research/PURe Web	Changed	Changed by

2LT	05 Dec 2007 - 23:40 - r19	TiagoAlves
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 ...

Camila	04 Nov 2007 - 18:58 - r15	JoseBacelarAlmeida
CAMILA: VDM meets Haskell The Camila project explores how concepts from the VDM specification language and the functional programming language Haskell can be combined ...

ChopaChops	09 Aug 2004 - 09:53 - NEW	JoostVisser
What is ChopaChops? ChopaChops is a collection of tools for slicing and chopping of graphs. Currently, only a single tools is included in the collection: JReach ...

CoddFish	11 Jul 2007 - 21:47 - r19	JoostVisser
!CoddFish !CoddFish is a Haskell library that offers strongly typed support for database programming. Documentation !CoddFish makes extensive use of heterogenous ...

FlexibleSkinLeftBar	04 Nov 2007 - 19:21 - r6	JoseBacelarAlmeida
Project Home PURe Café Publications Software Related Group Conferences Books IKF Project Navigation Users Changes Index Statistics Webs Search

FlexibleSkinStyleSheet	23 Mar 2005 - 08:41 - NEW	JoostVisser
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...

FlexibleSkinTopBar	23 Mar 2005 - 08:43 - NEW	JoostVisser
.

FlexibleSkinTopicFooter	23 Mar 2005 - 08:45 - NEW	JoostVisser
{ Edit Attach Printable Diffs More... }

GenericSlicing	12 Feb 2007 - 19:48 - r2	JoseBacelarAlmeida
One of the research topics of the Research.PURe Project is development of generic program slicing techniques. Contributors Personal.Nuno Rodrigues Patrick ...

HaGLR	04 Nov 2007 - 19:18 - r4	JoseBacelarAlmeida
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 ...

HaskellCommunitiesAndActivities	12 Feb 2007 - 19:32 - r12	JoseBacelarAlmeida
Haskell Activities and Communities Report Entries submitted by the LMF group at the Informatics Department of the University of Minho. Libraries 1. Pointless Haskell ...

PUReCafe	28 Jun 2007 - 11:45 - r82	JoseBacelarAlmeida
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 ...

PUReCafeTalk1	28 Jun 2007 - 11:42 - r6	JoseBacelarAlmeida
Invitation to Wiki Basic Principles WikiName TextFormattingRules Edit via browser Distributed ownership Successful Wikis ...

PUReEvents	12 Feb 2007 - 19:45 - r10	JoseBacelarAlmeida
Forthcoming Events Date Event Every Thursday PUReCafe 2004.09.30 Project Evaluation Meeting 2004.10.10 Annual Report 2004.10.18 21 ...

PUReNews	16 Feb 2007 - 14:06 - r52	AlcinoCunha
Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau ...

PUReNewsArchive	04 Nov 2007 - 19:18 - r6	JoseBacelarAlmeida
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 ...

PURePublications	04 Nov 2007 - 19:18 - r54	JoseBacelarAlmeida
Project Publications and Reports Publications (Conference Papers) On the Specification of a Component Repository , Rodrigues, N. and Barbosa, L., FACS'03 (Int ...

PUReSoftware	12 Feb 2007 - 19:42 - r21	JoseBacelarAlmeida
UMinho Haskell Software Libraries Tools The UMinho Haskell Software is a repository of software, written in the functional programming language Haskell, that ...

PointFree	12 Feb 2007 - 19:59 - r3	JoseBacelarAlmeida

ProjectSummary	02 Mar 2009 - 19:23 - r2	LuisSoaresBarbosa
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 ...

PureAnnouncements	12 Feb 2007 - 19:43 - r3	JoseBacelarAlmeida
Announcements Themes Proposed Functional Animation of Reactive Systems (LuisSoaresBarbosa) Coinductive Programming: Calculi and Applications (LuisSoaresBarbosa ...

SdfMetz	04 Nov 2007 - 19:18 - r15	JoseBacelarAlmeida
!SdfMetz: metrication of SDF grammars !SdfMetz computes metrics for SDF grammars. Among the supported metrics are counters of terminals, non terminals, productions ...

SoftwareAnalysisLabPaperLinks	18 Jul 2004 - 10:33 - NEW	JoostVisser
This page lists links to papers mentioned in the FCT proposal entitled "Software Analysis Lab": 1. http://www.di.uminho.pt/~joost.visser/publications/AToolBasedMethodologyForSoftwarePortfolioMonitoring ...

SpreadsheetUnderstanding	12 Feb 2007 - 19:58 - r18	JoseBacelarAlmeida
Spreadsheet Understanding The Spreadsheet Understanding is a subproject of the Research.PURe project that aims to apply program understanding and reverse engineering ...

UsingCVS	12 Feb 2007 - 19:32 - r5	JoseBacelarAlmeida
Using CVS For the current state of affairs you can take a peek at our repository. To use CVS do the following: Login to the repository With: cvs d :pserver:username ...

VDMGrammarEvolution	12 Feb 2007 - 19:32 - r2	JoseBacelarAlmeida
Quantification of the development evolution of the VDM grammar of VooDooMFront. Coverage Metrics Version KP Pr S RSa RSm RC 0.0.1 ...

VooDooM	18 May 2005 - 13:22 - r3	JoostVisser
VooDooM : A transformation tool for VDM SL. FUNCTIONALITY VooDooM reads VDM SL specifications and applies transformation rules to the datatypes that are defined ...

VooDooMFront	12 Feb 2007 - 19:32 - r16	JoseBacelarAlmeida
News May 18, 2005 A browsable version of the VDM SL grammar is now online. April 29, 2005 A report came out on the development of the VDM grammar in SDF. February ...

WebChanges	16 Aug 2001 - 19:58 - NEW	PeterThoeny?

WebCss	16 Feb 2007 - 14:32 - NEW	AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...

WebHome	02 Mar 2009 - 19:18 - r37	LuisSoaresBarbosa
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 ...

WebIndex	24 Nov 2001 - 11:41 - r2	PeterThoeny?
See also the faster WebTopicList

WebLeftBar	13 Feb 2007 - 01:27 - r2	JoseBacelarAlmeida
Web Web Home Changes Index Search Topics

WebNotify	04 Jun 2006 - 14:33 - r5	JoostVisser
This is a subscription service to be automatically notified by e mail when topics change in this Research/PURe web. This is a convenient service, so you do not have ...

WebPreferences	16 Feb 2007 - 13:53 - r7	AlcinoCunha
TWiki.Research/PURe Web Preferences The following settings are web preferences of the TWiki.Research/PURe web. These preferences overwrite the site level preferences ...

WebRss	30 Jan 2003 - 08:15 - NEW	PeterThoeny?
TWiki's Research/PURe web /view/Research/PURe The Research/PURe web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.

WebSearch	08 Aug 2001 - 05:26 - NEW	PeterThoeny?

WebSearchAdvanced	17 May 2007 - 14:51 - NEW	TWikiGuest

WebSideBar	04 Nov 2007 - 19:25 - r3	JoseBacelarAlmeida
Navigation Home PURe Café Publications Software Related Group Conferences IKF Project News

WebStatistics	04 Nov 2007 - 19:18 - r1135	JoseBacelarAlmeida
Statistics for Research/PURe Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...

WebTopicActions	29 May 2007 - 16:23 - r2	JoseBacelarAlmeida

WebTopicList	24 Nov 2001 - 11:40 - NEW	PeterThoeny?
See also the verbose WebIndex.

XsdMetz	11 Jul 2007 - 21:47 - r5	JoostVisser
!XsdMetz The !XsdMetz tool computes metrics for XML schemas. Documentation !XsdMetz was developed to support the structure metrics defined in the following publication ...

Found 43 topics.

PURe

Navigation

Related

News