H ? « ‹ ← → › »

Language peer sets for ALF:
Germany↑
Germany/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Experimental and other ↑
Experimental and other/1990↑
Experimental and other/de ↑

ALF(ID:1804/alf001)

alternate simple view
Country: Germany
Designed 1990
Sammet category: Experimental and other

for Algebraic Logic Functional language

Michael Hanus Uni of Kiel 1990

A language which combines functional and logic programming techniques.

ALF is a functional logic language whose operational semantics is based on innermost narrowing with normalization. Its implementation is based on an extension of the WAM.

Structures:
Related languages
coq → ALF   Based on
References:
  • Hanus, M. and Schwab, A. (1990) Hanus, M. and Schwab, A. "The Implementation of the Functional-Logic Language ALF" Extract: Introduction
  • Hanus, Michael (1990) Hanus, Michael "Compiling Logic Programs with Equality" Abstract
          in [Proceedings] (1990) 2nd International Workshop on Programming Language Implementation and Logic Programming (PLILP'90), Springer LNCS 456, 1990
  • Hanus, Michael (1991) Hanus, Michael "Efficient Implementation of Narrowing and Rewriting" pp344-365 Abstract
          in [Proceedings] (1990) 2nd International Workshop on Programming Language Implementation and Logic Programming (PLILP'90), Springer LNCS 456, 1990
  • Hanus, Michael (1992) Hanus, Michael "Improving Control of Logic Programs by Using Functional Logic Languages" pp1-23 Abstract
          in (1992) 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP'92), Springer LNCS 631, 1992
  • Hanus, Michael (1992) Hanus, Michael "Incremental Rewriting in Narrowing Derivations" pp228-243 Abstract
          in Narrowing Derivations 3rd International Conference (1992) Narrowing Derivations 3rd International Conference on Algebraic and Logic Programming" (ALP'92), Springer LNCS 632, 1992
  • Hanus, Michael and Berthold Josephs (1993) Hanus, Michael and Berthold Josephs "A Debugging Model for Functional Logic Programs" pp28-43 Abstract
          in (1993) 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), Springer LNCS 714, 1993
  • Hanus, Michael (1994) Hanus, Michael "Towards the Global Optimization of Functional Logic Programs" pp68-82 Abstract
          in Compiler Construction '94. (1994) Compiler Construction '94. (Proc. 5th Intl. Conf. on Compiler Construction, Edinburgh, 1994) (CC'94) ed P.A. Fritzson, LNCS786 Springer Verlag
  • Hanus, Michael and Frank Zartmann (1994) Hanus, Michael and Frank Zartmann "Mode Analysis of Functional Logic Programs" pp26-42 Abstract
          in [Proceedings] (1994) Proceedings of the 1st International Static Analysis Symposium (SAS'94), Springer LNCS 864, 1994
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder