scholarly journals Polyvariant Program Specialisation with Property-based Abstraction

2019 ◽  
Vol 299 ◽  
pp. 34-48 ◽  
Author(s):  
John P. Gallagher
Keyword(s):  
Program Specialisation

scholarly journals Efficient and flexible access control via Jones-optimal logic program specialisation

2008 ◽  
Vol 21 (1-2) ◽  
pp. 5-35 ◽  
Author(s):  
Steve Barker ◽  
Michael Leuschel ◽  
Mauricio Varea
Keyword(s):  
Access Control ◽  
Logic Program ◽  
Program Specialisation

scholarly journals Logic program specialisation through partial deduction: Control issues

2002 ◽  
Vol 2 (4-5) ◽  
pp. 461-515 ◽  
Author(s):  
MICHAEL LEUSCHEL ◽  
MAURICE BRUYNOOGHE
Keyword(s):  
Automatic Control ◽  
Partial Evaluation ◽  
Logic Program ◽  
Partial Knowledge ◽  
The Past ◽  
Research Challenges ◽  
Partial Deduction ◽  
Main Challenge ◽  
Program Specialisation ◽  
Overall Performance

Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to exploit partial knowledge about the input. It is achieved through a well-automated application of parts of the Burstall-Darlington unfold/fold transformation framework. The main challenge in developing systems is to design automatic control that ensures correctness, efficiency, and termination. This survey and tutorial presents the main developments in controlling partial deduction over the past 10 years and analyses their respective merits and shortcomings. It ends with an assessment of current achievements and sketches some remaining research challenges.

Module-sensitive program specialisation

1997 ◽  
Vol 32 (5) ◽  
pp. 206-214
Author(s):  
Dirk Dussart ◽  
Rogardt Heldal ◽  
John Hughes
Keyword(s):  
Program Specialisation
Sign in / Sign up

Export Citation Format

Share Document