ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance'. Together they form a unique fingerprint.

Keyphrases

Computer Science