Back to Search
Start Over
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms
- Source :
- Logic-Based Program Synthesis and Transformation ISBN: 9783319631387, LOPSTR
- Publication Year :
- 2017
- Publisher :
- Springer International Publishing, 2017.
-
Abstract
- Partial evaluation (PE) is a powerful and general program optimization technique with many successful applications. However, it has never been investigated in the context of expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ELAN, which support: rich type structures with sorts, subsorts and overloading; and equational rewriting modulo axioms such as commutativity, associativity–commutativity, and associativity–commutativity–identity. In this paper, we illustrate the key concepts by showing how they apply to partial evaluation of expressive rule-based programs written in Maude. Our partial evaluation scheme is based on an automatic unfolding algorithm that computes term variants and relies on equational least general generalization for ensuring global termination. We demonstrate the use of the resulting partial evaluator for program optimization on several examples where it shows significant speed-ups.
- Subjects :
- Programming language
Computer science
Modulo
Context (language use)
0102 computer and information sciences
02 engineering and technology
Term (logic)
Program optimization
computer.software_genre
01 natural sciences
Partial evaluation
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
010201 computation theory & mathematics
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
0202 electrical engineering, electronic engineering, information engineering
020201 artificial intelligence & image processing
Rewriting
Commutative property
computer
Axiom
Subjects
Details
- ISBN :
- 978-3-319-63138-7
- ISBNs :
- 9783319631387
- Database :
- OpenAIRE
- Journal :
- Logic-Based Program Synthesis and Transformation ISBN: 9783319631387, LOPSTR
- Accession number :
- edsair.doi...........c5af917cf3df48cfa9f361e3befa0748