Summary:  Logic Based Program Synthesis and Transformation: 15th Int'nl Symp., LOPS*
*TR 2005
London, UK, September 7-9, 2005
cOSpringer-Verlag LNCS Vol. 3901, pages 6-22





Declarative Programming with Function Patterns?



Sergio Antoy1 Michael Hanus2

1 Computer Science Dept., Portland State University, Oregon, U.S.A.

antoy@cs.pdx.edu
2Institut f"ur Informatik, CAU Kiel, D-24098 Kiel, Germany.

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences