Inductive synthesis of equational programs
Abstract
References
- Inductive synthesis of equational programs
Recommendations
Inductive Completeness of Logics of Programs
We propose a new approach to delineating logics of programs, based directly on inductive definition of program semantics. The ingredients are elementary and well-known, but their fusion yields a simple yet powerful approach, surprisingly overlooked for ...
Deductive and inductive synthesis of equational programs
Special issue on automatic programmingAn equational approach to the synthesis of functional and logic program is taken. In this context, the synthesis task involves finding executable equations such that the given specification holds in their standard model. Hence, to synthesize such ...
Second-order equational logic
CSL'10/EACSL'10: Proceedings of the 24th international conference/19th annual conference on Computer science logicWe extend universal algebra and its equational logic from first to second order as follows. 1. We consider second-order equational presentations as specified by identities between second-order terms, with both variables and parameterised metavariables ...
Comments
Information & Contributors
Information
Published In
Sponsors
- AAAI: American Association for Artificial Intelligence
Publisher
AAAI Press
Publication History
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in