• Journal of the Korea Society of Computer and Information
• /
• v.3 no.1
• /
• pp.25-34
• /
• 1998

There are two major method for expressing parallelim in functional languages. The one is the strictness analysis and the other the annotation. The strictness analysis is a method that a compiler detects parallelism and expresses the detected information in the object program. The annotation is a method that a programmer detects parallelism and expresses in the source program. This study is on the annotation and is aimed at construction of a translator for a functional language which has an annotation syntax. The translator translates a source program to enriched lambda-calculus graphs. The translator is implemented in C using compiler development tools such as YACC and Lex, under UNIX environments. In this paper we present the design and implementation techniques for developing the front-end of the translator.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.365-374
• /
• 2007

This paper investigates the nature of Japanese argument cluster (Steedman 2000b). Based on Combinatory Categorial Grammar, a type-raising analysis of case particles which captures some aspects of the information structure in Japanese is discussed, including contrastive interpretation of coordination, wh-constructions, and some theme and rheme-related grammatical phenomena. These observations offer further support for the study of syntax, semantics, and phonology interface and the earlier analysis of English information structure.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.353-356
• /
• 2002

Due to the increased complexity and size of digital system and the need of the H/W-S/W co-design, C/C++ based system design methodology gains more Interests than ever in EDA field. This paper suggests the methodology in which handshake module corresponding to each basic statement of C is provided of the form of STG(Signal Transition Graph) and then, C statements is synthesized into asynchronous circuit through syntax-oriented translation. The 4-phase handshaking protocol is used for the communications between modules, and the modules are synthesized by the Petrify which is asynchronous logic synthesis CAD tool.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2005.05a
• /
• pp.159-163
• /
• 2005

The purpose of this study was to analyze the relationship between the product characteristics and spatial configuration in a retail store. This study utilized the analytical method of Space Syntax, and the software package used for the analysis was New-wave and Pesh. The qualitative study focused on the showroom of 'H INTERIOR', a leading furniture company in Korea, and examined the accessibility of the space. The result showed that the main accessible route was well established in the retail store, and more trendy and fashionable products were likely to be displayed in more accessible places. Also, the products in the selected showroom were arranged according to the pricing information, so that products with lower price were displayed in more accessible places. This study suggested that it be important to adequately and appropriately display the products in relation to the characteristics of products, and implied that the method of Space Syntax was useful to strategically evaluate the display in retail spaces.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1136-1140
• /
• 2010

Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

• 중국학논총
• /
• no.71
• /
• pp.23-40
• /
• 2021

'过' and '了' are the key points, as well as difficult ones, in the academic study of Chinese grammar and language teaching. This article analyzes this language use by taking two sentence structures as example, namely 'Pao le.' and 'Pao guo le.'. As the semantic meanings of 'V+了2' and 'V+过1+了2' are very similar. Therefore, it can be confusing for non-native speakers to master this usage. This article attempts to sort out and analyze the usage environment and pragmatic characteristics of 'V+过1+了2' by employing the examples from the data of Corpus of the Chinese Linguistics Research Center of Peking University. By focusing on the usage environment and pragmatic characteristics of '过' and it is desirable for teachers to combine semantics, syntax and pragmatics while explaining the grammar point, in order for learners to understand accurate information quickly and learn how to use it.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.6
• /
• pp.908-915
• /
• 1986

In this paper, an English-Korean machine translation system which consists of a syntax analyzer, a semartic analyzer and a sentence generatodr is proposed. The intermediate language in the syntax analysis is described by a lambda categorial grammar that is based on Montague Grammar, and the augmented context free grammar is introduced in the description of object language. Much difficulty in constructing general rules and semantic representations of an object language in the parser can be avoided by using the knowledge from the user interface utility that can modify the contents of dictionary and grammar rules.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1986.04a
• /
• pp.189-193
• /
• 1986

In this paper, in order to make the compiler that the corrective detection of errors and expression of more understandable error messages are provided, the usage of cause-effect testing method and case study (simulation COBOL compiler) using this methodology are illustrated.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.5
• /
• pp.1021-1026
• /
• 2015

Increasing of damage by phishing, government and organization response more rapidly. So phishing use malware and vulnerability for attack. Recently attack that use patch analysis is increased when Microsoft announce patches. Cause of that, researcher for security on defense need technology of patch analysis. But most patch analysis are develop for Microsoft's product. Increasing of mobile environment, necessary of patch analysis on mobile is increased. But ordinary patch analysis can not use mobile environment that there is many file and small size. So we suggest this research that use code filtering instead of Control Flow Graph and Abstract Syntax Tree.