Meta: AvaliacaoPub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_18
A. Bossi, N. Cocco, S. Etalle
{"title":"Transforming Normal Programs by Replacement","authors":"A. Bossi, N. Cocco, S. Etalle","doi":"10.1007/3-540-56282-6_18","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_18","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74177255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Meta: AvaliacaoPub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_2
L. F. D. Cerro, A. Herzig
{"title":"Metaprogramming Through Intensional Deduction: Some Examples","authors":"L. F. D. Cerro, A. Herzig","doi":"10.1007/3-540-56282-6_2","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_2","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86555926","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Meta: AvaliacaoPub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_8
S. Debray
{"title":"Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives","authors":"S. Debray","doi":"10.1007/3-540-56282-6_8","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_8","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90333781","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Meta: AvaliacaoPub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_21
F. Mesnard, J. Ganascia
{"title":"CLP(Q) for Proving Interargument Relations","authors":"F. Mesnard, J. Ganascia","doi":"10.1007/3-540-56282-6_21","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_21","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74897854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Meta: AvaliacaoPub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_10
I. Cervesato, G. Rossi
{"title":"Logic Meta-Programming Facilities in 'LOG","authors":"I. Cervesato, G. Rossi","doi":"10.1007/3-540-56282-6_10","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_10","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74579575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Meta: AvaliacaoPub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_23
J. Grabowski
{"title":"Metaprograms for Change Assumptions, Objects, and Inheritance","authors":"J. Grabowski","doi":"10.1007/3-540-56282-6_23","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_23","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76318064","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}