NDLI: Deriving Imperative Code from Functional Programs Patrice Quinton , Sanjay Rajopadhye , Doran Wilde

Please wait, while we are loading the content...

Deriving Imperative Code from Functional Programs Patrice Quinton , Sanjay Rajopadhye , Doran Wilde

Content Provider	Semantic Scholar
Author	Quinton, Patrice Rajopadhye, Sanjay V. Wilde, Doran
Copyright Year	1995
Abstract	Alpha is a data parallel functional language which has the capability of specifying algorithms at a very high level. Our ultimate objective is to generate eecient parallel imperative code from an Alpha program. In this paper, we discuss the related problem of generating eecient single processor imperative code. Analysis techniques that were developed for the synthesis of systolic arrays are extended and adapted for the compilation of functional programming languages. We also demonstrate how a transformational methodology can be used as a compilation engine to transform an Alpha program to a sequential form. C{code is then generated using a straightforward pretty printer from the sequential form Alpha program. The C{code may then be compiled to eeciently execute the program. Derivation de code imperatif a partir d'un programme fonctionnel R esum e : Alpha est un langage fonctionnel a parall elisme de donn ees qui permet de sp eciier des algorithmes a un tr es haut niveau d'abstraction. Notre objectif ultime est de produire du code imp eratif parall ele eecace, a partir d'un programme Alpha. Dans ce rapport, nous traitons le probl eme, li e a cet objectif, d'engendrer du code imp eratif eecace pour un seul processeur. Les techniques d'analyse qui ont et e d evelopp ees pour la synth ese d'architectures systoliques sont etendues et adapt ees a la compilation de langages de programmation fonctionnels. Nous montrons aussi comment une m ethodologie transfor-mationnelle peut ^ etre utilis ee comme moteur de compilation pour passer d'un programme Alpha a une forme s equentielle. A partir de cette forme, on peut g en erer du code C a l'aide d'un simple pretty-printer. Ce code peut ^ etre compil e aan d'ex ecuter le programme de faa con eecace.
File Format	PDF HTM / HTML
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in