Editing
Specialization of Functional Logic Programs
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
Title: Specialization of Functional Logic Programs Research Question: How can functional logic programs be specialized to improve performance and efficiency? Methodology: The authors propose a technique called "partial evaluation" based on a strategy called "needed narrowing." This technique involves evaluating and computing the results of certain parts of the program ahead of time, before the program is run in its entirety. This approach is particularly useful for functional logic programs, which combine the features of functional and logic programming languages. Results: The authors provide correctness results for partial evaluation based on needed narrowing. They show that this strategy has several nice properties, such as preserving the structure of the original program and allowing the same evaluation strategy to be applied to specialized programs. This is in contrast to other partial evaluation schemes, which may change the program structure in a negative way. Implications: The results of this research have implications for the development of more efficient and effective functional logic programs. The technique of partial evaluation based on needed narrowing can be used to create specialized versions of programs that can be executed more quickly and with less resources. This technique can also be applied to other declarative multi-paradigm programs, further expanding its impact on the field. Link to Article: https://arxiv.org/abs/0403011v1 Authors: arXiv ID: 0403011v1 [[Category:Computer Science]] [[Category:Programs]] [[Category:This]] [[Category:Functional]] [[Category:Logic]] [[Category:Be]]
Summary:
Please note that all contributions to Simple Sci Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Simple Sci Wiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
Edit source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information