Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Removing superfluous versions in polyvariant specialization of prolog programs.

Subjects: Informática

  • Source: Logic-Based Program Synthesis and Transformation | 15th International Symposium, LOPSTR 2005 | September 7-9, 2005 | London, UK

تفاصيل العنوان

×
Conference

A generic framework for the analysis and specialization of logic programs

Subjects: Informática

  • Source: Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 | 15th Workshop on Logic-based methods in Programming Environments WLPE'05 | October 5, 2005 | Sitges, Spain

تفاصيل العنوان

×
Conference

Abstract specialization and its applications

Subjects: Informática

  • Source: PEPM '03 Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation | PEPM '03 Partial Evaluation and Semantics-Based Program Manipulation | June 07 -

تفاصيل العنوان

×
Conference

Some issues in analysis and specialization of modular ciao-prolog programs

Subjects: Informática

  • Source: Electronic notes in theoretical computer science | WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic

تفاصيل العنوان

×
Conference

A generic framework for the analysis and specialization of logic programs

Subjects: Informática

  • Source: Logic Programming: 21st International Conference on Logic Programming (ICLP 2005) | 21st International Conference on Logic Programming (ICLP 2005) | 2-5 Oct 2005 | Sitges, España

تفاصيل العنوان

×
Conference

Abstract specialization and its application to program parallelization

Subjects: Informática

  • Source: Logic-Based Program Synthesis and Transformation | 6th International Workshop, LOPSTR'96 | August 28-30, 1996 | Stockholm, Sweden

تفاصيل العنوان

×
Conference

Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation

Subjects: Informática

  • Source: Proceedings of the ILPS'97 Workshop on Specialization of Declarative Programs | ILPS'97 Workshop on Specialization of Declarative Programs

تفاصيل العنوان

×
  • 1-10 ل  61 نتائج ل ""Specialization""