文章基本信息

标题：HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk)
本地全文：下载
作者：Andrew Gill
期刊名称：OASIcs : OpenAccess Series in Informatics
电子版ISSN：2190-6807
出版年度：2014
卷号：40
页码：1-1
DOI：10.4230/OASIcs.WPTE.2014.1
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：HERMIT is a rewrite system for Haskell.
关键词：Program Transformation; Equational Reasoning; Optimization