{"type":"ScholarlyArticle","title":"A Summary of the PSI Program Synthesis System","authors":[{"name":"C. Green","slug":"c-green","given":"C.","family":"Green","affiliation":"Computer Science Department Stanford University Stanford , California 94305"}],"abstract":"This paper describes the current status of the PSI program synthesis system. It a/lotus program specification dialogues using natural language, traces and examples from which a high-level program model is acquired . This model is then refined into an efficient implementation of the program. PSI consists of several modules including a parser-interprtter, tract and examples inference ·expert, dia logue moderator, program . model builder, coder and efficiency expert.","doi":null,"url":"https://ijcai.org/proceedings/1977/89","pdf":"https://ijcai.org/proceedings/1977/0089.pdf","markdown":"https://ijcai.org/proceedings/1977/89.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/89","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Aids to Programming","track":"Aids to Programming","number":89,"pages":{"first":380,"last":380},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Barstow, David R., A Knowledge-Based System for Automatic Program Construction , to be presented at the Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts, August 1977.","title":"A Knowledge-Based System for Automatic Program Construction","authors":"David R Barstow","year":"1977","venue":"Fifth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1977/90"},{"position":2,"raw":"Ginsparg, Jerrold, A Parser for English and Its Application in an Automatic Programming System, Ph.D. thesis, AI Memo, Artificial Intelligence Laboratory, CS Report, Computer Science Department, Stanford University, Stanford, California, forthcoming.","title":"A Parser for English and Its Application in an Automatic Programming System","authors":"Jerrold Ginsparg","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Green-76)","title":"Green-76","authors":null,"year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Green, Cordell, \"The Design of the PSI Program . Synthesis System\", Proceedings Second International Conferenct on Software Engineering, Computer Society, Institute of Electrical and Electronics Engineers, Inc., Long Beach, California, October 1976, pages 4-18.","title":"The Design of the PSI Program . Synthesis System","authors":"Cordell Green","year":"1976","venue":"Proceedings Second International Conferenct on Software Engineering","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Green & Barstow-75) Green, Cordell, and Barstow, David, \"Some Rules for the Automatic Synthesis of Programs\", Advance Papers of the Fourth International joint Conference on Artificial Intelligence, Volume I, Artificial Jntelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, September 1975, pages 232-239.","title":"Some Rules for the Automatic Synthesis of Programs","authors":"& Green, Cordell Barstow-75) Green, David Barstow","year":"1975","venue":"Advance Papers of the Fourth International joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1975/36"},{"position":6,"raw":"Green & Barstow-77) Green , Cordell, and Barstow, David, \"A Hypothetical Dialogue Exhibiting a Knowledge Base for a Program Understanding System\", in Elcock, E. W., and Michie, D., editors, Machine Intelligence 8: Machine Representations of Knowledge, John Wiley and Sons, Ltd., Chichester, England, 1977.","title":"A Hypothetical Dialogue Exhibiting a Knowledge Base for a Program Understanding System","authors":"& Green, Cordell Barstow-77) Green, David Barstow","year":"1977","venue":"Machine Intelligence 8: Machine Representations of Knowledge","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Kant-77)","title":"Kant-77","authors":null,"year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Kant, Elaine, The Selection of Efficient . Implementations for a High-Level Language, to be presented at the ACM SIGART-SIGPLAN Symposium on Artificial Intelligence and Programming Languages, Rochester, New York, August 1977.","title":"The Selection of Efficient . Implementations for a High-Level Language","authors":"Elaine Kant","year":"1977","venue":"ACM SIGART-SIGPLAN Symposium on Artificial Intelligence and Programming Languages","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"McCune, Brian P ., The PSI Program Model Builder: Synthesis of Very High-Level Programs, to be presented at the ACM SIGART-SIGPLAN Symposium on Artificial Intelligence and Programming Languages, Rochester, New York August 1977. •","title":"The PSI Program Model Builder: Synthesis of Very High-Level Programs","authors":"Brian P Mccune","year":"1977","venue":"ACM SIGART-SIGPLAN Symposium on Artificial Intelligence and Programming Languages","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Phillips, Jorge V., Program Inference from Traces Using Multiple Knowledge Sources, to be presented at the Fifth , International Joint Conference on Artificial Intelligence, Cambridge, ~ assachusetts, August 1977.","title":"Program Inference from Traces Using Multiple Knowledge Sources","authors":"Jorge V Phillips","year":"1977","venue":"International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1977/193"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}