Can I read Modelling the Combination of Functional and Logic Programming Languages on EtoBox?
Modelling the Combination of Functional and Logic Programming Languages by U. Furbach; S. Hölldobler is a Computer Science article available to read on EtoBox.
What is Modelling the Combination of Functional and Logic Programming Languages about?
The combination of functional and pure Horn clause logic languages is formally introduced . To give a framework for the investigation of implementations we define a complete and consistent model, which retains full invertibility and allows separation of logic and control . Some existing implementations are discussed from this viewpoint . An extended unification algorithm is suggested, which incorporates the features demanded by our model .
Who reads Modelling the Combination of Functional and Logic Programming Languages?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- U. Furbach; S. Hölldobler
- Publisher
- Elsevier Science; Elsevier ; Elsevier Inc.; Elsevier BV (ISSN 0747-7171)
- Published
- 1986
- Language
- EN
- Field
- Computer Science (Physical Sciences)