According to our database1, Christian Gresse authored at least 6 papers between 1979 and 1989.
Legend:Book In proceedings Article PhD thesis Other
Generic Extensions of a Prolog Browser.
Proceedings of the SPLT'89, 1989
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
Automatic Programming From Data Types Decomposition Patterns.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
Program Synthesis from Incomplete Specifiactions.
Proceedings of the 5th Conference on Automated Deduction, 1980
A System which Synthesizes Array-Manipulating Programs from Specifications.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979