Tesis doctoral de claude Marché

Información academica claude Marché. Tesis donde claude Marché ha sido autor, director o parte del tribunal.

Abstract certification of java programs in rewriting logic

Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs […]

claude Marché, Francisco Javier Duran muñoz, María Alpuente Frasnedo, Mauricio Fernando Alba Castro, Ricardo Peña Mari, salvador Lucas alba

Towards a framework for proving termination of maude programs

Tesis doctoral de Beatriz Alarcón Jiménez Maude is a declarative programming language based on rewriting logic that incorporates many features

Beatriz Alarcón Jiménez, bernhard Gramlich, claude Marché, María Alpuente Frasnedo, pierre Lescanne, salvador Lucas alba