Christian Gresse
According to our database1,
Christian Gresse
authored at least 6 papers
between 1979 and 1989.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
1989
Generic Extensions of a Prolog Browser.
Proceedings of the SPLT'89, 1989
1984
Exception Handling: Formal Specification and Systematic Program Construction.
Proceedings of the Proceedings, 1984
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984
1983
Automatic Programming From Data Types Decomposition Patterns.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
1980
Program Synthesis from Incomplete Specifiactions.
Proceedings of the 5th Conference on Automated Deduction, 1980
1979
A System which Synthesizes Array-Manipulating Programs from Specifications.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979