Silvia Clerici

13 papers A 1C 1Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2013 J jnl
Graphical and incremental type inference. A graph transformation approach.
High. Order Symb. Comput.
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
2010 — conf
Graphical and Incremental Type Inference: A Graph Transformation Approach.
Trends in Functional Programming
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
2009 C conf
A dynamically customizable process-centered evaluation model.
PPDP
Silvia Clerici, Cristina Zoltan
2009 — conf
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation.
PROLE
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
2004 — conf
A graphic functional-dataflow language.
Trends in Functional Programming
Silvia Clerici, Cristina Zoltan
2001 — ch.
A Systematic Approach to Transform UML Static Models to Object-Oriented Code.
Unified Modeling Language: Systems Analysis, Design and Development Issues
Liliana Favre, Silvia Clerici
1999 — conf
Integrating UML and Algebraic Specification Techniques.
TOOLS (32)
Liliana Favre, Silvia Clerici
1995 — conf
Class-Sort Polymorphism in GLIDER.
COMPASS/ADT
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
1992 — conf
Semantic Constructions in the Specification Language GLIDER.
COMPASS/ADT
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
1990 — conf
The Specification Language GSBL.
ADT
Silvia Clerici, Fernando Orejas
1988 — conf
Development of Algebraic Specifications with Constraints.
Categorial Methods in Computer Science
Fernando Orejas, Vera Sacristán, Silvia Clerici
1988 A conf
GSBL: An Algebraic Specification Language Based on Inheritance.
ECOOP
Silvia Clerici, Fernando Orejas
1988 — conf
The Specification Language for the GESTALT Environment.
ADT
Silvia Clerici, Fernando Orejas, Pere Botella