DSpace at KOASAS: Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation

DSpace at KOASAS

College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation

Cited 0 time in webofscience

Cited 0 time in

Hit : 291
Download : 0

Export

Chang, Byeong-Mo / Choe, Kwang-Moo researcher / Giacobazzi, Roberto

Publisher: SAC '94

Issue Date: 1994-03

Language: English

Citation: Proceefings of the 1994 ACM Symp. on Applied Computing, pp.388 - 393

URI: http://hdl.handle.net/10203/111055

Appears in Collection: CS-Conference Papers(학술회의논문)

Files in This Item: There are no files associated with this item.

Display Full Item Record

qr_code

트윗하기

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

KOASAS

KOASAS

Browse

Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation

KOASAS

Communities & Collections