Resumen de Hacia un entorno de programación basado en tipos de datos: la notación Merlín

Pere Botella i López , Xavier Pueyo Sandez , Fernando Orejas Valdés

• MERLIN es la notación algorítmica sobre la que se basa el entorno de programación EXCALIBUR, actualmente en construcción. Este entorno y, en consecuencia, Merlín, se basan en el diseño de programas con tipos abstractos de datos. En consecuencia, el concepto de abstracción de datos es el que ha guiado, fundamentalmente el diseño de Merlín, del cual no han estado ausentes otros principios como fiabilidad, simplicidad, etc. Este trabajo se centra fundamentalmente en la descripción de las dos construcciones más importantes de Merlín: los tipos y los universos, describiéndose someramente otros aspectos, como pueden ser la estructura general de un programa, el problema de la sobrecarga, etc.