01357na  a2200253   4500001001300000005001500013008004100028040001100069041001300080052003200093245025100125300002500376545006200401545006600463545007500529653019100604700005300795700001400848700004800862773014000910900001801050900001801068900001701086KSI00040092320050603144935050530s1998    ulk           000   kor    a0110010 akorbeng01a028.605b한613ㅈㅂc5(8)00a비평가인자 함수 프로그램의 스레드 분할 향상을 위한 자료형 분리 집합 분할 알고리즘=xTyped separation set partitioning for thread partitioning of non-strict functional programs/d양창모,e주형석,e유원희  ap. 2127-2136;c26 cm  a양창모, 정회원 : 청주교육대학교 전임강사  a주형석, 정회원 : 유한대학 전자계산과 부교수  a유원희, 종신회원 : 인하대학교 전자계산공학과 교수  a비평가인자 함수 프로그램a스레드 분할a자료형 분리 집합 분할 알고리즘aTyped separation set partitioningaThread partitioningaNon-strict functional programs1 a양창모,g梁昌模,d1963-0KAC2012150914aut1 a주형석1 a유원희,g柳元熙,d1952-0KAC2018186440 t정보처리논문지.d한국정보처리학회.g제5권 8호(1998년 8월), p. 2127-2136q5:8<2127w(011001)KSE199509081,x1226-919010aYang, Changmo10aJoo, Hyunseok10aYoo, Weonhee