PURe
Program Understanding and Re-engineering: Calculi and Applications
Login
|
Print
Navigation
Home
PURe Café
Publications
Software
Related
FAST Group
Conferences
IKF Project
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
»
PureAnnouncements
Announcements
Themes Proposed
Functional Animation of Reactive Systems
(
LuisSoaresBarbosa
)
Coinductive Programming: Calculi and Applications
(
LuisSoaresBarbosa
)
3
Themes
?
on Point-free Programming and Recursion Patterns (
JorgeSousaPinto
)
Internships / Estágios
see anncouncement
here
(
JoostVisser
)
r3 - 12 Feb 2007 - 19:43:38 -
JoseBacelarAlmeida
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM