Towards modular binding-time analysis for first-order Mercury

Wim Vanhoof, Maurice Bruynooghe

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

5 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « Towards modular binding-time analysis for first-order Mercury ». Ensemble, ils forment une empreinte digitale unique.

Chemistry

Engineering