Christian Gresse

According to our database1, Christian Gresse authored at least 6 papers between 1979 and 1989.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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


  Loading...