NDLI: Specialization of lazy functional logic programs

Content Provider	ACM Digital Library
Author	Alpuente, M. Julián, P. Falaschi, M. Vidal, G.
Abstract	Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 25]. Partial evaluation of pure functional programs uses mainly static values of given data to specialize the program [15, 44]. In logic programming, the so-called static/dynamic distinction is hardly present, whereas considerations of determinacy and choice points are far more important for control [12]. We discuss these issues in the context of a (lazy) functional logic language. We formalize a two-phase specialization method for a non-strict, first order, integrated language which makes use of lazy narrowing to specialize the program w.r. t. a goal. The basic algorithm (first phase) is formalized as an instance of the framework for the partial evaluation of functional logic programs of [2, 3], using lazy narrowing. However, the results inherited by [2, 3] mainly regard the termination of the PE method, while the (strong) soundness and completeness results must be restated for the lazy strategy. A post-processing renaming scheme (second phase) is necessary which we describe and illustrate on the well-known matching example. This phase is essential also for other non-lazy narrowing strategies, like innermost narrowing, and our method can be easily extended to these strategies. We show that our method preserves the lazy narrowing semantics and that the inclusion of simplification steps in narrowing derivations can improve control during specialization.
Starting Page	151
Ending Page	162
Page Count	12
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/258994.259015
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	32
Issue Number	12
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Lazy narrowing Post-processing renaming Integration of functional and logic programming Term rewriting systems Partial evaluation
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

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

Specialization of lazy functional logic programs

Partial evaluation of functional logic programs

Specialization of Lazy Functional Logic Programs (1997)

Call-by-name specialization of functional logic programs.

Partial evaluation of lazy functional logic programs.

Fast narrowing-driven partial evaluation for inductively sequential programs

Specialization of inductively sequential functional logic programs

Lazy functional programming in Java

Partial Evaluation of Functional Logic Programs (1998)

Specialization of lazy functional logic programs

Similar Documents

Specialization of lazy functional logic programs

Partial evaluation of functional logic programs

Specialization of Lazy Functional Logic Programs (1997)

Call-by-name specialization of functional logic programs.

Partial evaluation of lazy functional logic programs.

Fast narrowing-driven partial evaluation for inductively sequential programs

Specialization of inductively sequential functional logic programs

Lazy functional programming in Java

Partial Evaluation of Functional Logic Programs (1998)

Specialization of lazy functional logic programs