Author of the publication

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.

, and . SLP, page 144-153. IEEE-CS, (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hardware/software partitioning for multifunction systems., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17 (9): 819-837 (1998)The "Software Engineering'' of Expert Systems: Is Prolog Appropriate?. IEEE Trans. Software Eng., 11 (11): 1391-1400 (1985)A Note on Clustering Modules for Floorplanning., and . DAC, page 594-597. ACM Press, (1989)On Embedding Functions in Logic., and . Inf. Process. Lett., 19 (1): 41-46 (1984)A Basis for a Theory of Program Synthesis.. AAAI, page 74-76. AAAI Press/MIT Press, (1980)Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs., and . POPL, page 228-234. ACM Press, (1984)Equational Logic Programming: An Extension to Equational Programming., and . POPL, page 209-218. ACM Press, (1986)What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components.. Hardware Specification, Verification and Synthesis, volume 408 of Lecture Notes in Computer Science, page 202-223. Springer, (1989)Design technologies for embedded multimedia systems., and . IFIP World Conference on IT Tools, page 265-274. Chapman & Hall, (1996)Reasoning About Probabilistic Behavior in Concurrent Systems., and . IEEE Trans. Software Eng., 13 (6): 740-745 (1987)