Automating the Design of Algorithm

Authors:
Douglas R. Smith
Affiliations:
-
Venue:
Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Year:
1993

Rules and strategies for transforming functional and logic programs

ACM Computing Surveys (CSUR)
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study

CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Building structured theories

RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science

Hi-index	0.00