Editing
Alberto Pettorossi
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: Alberto Pettorossi Main Research Question: How can we improve the efficiency of logic programs through specialization and reduction of nondeterminism? Methodology: The authors propose a set of transformation rules that extend those used for partial evaluation, and a strategy for guiding their application to derive specialized, highly efficient programs. They use mode information to guide the unfolding process and reduce nondeterminism. Results: The authors demonstrate that their technique can automatically derive very efficient matching programs and parsers for regular languages, which could not have been done by previously known partial evaluation techniques. They show that their approach can lead to efficiency improvements that are sometimes exponential, due to the reduction of nondeterminism and the fact that computations performed in different branches of the computation trees are performed within single branches. Implications: The technique proposed by Pettorossi et al. can lead to significant improvements in the efficiency of logic programs, particularly in reducing nondeterminism and improving program specialization. This can have practical implications in various fields, such as natural language processing, pattern recognition, and automated reasoning. Link to Article: https://arxiv.org/abs/0311044v1 Authors: arXiv ID: 0311044v1 [[Category:Computer Science]] [[Category:Can]] [[Category:Programs]] [[Category:Nondeterminism]] [[Category:Efficiency]] [[Category:Their]]
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