• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.986-991
• /
• 2017

본 논문에서는 주어진 입 출력 예제로부터 명령형 프로그램을 합성하는 방법을 제시한다. 프로그램 합성기의 입력으로 (1) 입 출력 예제, (2) 불완전한 프로그램, (3) 사용될 변수 및 정수가 주어지면, 합성기는 주어진 입 출력 예제를 모두 만족하는 완성된 프로그램을 출력한다. 기본 알고리즘은 정답 프로그램을 찾을 때까지, 가능한 모든 프로그램을 나열하는 것이다(enumerative search). 이 경우 탐색 공간이 매우 크므로 오랜 시간이 걸린다는 문제점이 있다. 시간을 효과적으로 단축하기 위한 우리의 방법은, 코드 최적화 기법을 이용해 문법은 다르지만 같은 의미의 프로그램들을 확인함으로써, 불필요한 중복탐색을 피하는 것이다. 20개의 입문자 교육용 프로그래밍 문제들을 대상으로 합성 알고리즘 성능을 평가한 결과, 우리의 방법이 기본 탐색 알고리즘의 성능을 약 10배 향상시킴을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.667-676
• /
• 2004

이 논문은 명령형 프로그램의 핵심 부분에 대한 정보흐름의 보안성을 데이타 흐름 분석법을 사용하여 예측하는 방법을 제시한다. 지금까지 제안된 분석 기법은 정보흐름이 안전한 프로그램을 안전하지 않다고 보수적으로 판정한다는 점에서 정밀도가 떨어지는 경우가 많이 있다. 이 논문에서는 이전의 구문중심의 접근방법보다는 분석결과가 더 정밀한 새로운 분석법을 제안하고, 그 분석의 안전성을 증명한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.326-328
• /
• 2000

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• 소프트웨어공학소사이어티 논문지
• /
• 제13권3호
• /
• pp.9-17
• /
• 2000

본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.185-189
• /
• 2002

프로그래밍 교육을 할 때 작성된 프로그램에 대하여 순서도를 자동 생성하여 보여줄 수 있다면 매우 유용할 것이다. 본 논문은 간단한 명령형 언어 While의 프로그램을 입력받아 순서도를 작성해 주는 방법을 제안한다. While프로그램을 순서도 작성에 적합한 언어인 Flow Chart언어 프로그램으로 전환하는 번역기를 생성한다. 이렇게 생성된 FCL을 가지고 그래픽 라이브러리를 이용하여 순서도를 자동으로 생성하는 방법을 제시한다. 본 연구의 결과를 이용하면 프로그램의 초보자들도 쉽게 프로그램의 흐름을 이해할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.865-868
• /
• 2002

Computer Resource의 대용량화 및 인터넷 속도의 발달은 원거리에서 사용자가 인터넷을 통해 서버에 접속하여 컴퓨터를 사용하는 요구를 증가시켰다. 이는 Server-based 원격 컴퓨팅을 활용한 서비스의 연구 개발을 활성화 시켰으며, 최근 들어서는 Thin Client를 기반으로하는 중앙 집중형 원격 데스크탑 시스템(Remote Desktop System)을 꾸준히 발달시켰다. 그러나 단순한 파일 데이터의 접근에 대한 보안만을 제공하는 현재의 보안 체계는 이러한 Server-based 컴퓨팅 환경에서 다수의 사용자에 대한 복잡한 형태의 정보 공유 및 미세한 수준의 접근 권한이 요구되는 경우에는 적합하지 않다. 본 논문에서는 ASP(Application Service Provider) 컴퓨팅 시스템과 같은 중앙 집중형 원격 데스크탑 시스템에 적용하여 하나의 응용 프로그램에 대해 사용자별 세부적인 하위명령 사용 제한을 수행하는 사용자 명령 인증시스템을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
• /
• pp.454-457
• /
• 2011

명령형 언어로 작성된 프로그램에 대한 정적 분석을 효과적으로 수행하는 방법을 제시한다. 흐름을 고려하면서 분석 할 때, 일부의 계산만이 분석 결과를 만들어내는 데 이바지한다. 주어진 입력 메모리로 어떤 명령문을 계산할 때 입력 메모리의 일부만 계산에 사용하고, 계산의 결과는 입력 메모리에서 일부만 변경된 값이기 때문이다. 또한, 변경된 값이 다시 계산에 사용되기까지 불필요한 값의 전달을 수반한다. 이 논문에서는 가벼운 전분석을 통해 불필요한 계산들을 미리 찾아내어 계산에서 제외하는 방법을 제시한다. 상용화된 요약해석 기반 분석기에 이 기법을 적용하고 10개의 오픈 소스 프로그램에서 실험한 결과 분석속도가 평균 65배 빨라졌다. 또한, 최근에 제안된 필요한 정보만 가지고 계산하기 기법을 적용한 결과에 비해서도 분석속도가 평균 16배 빨라졌다.

• 정보처리학회논문지A
• /
• 제13A권6호
• /
• pp.481-488
• /
• 2006

함수형 반응적 프로그래밍(FRP: Functional Reactive Programming)은 하스켈(Haskell)에 내장된 언어로서 두 핵심 고차 타입인 행위(Behavior)와 이벤트(Event)를 기반으로 반응적 시스템을 선언적으로 프로그래밍 한다. 이 논문은 다양한 제약사항을 가진 임비디드 시스템에 FRP를 이용하기 위해 실시간 함수형 반응적 프로그래밍(RT-FRP: Real-time Functional Reactive Programming) 변환기를 설계하고 구현한다. RT-FRP 변환기는 RT-FRP 언어의 기능적 의미론을 기반으로 RT-FRP 프로그램에서 C 프로그램을 생성한다. RT-FRP 변환기의 효과적인 변환을 입증하기 위해, 변환기에서 생성된 테스트 프로그램을 실제 임베디드 시스템, 레고 마인드스톰(LEGO Mindstorm)에 탑재하고 수행하였다. 실험 결과, RT-FRP를 이용할 경우 목적파일의 크기가 조금 증가하였으나 명령형 언어를 이용한 프로그램 보다 간결하게 반응적 시스템 소프트웨어를 프로그래밍 할 수 있었다.

• 한국사회복지학
• /
• 제39권
• /
• pp.128-156
• /
• 1999

사회봉사명령은 우리나라 보호관찰프로그램 가운데 가장 큰 몫을 담당하고 있는 만큼 사회적 기대 또한 매우 높다. 그러나 일반적인 자원봉사활동과 혼동될 정도로 그 프로그램 운영에 문제가 제기되고 있기 때문에 이 연구에서는 사회봉사명령 프로그램의 '교정'효과를 극대화시킬 수 있는 효과적인 운영 및 정착방안을 모색하고자 한다. 이러한 목적을 위해서 미국 미네소타주 교정국에서 지난 15년간 실시해 오고 있으며 매우 성공적으로 평가되고 있는 'Sentencing to Service' 프로그램을 방문하여 관련 행정, 실무책임자, 사회봉사그룹책임자, 사회봉사대상자들과의 면접 및 설문조사를 실시하였다. 표집방법으로는 체계적 표집(systematic sampling)을 사용하였다. 연구결과 사회봉사명령 프로그램은 그 교정효과 면에서 매우 고무적으로 나타났으며, 이를 위해서는 사회봉사대상자들의 자발적 참여동기를 극대화하고 지역사회로부터 적극적인 협조가 필수적이다. 특히 사회봉사그룹책임자의 자질이 매우 중요한 것으로 나타났다. 이와 같은 연구결과를 토대로 사회봉사명령의 관련자들을 위한 지침사항(guidelines)이 필요하다는 것과, 사회봉사그룹 책임자를 위한 교육 및 훈련이 중요하고 요구되는 자격요건으로 보아 사회복지사가 사회봉사그룹책임자로 채용된다면 프로그램의 효과를 극대화시킬 수 있다는 것, 정부가 사회봉사를 위탁받은 기관에 일정한 재정을 지원하는 것은 합리적이고 당연하다는 것, 마지막으로 사회봉사명령 프로그램이 구금형 대신에 부과됨으로써 법망의 확대(widening the net)효과를 초래하지 말아야 한다는 시사점이 있음을 발견할 수 있다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.166-169
• /
• 2002

본 논문은 명령형 언어 While의 요약해석을 모델검사기 SMV에서 구현하고 정보흐름 안전성을 검사하는 CTL 논리식을 적용하는 방법을 설명한다. 주어진 While 프로그램의 요약 프로그램을 SMV 프로그램으로 변환하는 방법과 정보흐름 안전성 검사를 위한 CTL 논리식의 유도과정을 보여준다. 요약해석 기를 직접 구현하는 것보다 모델 검사를 이용하는 것이 다양한 안전성 검사를 수행하기에 더욱 적합하다.