• 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.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.38 no.9
• /
• pp.740-752
• /
• 1989

Many works have been reported in various fields on the subject of controlling a robot with high-level robot languages. This paper presents one such effort and explains the development of an automatic robot programming system which utilizes the concept of the task level language. This system is expected to act as an intelligent supporting tool in robot programming and be put into practical use. Emphasis is placed on the role of the programming system as a tool that generates the executable robot program according to the user specified tasks. Several task level commands are used in the developed system, and the resulting inflexibility is complemented by the motion level commands of the motion level robot languages. Thus, the advantages of both task and motion level languages are utilized, and no knowledge of specific language grammer is needed even when using motion level commands. To increase the usability of the developed system, various methods are provided for supplementing the programming system using taught data.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.249-252
• /
• 1996

This paper presents an algorithmic approach used in the development of a task-level off-line programming system for the efficient applicaiton of robot. In the method, robot tasks are graphically described with manipulation functions. By applying robot language these graphic robot tasks are converted into commands for the robot. A programming example demonstrates the potentiality of task-oriented robot programming.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.37 no.11
• /
• pp.796-803
• /
• 1988

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 which controls the main flow of the programs, editing mode which generates, corrects and edits the programs, execution mode which executes the generated programs, I/O mode which interacts with the external devices, and teach mode. The developed language is implemented on the robot controller to verify its performance.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.498-507
• /
• 2009

There has been insufficient studies on the effect of programming language learning on logical thinking ability. Each study result on the improvement degree and items of logical thinking ability is different according to the object of the study, its method, and the learning subject, which makes the generalization process difficult. Moreover, the necessity of programming language learning seems not proved, because it is not apparent whether the improvement of logical thinking ability is due to the advancement of knowledge or programming language learning. In this study, we instructed educational programming languages to elementary students in 6th grade for 7 hours, investigated its effect on logical-thinking ability by the meta-cognition level, and compared the result with that of computer skill learning. As a result, for Dolittle, LOGO, and Powerpoint learning groups, the logical-thinking ability of high meta-cognition level students has increased with significance, but that of low meta-cognition level students has significantly increased for Dolittle and LOGO groups only. However, regardless of meta-cognition levels, there was no significant difference of logical-thinking ability between all three groups.

• KIISE Transactions on Computing Practices
• /
• v.23 no.5
• /
• pp.304-309
• /
• 2017

Programmers use multiple languages to reuse legacy code best suited to their problems. However, it is quite challenging to develop error-free multilingual programs because new types of bugs occur since misunderstanding about language interfaces such as Java Native Interface (JNI) and Python/C. There is a considerable amount of research to overcome multilingual program bugs and errors but these researches have less consideration about substantiality of programming languages, language interfaces, and bugs to evaluate their analyses and tools. In this paper, we have identified and establish substantiality of multilingual programming research with empirical study about diversity and interoperability of programming languages in Ubuntu software ecosystem based on real-world statistical data.

• The Journal of Korean Association of Computer Education
• /
• v.20 no.4
• /
• pp.27-36
• /
• 2017

The purpose of this study is to design and implement an instructional model for flipped learning of programming class. Because a programming process requires a high level of abstract thinking with a good understanding of a programming language, many students have difficulty in programming. For this characteristic of programming, it is not easy to effectively achieve learning goals of programming lesson by lecturing grammatical elements of a programming language and the following examples in a limited class time. In order to overcome these problems and to make effective programming lessons, we designed an instructional model based on flipped learning. Especially, in this study, we analyzed learners' difficulties in programming learning and errors that occurred in actual programming process for designing the instructional model. As a result of applying this model to the class, it was found that the students were generally satisfied with the lesson by having positive communication with other students in the classroom and actively participating in the learning.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.375-378
• /
• 2011

To learn a programming language as a text-based programming and a computer language suitable for a wide range, learner thinks it is very difficult. To represent a visual program is one way to solve this problem easily. The visual language such as Visual C++, Visual Basic and Delphi is represented an interface as the visual component and represented a component action as a text-based. The programmer is very difficult about the component action with text-based and dislikes programming. In this paper, so solve these problems, we use the UML for representing a logical thinking and supporting and object-oriented programming. We suggest for programming education method to replace text-based programming to LabVIEW OOP. In addition, we conduct a survey on how programming education and analyze the training effect.

• 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.