Skip to main content

The Design of the PSI Program Synthesis System

C. Cordell Green

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Green:ICSE76,
  author    = {C. Cordell Green},
  title     = {The Design of the {PSI} Program Synthesis System},
  booktitle = {ICSE},
  pages     = {4--18},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}

Related papers

Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System ICSE 1976
Good-Enough Synthesis CAV 2020
Solving Two-Player Games Under Progress Assumptions VMCAI 2024
Binary Session Types for Psi-Calculi APLAS 2016
PSI: Exact Symbolic Inference for Probabilistic Programs CAV 2016
On Parallel Snapshot Isolation and Release/Acquire Consistency ESOP 2018
Bisimulation up-to techniques for psi-calculi CPP 2016
A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI PPoPP 1990