• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.403-405
• /
• 1999

실시간 시스템에서 프로그램의 실행시간을 예측하는 것은 중요한 일이다. 기존의 언어에서는 실행시간은 예측하기에 힘든 요소들이 있다. Timing-C는 이러한 요소를 제거하고 사용자로부터 시간 제약을 입력받을 수 있도록 하였다. Timing-C언어를 이용하여 실시간 프로그램밍을 하기 위해 작성한 프로그램이 시간제약을 준수하고 있는지 알기 위해 시간 분석 도구가 필요하다. 시간 분석 도구는 작성된 프로그램의 실행시간을 제한하여 사용자에게예측된 결과를 알려주는 도구이다. 개발자는 이러한 도구를 이용하여 작성하고 있는 프로그램의 수행시간을 더욱 정확하게 예측할 수 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.161-164
• /
• 2019

한국 사회는 빠르게 다문화 사회로 진입되고 있어 인구 구성과 집단이 다양해 질것으로 전망하고 있다. 다양한 형태의 가족 중 중도입국 청소년들의 비율이 점점 증가하고 있다. 대부분의 중도입국 청소년들은 준비가 전혀 이루어진 않은 상태에서 우리나라에 입국하는 실정이므로 언어장벽에서 진로장벽에 이르기 까지 매우 취약한 여건과 불안정한 환경에 처해 있는 것이다. 이를 해결하는 방안으로 국가나 지방자치단체는 물론 각급 교육기관에서 다양한 프로그램으로 서비스가 지원되고 있으나 사업 간의 중복성과 일부 비효율적인 전달체계와 운영, 예산과 인력 낭비로 인하여 효과성을 낮추는 경향이 있다. 본 논문에서는 중도입국 청소년들의 발달주기, 학령주기, 한국어 구사 능력에 따라 개인의 능력에 따른 맞춤형 언어교육으로 올바르게 성장하도록 도움을 주는 방안을 제시한다. 제시한 내용은 이중언어 교육방법과 발도르프 교육 프로그램을 준용한 교수-학습 방안이다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.12
• /
• pp.955-965
• /
• 2001

We propose a systematic method of compiling Haskell based on the spineless Tagless G-machine (STGM) for the Java, Virtual Machine (JVM) We introduce an intermediate language called L-code to identify each micro-operation of the machine by its instruction, Each macro operation of the machine is identified by a binding Each instruction of the L-code can be easily translated into Java statements. After our determination on representation and L-code program from a STG program is translated into Java program according to out compilation rules. Our experiment shows that the execution times of translated benchmarks are competitive compared with those in Haskell interpreter Hugs, particularly when Glasgow Haskell compiler's STG -level optimizations are applied.

• The Journal of Korean Association of Computer Education
• /
• v.18 no.6
• /
• pp.1-12
• /
• 2015

In computer education area, abstract thinking has played a positive role in programming ability, and language experience has also affected the ability. However, most of the studies were empirical. The practical research about the relation analysis between abstract thinking and programming ability has rarely been performed. Among various types of programming abilities such as coding, debugging, and reading, this paper focused on program understanding. We analyzed the affection relation on program understanding and the interaction effect between abstract thinking level and language familiarity. We surveyed 376 high school students on their abstract thinking levels, language familiarity, academic achievement, and the program understanding abilities of C and Scratch. From the research, we knew that the abstract thinking level played an important role in understanding the iterative program for the male students. In addition, if the students had the experience on other programming languages before entering high schools, then there was an interaction effect between abstract thinking level and program language familiarity.

• 대한공업교육학회지
• /
• v.34 no.1
• /
• pp.210-237
• /
• 2009

The aim of this thesis is to develop a robot C programming curriculum with the subject of the students in the middle & High School and to prove the effect of the programming on creativity and programming ability. The content of the robot C programming curriculum consists of the introduction, basic knowledge and assembling of the robot (usage of kits and the theory of mechanism); the learning of the robot c programming; the assigned robot making; the original robot making, which is ultimately designed to improve the creative robot programming ability of students. The subjects are divided into two groups(38); one groups(11) taking the course of C++programming and the other(27) taking the robot C programming as well as C++programming. Then each group's improvement of creativity and programming ability is measured in both pretest and posttest. The students taking the robot C programming curriculum gain the product of the assigned robot and the original robot. Besides, it turns out that the curriculum have a meaningful effect in that students acquire the enhanced creativity according to the result of TTCT Creativity Test. Self evaluation also indicates the improvement of C++programming ability.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.948-950
• /
• 2013

메모리를 다루는 프로그램의 시각화는 알고리즘 학습, 디버깅에 유용하게 사용될 수 있다. 본 논문에서는 도구에 독립적이며 프로그램 실행 후에도 재사용이 가능하도록 메모리 상태를 시각화하는 언어를 제안한다. 본 논문에서는 제안된 시각화 언어의 문법과 의미를 설명한다. 제안된 시각화 언어의 유용성을 간단한 메모리 할당, 해제를 수행하는 프로그램 소스의 예를 통해 설명한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.433-436
• /
• 2008

프로그램의 생산성을 향상시키기 위해 프로그램 개발 단계에서 소요되는 비용을 최소화하려는 목적으로 점진 평가를 사용하고 있다. 점진 평가는 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이다. 본 논문에서는 기존의 종속 차트(dependency chart)를 확장하여 객체 지향언어인 자바 같은 언어에서 점진 평가를 수행할 수 있도록 확장된 종속 차트를 제시한다. 객체 지향언어에서 점진 평가를 수행하는 알고리즘을 제시하고 실험을 통해 점진 평가의 효율성을 분석한다.

• The KIPS Transactions:PartA
• /
• v.17A no.6
• /
• pp.289-296
• /
• 2010

So far, previous works with respect to evaluating program contents have concentrated on the implementation of general educational content evaluation. In terms of the efforts required to solve problems, however, there are a few evaluation methods on educational programming language contents. Therefore, we propose new evaluation criteria for educational programming language contents. The detailed research contents can be summarized as follows. First, we analyze existing works and propose naval evaluation criteria for educational programming language contents. Second, the new evaluation criteria is verified by teachers who use Visual Basic educational contents via questionaries. Also, a program content is experimented via the evaluation criteria. Finally, it is expected that our proposed evaluation criteria for educational programming language contents can be used to evaluate newly developed educational programming language contents and to design its evaluation plans.

• The Journal of the Convergence on Culture Technology
• /
• v.4 no.4
• /
• pp.287-294
• /
• 2018

In this paper, it is practically difficult to obtain programming language education without having an algorithmic thinking ability, computing thinking ability, and problem solving ability of students with relatively low basic education. The results showed that students who took program language education in parallel with the EPL(Educational Programing Language), Scratch, compared to without using Scratch found to be helpful in improving their programming amd computing thinking ability, and problem-solving abilities as well as their satisfaction. This not only gave students confidence in their hard-thinking programming practices, but also helped prevent them from falling out of the middle.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.516-520
• /
• 2007

이 논문에서는 다단계 프로그램의 실행흐름을 타입을 기반으로 분석하는 방법을 제시하고 있다. 다단계 프로그램이란 실행 중 코드를 만들고 실행할 수 있는 언어를 말한다. 본 논문에서는 기존의 고차 함수형 언어의 실행흐름을 분석하는 방법을 다단계 언어를 위해서 확장한 방법을 제시하고 있다. 이 분석은 한 수식이 평가될 때 호출될 수 있는 함수들의 집합을 정적으로 분석하여 다단계 프로그램의 실행흐름 정보를 제공한다.