Forward slicing of functional logic programs by partial evaluation
Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declar...
Uložené v:
| Vydané v: | Theory and practice of logic programming Ročník 7; číslo 1-2; s. 215 - 247 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Cambridge, UK
Cambridge University Press
01.01.2007
|
| Predmet: | |
| ISSN: | 1471-0684, 1475-3081 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declarative multi-paradigm programs which integrate features from functional and logic programming. Basically, given a program and a slicing criterion (a function call in our setting), the computed forward slice contains those parts of the original program which are reachable from the slicing criterion. Our approach to program slicing is based on an extension of (online) partial evaluation. Therefore, it provides a simple way to develop program slicing tools from existing partial evaluators and helps to clarify the relation between both methodologies. A slicing tool for the multi-paradigm language Curry, which demonstrates the usefulness of our approach, has been implemented in Curry itself. |
|---|---|
| AbstractList | Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declarative multi-paradigm programs which integrate features from functional and logic programming. Basically, given a program and a
slicing criterion
(a function call in our setting), the computed forward slice contains those parts of the original program which are
reachable
from the slicing criterion. Our approach to program slicing is based on an extension of (online) partial evaluation. Therefore, it provides a simple way to develop program slicing tools from existing partial evaluators and helps to clarify the relation between both methodologies. A slicing tool for the multi-paradigm language Curry, which demonstrates the usefulness of our approach, has been implemented in Curry itself. Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declarative multi-paradigm programs which integrate features from functional and logic programming. Basically, given a program and a slicing criterion (a function call in our setting), the computed forward slice contains those parts of the original program which are reachable from the slicing criterion. Our approach to program slicing is based on an extension of (online) partial evaluation. Therefore, it provides a simple way to develop program slicing tools from existing partial evaluators and helps to clarify the relation between both methodologies. A slicing tool for the multi-paradigm language Curry, which demonstrates the usefulness of our approach, has been implemented in Curry itself. Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declarative multi-paradigm programs which integrate features from functional and logic programming. Basically, given a program and a slicing criterion (a function call in our setting), the computed forward slice contains those parts of the original program which are reachable from the slicing criterion. Our approach to program slicing is based on an extension of (online) partial evaluation. Therefore, it provides a simple way to develop program slicing tools from existing partial evaluators and helps to clarify the relation between both methodologies. A slicing tool for the multi-paradigm language Curry, which demonstrates the usefulness of our approach, has been implemented in Curry itself. [PUBLICATION ABSTRACT] |
| Author | SILVA, JOSEP VIDAL, GERMÁN |
| Author_xml | – sequence: 1 givenname: JOSEP surname: SILVA fullname: SILVA, JOSEP email: jsilva@dsic.upv.es organization: DSIC, Technical University of Valencia, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail; jsilva@dsic.upv.es, gvidal@dsic.upv.es – sequence: 2 givenname: GERMÁN surname: VIDAL fullname: VIDAL, GERMÁN email: jsilva@dsic.upv.es organization: DSIC, Technical University of Valencia, Camino de Vera s/n, E-46022 Valencia, Spain (e-mail; jsilva@dsic.upv.es, gvidal@dsic.upv.es |
| BookMark | eNp1UMtOwzAQtFCRaAsfwM3iHlg_ajtHqCggVeIAnKONY0ep0rjYCah_TwqVOCBOu9p5aHZmZNKFzhFyyeCaAdM3L0xqBspIUADcaDgh0_G0yAQYNvneWXbAz8gspQ0AU4LLKblbhfiJsaKpbWzT1TR46ofO9k3osKVtqBtLdzHUEbeJlnu6w9g3I-I-sB3wQDsnpx7b5C6Oc07eVvevy8ds_fzwtLxdZ5Yr02fOSiHFItdVpT2AQWGQiZxzXUrvwVdSGq5RSOWlw7zEqrIlKERTai1Aijm5-vEd47wPLvXFJgxxTJkKPr6Ta7FQI4n9kGwMKUXni11sthj3BYPi0FTxp6lRI44a3JaxqWr36_y_6guS4Wwh |
| Cites_doi | 10.1007/3-540-61580-6_20 10.1007/3-540-44716-4_14 10.1145/289121.289138 10.1016/0743-1066(92)90024-W 10.1016/S0950-5849(98)00087-1 10.1007/BFb0013825 10.7551/mitpress/1192.001.0001 10.1109/TSE.1984.5010248 10.1145/871895.871907 10.1145/1014007.1014020 10.1145/347476.347484 10.1016/S0020-0190(02)00336-8 10.1017/S0956796897002712 10.1145/24039.24041 10.1017/S0956796899003330 10.1017/CBO9781139172752 10.1016/0022-0000(91)90009-T 10.1145/5956.5957 10.1016/j.jsc.2004.01.001 10.1017/S0956796800002008 10.1145/236338.236355 10.1007/BF03037257 10.1016/S0950-5849(98)00029-9 10.1002/swf.41 10.1145/113446.113455 10.1016/0743-1066(94)90034-5 10.1145/291891.291896 |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2007 2007 Cambridge University Press |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2007 – notice: 2007 Cambridge University Press |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1017/S1471068406002870 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1475-3081 |
| EndPage | 247 |
| ExternalDocumentID | 1403189921 10_1017_S1471068406002870 |
| Genre | Feature |
| GroupedDBID | -E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAEED AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABMYL ABQTM ABQWD ABROB ABTCQ ABUWG ABZCX ACBMC ACCHT ACGFS ACIMK ACNCT ACQFJ ACREK ACUIJ ACUYZ ACWGA ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADGEJ ADKIL ADOCW ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFKSM AFLOS AFLVW AFUTZ AGABE AGBYD AGJUD AGOOT AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IPYYG IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WXY WYP ZYDXJ AAYXX ABGDZ ABVKB ABVZP ABXHF ACAJB ACDLN AFFHD AFZFC AKMAY CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c268t-ec4343597dd7f008a38a139227b4ff0fd44827a346f4ea9baddcb06aa8b773043 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000245053800009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1471-0684 |
| IngestDate | Sun Nov 09 06:55:04 EST 2025 Sat Nov 29 04:58:33 EST 2025 Wed Mar 13 05:51:26 EDT 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1-2 |
| Keywords | functional logic programming partial evaluation forward slicing |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c268t-ec4343597dd7f008a38a139227b4ff0fd44827a346f4ea9baddcb06aa8b773043 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 |
| PQID | 201697356 |
| PQPubID | 43613 |
| PageCount | 33 |
| ParticipantIDs | proquest_journals_201697356 crossref_primary_10_1017_S1471068406002870 cambridge_journals_10_1017_S1471068406002870 |
| PublicationCentury | 2000 |
| PublicationDate | 20070100 2007-01-00 20070101 |
| PublicationDateYYYYMMDD | 2007-01-01 |
| PublicationDate_xml | – month: 01 year: 2007 text: 20070100 |
| PublicationDecade | 2000 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Theory and practice of logic programming |
| PublicationTitleAlternate | Theory and Practice of Logic Programming |
| PublicationYear | 2007 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | S1471068406002870_N106A9 Larsen (S1471068406002870_N105BD) 1996 S1471068406002870_N10891 Steindl (S1471068406002870_N107D0) 1998 Hallgren (S1471068406002870_N103B4) 2003 Harman (S1471068406002870_N1049B) 1995 Brassel (S1471068406002870_N1026A) 2004 S1471068406002870_N1084D López-Fraguas (S1471068406002870_N10686) 1999 S1471068406002870_N1040E S1471068406002870_N103D1 Loogen (S1471068406002870_N1065D) 1993 Zhao (S1471068406002870_N108E5) 2001 Reps (S1471068406002870_N106F8) 1996 S1471068406002870_N10458 Schoenig (S1471068406002870_N10732) 1996 Shapiro (S1471068406002870_N10775) 1983 S1471068406002870_N100FD S1471068406002870_N10187 S1471068406002870_N10420 S1471068406002870_N10222 S1471068406002870_N104BB Leuschel (S1471068406002870_N105FD) 1996 S1471068406002870_N102B6 S1471068406002870_N101D9 S1471068406002870_N1089F S1471068406002870_N1081B Huet (S1471068406002870_N10504) 1992 S1471068406002870_N1078C Tip (S1471068406002870_N107FE) 1995; 3 Albert (S1471068406002870_N10135) 2002; 2002 S1471068406002870_N108BF S1471068406002870_N101AD S1471068406002870_N1086D Leuschel (S1471068406002870_N105E0) 2002 (S1471068406002870_N107ED) 2003 Kuck (S1471068406002870_N1058B) 1981 S1471068406002870_N107A4 Gyimóthy (S1471068406002870_N10391) 1995 Lloyd (S1471068406002870_N10643) 1994 Gallagher (S1471068406002870_N10308) 1993 S1471068406002870_N1015B S1471068406002870_N1023C S1471068406002870_N101F6 Chitil (S1471068406002870_N10299) 2004 S1471068406002870_N10755 S1471068406002870_N106CF Klop (S1471068406002870_N10557) 1992 Glück (S1471068406002870_N10357) 1996 Harman (S1471068406002870_N1047E) 1997 Jones (S1471068406002870_N10534) 1993 Hanus (S1471068406002870_N103EE) 1997 S1471068406002870_N104E1 S1471068406002870_N102E2 S1471068406002870_N1024A Leuschel (S1471068406002870_N10620) 2005 S1471068406002870_N10328 |
| References_xml | – start-page: 43 volume-title: Proc. of the International Logic Programming Symposium year: 1994 ident: S1471068406002870_N10643 – start-page: 409 volume-title: Partial Evaluation. Dagstuhl Castle, Germany, February 1996 year: 1996 ident: S1471068406002870_N106F8 doi: 10.1007/3-540-61580-6_20 – start-page: 83 volume-title: Proc. of the Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'96) year: 1996 ident: S1471068406002870_N105FD – ident: S1471068406002870_N10891 – start-page: 317 volume-title: Proc. of the Int'l Static Analysis Symposium (SAS'96) year: 1996 ident: S1471068406002870_N10732 – ident: S1471068406002870_N104E1 doi: 10.1007/3-540-44716-4_14 – ident: S1471068406002870_N1024A doi: 10.1145/289121.289138 – ident: S1471068406002870_N106A9 doi: 10.1016/0743-1066(92)90024-W – ident: S1471068406002870_N102E2 doi: 10.1016/S0950-5849(98)00087-1 – ident: S1471068406002870_N101D9 doi: 10.1007/BFb0013825 – volume-title: Algorithmic Program Debugging year: 1983 ident: S1471068406002870_N10775 doi: 10.7551/mitpress/1192.001.0001 – start-page: 88 volume-title: Proc. of the ACM Symp. on Partial Evaluation and Seman-tics-Based Program Manipulation (PEPM'93) year: 1993 ident: S1471068406002870_N10308 – ident: S1471068406002870_N1040E – volume-title: Proc. of the 5th Int'l Workshop on Program Comprehension year: 1997 ident: S1471068406002870_N1047E – ident: S1471068406002870_N1089F doi: 10.1109/TSE.1984.5010248 – volume: 2002 year: 2002 ident: S1471068406002870_N10135 article-title: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages publication-title: Journal of Functional and Logic Programming – start-page: 103 volume-title: Proc. of the 2003 ACM SIGPLAN Haskell Workshop year: 2003 ident: S1471068406002870_N103B4 doi: 10.1145/871895.871907 – start-page: 137 volume-title: Partial Evaluation, Int'l Seminar, Dagstuhl Castle, Germany year: 1996 ident: S1471068406002870_N10357 – ident: S1471068406002870_N106CF doi: 10.1145/1014007.1014020 – start-page: 395 volume-title: Computational Logic – Essays in Honor of Alan Robinson year: 1992 ident: S1471068406002870_N10504 – ident: S1471068406002870_N101F6 doi: 10.1145/347476.347484 – volume-title: Partial Evaluation and Automatic Program Generation year: 1993 ident: S1471068406002870_N10534 – start-page: 80 volume-title: Proc. of ACM Symp. on Principles of Programming Languages (POPL'97) year: 1997 ident: S1471068406002870_N103EE – start-page: 184 volume-title: Proc. of PLILP'93 year: 1993 ident: S1471068406002870_N1065D – ident: S1471068406002870_N1078C – start-page: 179 volume-title: Proc. of the 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04) year: 2004 ident: S1471068406002870_N1026A – start-page: 264 volume-title: Proc. of the 7th Int'l Conf. on Compiler Construction (CC'98) year: 1998 ident: S1471068406002870_N107D0 – volume: 3 start-page: 121 year: 1995 ident: S1471068406002870_N107FE article-title: A Survey of Program Slicing Techniques publication-title: Journal of Programming Languages – ident: S1471068406002870_N1015B doi: 10.1016/S0020-0190(02)00336-8 – start-page: 239 volume-title: In Draft Proc. of the 16th Int'l Workshop on Implementation of Functional Languages (IFL 2004) year: 2004 ident: S1471068406002870_N10299 – start-page: 672 volume-title: Proc. of IEEE Int'l Conf. on Software Maintenance (ICSM'01) year: 2001 ident: S1471068406002870_N108E5 – start-page: 207 volume-title: Proc. of the 8th Symp. on the Principles of Programming Languages (POPL'81), SIGPLAN Notices year: 1981 ident: S1471068406002870_N1058B – ident: S1471068406002870_N10755 doi: 10.1017/S0956796897002712 – ident: S1471068406002870_N102B6 doi: 10.1145/24039.24041 – ident: S1471068406002870_N10458 doi: 10.1017/S0956796899003330 – start-page: 1 volume-title: Handbook of Logic in Computer Science year: 1992 ident: S1471068406002870_N10557 – ident: S1471068406002870_N10222 doi: 10.1017/CBO9781139172752 – ident: S1471068406002870_N10328 doi: 10.1016/0022-0000(91)90009-T – ident: S1471068406002870_N1084D doi: 10.1145/5956.5957 – ident: S1471068406002870_N100FD doi: 10.1016/j.jsc.2004.01.001 – ident: S1471068406002870_N107A4 doi: 10.1017/S0956796800002008 – start-page: 244 volume-title: Proc. of RTA'99 year: 1999 ident: S1471068406002870_N10686 – start-page: 61 volume-title: Proc. of the European Symposium on Programming (ESOP 2005) year: 2005 ident: S1471068406002870_N10620 – volume-title: Proc. of the 1st UK Program Comprehension Workshop year: 1995 ident: S1471068406002870_N1049B – ident: S1471068406002870_N1081B doi: 10.1145/236338.236355 – ident: S1471068406002870_N10187 doi: 10.1007/BF03037257 – ident: S1471068406002870_N108BF doi: 10.1016/S0950-5849(98)00029-9 – start-page: 87 volume-title: Proc. of the 2nd Int'l Workshop on Automated and Algorithmic Debugging (AADEBUG'95) year: 1995 ident: S1471068406002870_N10391 – start-page: 379 volume-title: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones year: 2002 ident: S1471068406002870_N105E0 – ident: S1471068406002870_N104BB doi: 10.1002/swf.41 – ident: S1471068406002870_N1023C – ident: S1471068406002870_N1086D doi: 10.1145/113446.113455 – ident: S1471068406002870_N10420 – ident: S1471068406002870_N103D1 doi: 10.1016/0743-1066(94)90034-5 – volume-title: Term Rewriting Systems year: 2003 ident: S1471068406002870_N107ED – ident: S1471068406002870_N101AD doi: 10.1145/291891.291896 – start-page: 495 volume-title: Proc. of the 18th Int'l Conf. on Software engineering (ICSE'96) year: 1996 ident: S1471068406002870_N105BD |
| SSID | ssj0016324 |
| Score | 1.6923909 |
| Snippet | Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 215 |
| SubjectTerms | Regular Papers |
| Title | Forward slicing of functional logic programs by partial evaluation |
| URI | https://www.cambridge.org/core/product/identifier/S1471068406002870/type/journal_article https://www.proquest.com/docview/201697356 |
| Volume | 7 |
| WOSCitedRecordID | wos000245053800009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFA66efDi_IlzOnLwJAa6JE2akzjZEIQxRGF4KWmagJd1rlPwvzevTTeG4MVLD0kpJe_ley_vvbwPoWvJXW51RgnPFSOcZY5oYRxhkdUxtbFUkavIJuRkksxmahpqc8pQVtlgYgXUeWEgRu4P6QOhJIvF3eKDAGkUJFcDg8Yuag8oHYCaP0myTiJAJ_LqcpGE4p6EN0lN6BgNgzAWQV4qAariTWuFbRO1jdCV2Rl3_vnDh-gg-Jv4vlaQI7Rj58eo03A54LC1T9BwXCyhgBZ7v9N4c4YLh8Hm1aFCXCEkDsVcJc6-8QJ0zs9s2oWfotfx6OXhkQR-BWKoSFbEGrhW6k8UeS6d9wU0S7R3CCmVGXcucjmHHqGaceG41SrzUGiySGidZNIDA2dnqDUv5vYcYe8m-BlFI2cYj4yXO1W5styIXLhEqC66XS9vGnZJmdYVZjL9JY0uumkkkC7qrht_vdxrBLD59Hr1L_6c7aH9OlgLMZVL1FotP-0V2jNfq_dy2Uft4Wgyfe5XauWf0_jtB0DL0XQ |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1JSwMxFH64gV6sK9a65KAXcWDMpMnkIOJWFLV4UBAvYyaTgJe2tlXxR_kffW-WFhG8efCaDIHMW76XtwLsKOEzZ1IeiExHgYhSHxhpfRCFzjS5ayod-nzYhGq344cHfTsBn1UtDKVVVjoxV9RZ15KPHB_pB1KrqCmPei8BDY2i4Go1QaPgiiv38Y4vtsHh5RmSd5fz1vnd6UVQDhUILJfxMHCWainRjM4y5REATRQbtII4V6nwPvSZoMaYJhLSC2d0ivJv01AaE6cKpUFEeO4kTAuBbyUUn9vm4yhoQZ3P82ImRclEsaiCqNShmhZpLaQ4WEyjkcetHL5D4ndEyGGuVftnP2gB5kt7mh0XArAIE66zBLVqVgUrVdcynLS6fUoQZmhXW4Rr1vWMML1whbIcAViZrDZg6QfrkUzhzrgd-grc_8lNVmGq0-24NWBoBuGO5qG3kQgt8jXXmXbCykz6WOo67I_ImZRaYJAUGXQq-UH9OuxVFE96RVeR3z5uVAQfHz2i9vqvu9swe3F3c51cX7avGjBXOKbJf7QBU8P-q9uEGfs2fB70t3JWZvD016zxBfphLHE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Forward+slicing+of+functional+logic+programs+by+partial+evaluation&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=SILVA%2C+JOSEP&rft.au=VIDAL%2C+GERM%C3%81N&rft.date=2007-01-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=7&rft.issue=1-2&rft.spage=215&rft_id=info:doi/10.1017%2FS1471068406002870&rft.externalDocID=1403189921 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon |