Silvia Clerici

According to our database, Silvia Clerici authored at least 12 papers between 1988 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Graphical and incremental type inference. A graph transformation approach.

Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo

High. Order Symb. Comput., 2013

2009

NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation.

Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

A dynamically customizable process-centered evaluation model.

Silvia Clerici, Cristina Zoltan

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2004

A graphic functional-dataflow language.

Silvia Clerici, Cristina Zoltan

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

2001

A Systematic Approach to Transform UML Static Models to Object-Oriented Code.

Liliana Favre, Silvia Clerici

Proceedings of the Unified Modeling Language: Systems Analysis, 2001

1999

Integrating UML and Algebraic Specification Techniques.

Liliana Favre, Silvia Clerici

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

1995

Class-Sort Polymorphism in GLIDER.

Silvia Clerici, Rosa M. Jiménez, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1995

1992

Semantic Constructions in the Specification Language GLIDER.

Silvia Clerici, Rosa M. Jiménez, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1992

1990

The Specification Language GSBL.

Silvia Clerici, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

GSBL: An Algebraic Specification Language Based on Inheritance.

Silvia Clerici, Fernando Orejas

Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

Development of Algebraic Specifications with Constraints.

Fernando Orejas, Vera Sacristán, Silvia Clerici

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

The Specification Language for the GESTALT Environment.

Silvia Clerici, Fernando Orejas, Pere Botella

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988