DC Field | Value | Language |
---|---|---|
dc.contributor.author | CHANG, BM | ko |
dc.contributor.author | Choe, Kwang-Moo | ko |
dc.contributor.author | Han, Taisook | ko |
dc.date.accessioned | 2013-02-25T02:48:41Z | - |
dc.date.available | 2013-02-25T02:48:41Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1993-09 | - |
dc.identifier.citation | INFORMATION PROCESSING LETTERS, v.47, no.3, pp.149 - 157 | - |
dc.identifier.issn | 0020-0190 | - |
dc.identifier.uri | http://hdl.handle.net/10203/59235 | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | EFFICIENT BOTTOM-UP EXECUTION OF LOGIC PROGRAMS USING ABSTRACT INTERPRETATION | - |
dc.type | Article | - |
dc.identifier.wosid | A1993LY71200006 | - |
dc.identifier.scopusid | 2-s2.0-0027666501 | - |
dc.type.rims | ART | - |
dc.citation.volume | 47 | - |
dc.citation.issue | 3 | - |
dc.citation.beginningpage | 149 | - |
dc.citation.endingpage | 157 | - |
dc.citation.publicationname | INFORMATION PROCESSING LETTERS | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
dc.contributor.localauthor | Han, Taisook | - |
dc.contributor.nonIdAuthor | CHANG, BM | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | APPLICATIVE PROGRAMMING | - |
dc.subject.keywordAuthor | FILTERING | - |
dc.subject.keywordAuthor | SYSTEM GRAPH | - |
dc.subject.keywordAuthor | ABSTRACT FILTER | - |
dc.subject.keywordAuthor | ABSTRACT INTERPRETATION | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.