A deductive approach to program synthesis
–Classics/files/AI/classics/Webber-Nilsson-Readings/Rdgs-NW-Manna-Waldinger.pdf
Assume we have the following transformation rules that define integer multiplication: 0. v 0
Feb-1-1980
- Country:
- North America > United States
- District of Columbia > Washington (0.04)
- New York > Onondaga County
- Syracuse (0.04)
- Massachusetts > Middlesex County
- Cambridge (0.04)
- California
- Santa Clara County > Stanford (0.04)
- San Mateo County > Menlo Park (0.04)
- Arizona > Pima County
- Tucson (0.04)
- Europe > United Kingdom
- England > Essex (0.04)
- Scotland > City of Edinburgh
- Edinburgh (0.04)
- Asia > Middle East
- Israel (0.04)
- North America > United States
- Industry:
- Government > Regional Government (0.46)
- Technology: