• Proceedings of the KIEE Conference
• /
• 1987.07a
• /
• pp.270-274
• /
• 1987

In this paper, the design method, design techniques and structure of a language for a SCARA type industrial robot, are presented. The proposed new language is modular and expandable using the C programming language and the 8086 assembly language. It is composed of monitor mode, editor mode, execution mode, I/O mode and teach mode. The developed language is implemented on the robot controller to verify its performance.

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

Current computer education is difficult to educate basic concepts and principals of the computer science because the 7th curriculum of computer education is focused on the application of software. According to the ACM K-12 report about the computer science education model, current computer education is taking the wrong way and we should put the highly priority on the education of the fundamentals through programming languages for a better computer education oriented to the computer science. This paper introduces a new object-oriented educational programming language "Dolittle". The design principals of Dolittle are simple syntax of Korean, incremental programming, text based programming, aliasing of function, and object-oriented programming. Being applied to middle school classes, we can confirm that Dolittle is easy to learn, and gives rise to high interest and keeps interest through a course, and also is of great practical use in class for programming novice.

• Journal of The Korean Association of Information Education
• /
• v.17 no.3
• /
• pp.233-242
• /
• 2013

"Problem-solving methods and procedures" sections in the 2009 revised informatics curriculum emphasized active use of algorithmic thinking to solve problems. And it is proposed to solve the various problems of real life using programming language for the implementation of the algorithm. Recently, various Educational Programming Language has been developed for elementary programming activity and many researches showed that students' cognitive burden was reduced in learning programming language with Educational Programming Languages. However implementation of the algorithm is difficult for novice programmer. For the reason, effective way is required for elementary students to connect design of the algorithm and implementation of the algorithm. Therefore, in this study propose the algorithm design worksheets that it is possible to create an algorithm to describe the content needed to implementation in programming education. And this study proved the effect of the algorithm design learning tools through experiment.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.464-469
• /
• 2005

The imperative programming language like C language is Generally used when we develop the game program. But there is the need of much effort and time on low-level-details in order to express the game program that has complicated and varied motion. I will try to take measures to use the pure functional language, Haskell as the method of simplifying complex game program. The pure functional programming language like Haskell has excellence of technology and it has become specific in many domains. In this paper I'll discuss the difference between The two languages and merits and demerits in the game development aspect. Also discuss the possibility of putting Haskell to practical use in the future.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.10a
• /
• pp.641-643
• /
• 2017

In this study, the study conducted an analysis of the generic type of personality classes in the programming language class of the industrial high school, and conducted a thorough identification of the central type. Learners studied C language in the preceding academic year. Typology and classes of Java programming followed by classes. Prior to the start of the fourth week of the school semester, it conducted a preliminary examination of the contents of the contents of the C language similar to those of C language and language, and conducted a preliminary examination before the vacation ceremony. Through this study, we learned the difficulties and benefits of learning various programming languages.

• 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 Society for Language and Information Conference
• /
• 1998.02a
• /
• pp.283-294
• /
• 1998

• Journal of Internet Computing and Services
• /
• v.8 no.5
• /
• pp.35-43
• /
• 2007

Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2011.11a
• /
• pp.12-14
• /
• 2011

Crop growth simulation models have been developed as research and management tools. When these models are needed to incorporate new knowledge on phenology and physiology of crops, programming languages have been used for development and documentation of these models. However, researchers may have limited skill in programming languages. Furthermore, software developer may find it challenging to improve the crop models because documentation of the models are rarely available. The Unified Modeling Language (UML) can provide a simple approach for development and documentation of model. A template for implementation of the model can be obtained using the UML, which would facilitate code re-use and model improvement.