• Journal of the Korea Society of Computer and Information
• /
• v.19 no.2
• /
• pp.151-159
• /
• 2014

We discuss the implementation of a compiler for an imperative programming language, using monad in Haskell. This compiler involves a recursive-descent parser conducting nondeterministic parsing, in which backtracking occurs to try with other rules when the application of a production rule fails to parse an input string. Haskell has some strong facilities for parsing. Its algebraic types represent abstract syntax trees in a smooth way, and program codes by monad parsing are so concise that they are highly readable and code size is reduced significantly, comparing with other languages. We also deal with the runtime environment of the assembler and code generation whose target is the Stack-Assembly language based on a stack machine.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.967-970
• /
• 2004

웹에는 많은 자원들과 정보들이 존재한다. XTM은 Topic, Association, Occurrence등의 태그를 활용하여 웹상의 자원들과 정보를 정의한다. XTM을 구성하는 태그는 간단한 반면에 자원과 정보를 표현하기 위해서 많은 수의 태그가 사용된다. 사용되는 태그 구조의 복잡성 때문에 사용자가 손쉽게 태그를 정의하고 사용할 수 있는 편집기가 필요하다. 본 논문은 XTM의 편집을 용이하게 하기 위해 문법에 올바른 그래픽 요소들로 표현하는 구문지향 그래픽 편집기를 설계하고 구현한다. 사용자가 XTM의 문법을 알지 못하거나 미숙한 경우에 XTM 문법상의 오류를 가진 문서를 생성할 수 있다. 이러한 문법상의 오류에 대해서 본 논문에서 제안한 편집기는 구문상의 올바른 요소를 편집 후보 집합으로 사용자에게 제시하고, 사용자는 제시하는 편집 후보 집합 중에서 올바른 요소 항목을 선택하여 편집을 수행할 수 있다. 또한, XTM의 복잡한 구조를 그래픽 형태로 표현하고 사용자는 표현된 그래픽 구조에서 편집한다. 따라서, 사용자는 텍스트기반의 편집기에 비해서 손쉽게 전체 구조를 파악할 수 있으며 편리하고 정확하게 XTM 문서를 생성할 수 있다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.11a
• /
• pp.425-428
• /
• 2005

Healthcare is a research field suitable for applying the recent ubiquitous techniques. As a test system, we developed a kind of CDSS (Clinical Decision Support System) running in ubiquitous environment. called as 'uCDSS'. The uCDSS is a core system of the ubiquitous healthcare and is composed of some 'uMLMs(Ubiquitous Medical Logic Modules)'. The uMLMs based on the class in C# programming language could be reused in development of CDSS, or another EHR system running in .NET environment. As a test system, we developed the DM(Diabetes Mellitus knowledge system using ASP.NET. This system shows the potential of C# class-based uMLMs and the extensibility to any .NET development project.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.1068-1072
• /
• 2014

We propose a collaborative social tagging for eBook using external DSL approach. The goal of this paper is (1) to provide DSL by which authors can write HTML5 rich contents ebook and tag resources, (2) to make users enhance book by tagging resources easily, (3) to make readers read rich book easily regardless of their devices types, (4) to provide ebook resources of RESTful address style by which other system can identify self-descriptive resources of book. To achieve the goal, we provide Bukle DSL language by which author and users can author and enhance ebook with ease. As a domainspecific language Bukle provides a simple yet expressive language for authoring and tagging books that would otherwise be more difficult to express with a general purpose language. Further work includes visual DSL approach and tools by using that the unskilled users could tag book easily. In order that future work also includes text-to-visual DSL transform engine. UX research is also required to tag and to author book. To tackle the above questions we are looking at using visual notation focusing visual syntax.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.789-791
• /
• 2014

The software education has many interest in the world because a lot of help to improve logical thinking and problem solving training. However, to implement such a program using languages such as C or Java, you should be aware of the syntax, understanding of computer architecture, and many library. So, it is difficult for many ordinary student to implement program. Therefore, we need easy access to the programming to address the life program by coding for students. In this paper, we introduce such useful software training program or Internet Web site for students.

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

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.4
• /
• pp.941-951
• /
• 1999

Class components in a repository require exact information representation by reason of insufficiency of various visual information through search and extraction. In this paper, we have described syntax-analysis method and viewer facilities about class components. In the components analysis, we extracted class information which consists of class_names, methods, attributes, class inheritance relationship, and graphic information. viewer represents extracted class information and creates a new class. Also, it provides facilities of reuse, insertion, and deletion. Not only Viewer represents class hierarchy diagram, and shows detail information about each class, but also it creates new classes. In this paper, we implemented a Viewer using the components, inheritance, diagram information and process. And we enhanced understanding of programs through viewer, and supported prototype for class creation.

• Journal of Broadcast Engineering
• /
• v.16 no.5
• /
• pp.797-800
• /
• 2011

The objective of MPEG Media Transport (MMT), which is on going standard, is to develop efficient delivery of media over packet based networks in an adaptive, progressive, download/streaming fashion over various IP based networks, including terrestrial, satellite and cable broadcast networks. In this paper we introduce utilization of signal strength information based on Cross Layer Design(CLD) to efficient multimedia delivery over wireless network in which in practice the wireless conditions can vary significantly. Many recent studies have shown that a significant improvement in wireless video throughput can be achieved by utilizing signal strength information on CLD [1][2]. Despite of its usefulness, however, it was difficult to employ signal strength information in rate adaptation applications due to different representation of signal strength information for each underlying wireless network. To that end, we proposed syntax and semantics of signal strength information in such a way that the information can be interpreted in the unified way. The proposed signal strength information was proposed for the MMT standardization.

• Journal of Broadcast Engineering
• /
• v.17 no.1
• /
• pp.191-194
• /
• 2012

The split flag and the skip flag in CU syntax have high correlation on spatial domain as well as temporal domain. This paper suggests a method for enhancing coding efficiency by using not only spatial correlation but also temporal correlation when coding CU information. In the CABAC case, temporal collocated CU information is used for selecting context model of the split flag and the skip flag. In the CAVLC case, current CU information is estimated from temporal collocated CU information then encoded. As a result, a coding efficiency was increased by 0.1%~0.6% in CABAC, 0.1%~0.4% in CAVLC compared with HM 3.0. This method shows better performance on lowdelay condition which uses reference frame close to current frame.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.7
• /
• pp.857-865
• /
• 2020

This paper presents a method for code generation of UML sequence diagrams based on message patterns. In the sequence diagrams, it is shown that messages are some types of forms typically. This paper classifies according to type as three patterns, and construct meta-information for code generation analysing structural infomation for each patterns. The meta-message of structural information (MetaMessage) is stored in the MetaMessage datastore and the meta-method information from the MetaMessage is stored in the MetaMethod datastore. And then, the structural information of MetaClass and MetaObject is constructed in each datastore too. For each pattern, this paper presents a method for code generation based on the meta information of message patterns and the syntax of target progamming language. Also, branching and looping that has been seldom handled integratedly in the previous works are handled as same as the basic patterns by classifying the branching pattern and the looping pattern for code generation integratedly.