Algebraic Transformation Techniques for Functional Languages | Zendy

Peter G. Harrison | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Algebraic Transformation Techniques for Functional Languages

Author(s) -

Peter G. Harrison

Publication year - 1988

Publication title -

the computer journal

Language(s) - French

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/31.3.229

Subject(s) - computer science , correctness , compiler , programming language , transformation (genetics) , functional programming , abstraction , parsing , theoretical computer science , program transformation , function (biology) , biochemistry , biology , gene , chemistry , philosophy , epistemology , evolutionary biology

Lors de l'utilisation des langages de haut niveau conventionnels, le programmeur doit considerer deux aspects: le developpement de programmes corrects et l'utilisation optimale de toutes les ressources de la machine. Une approche de transformation est basee sur la separation des concepts de correction de programmes et efficacite. Dans cet article la transformation d'un langage fonctionnel est etudiee. Dans l'approche proposee la syntaxe est essentiellement basee sur les techniques du lambda calcul

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research