• 한국언어정보학회지:언어와정보
• /
• 제19권1호
• /
• pp.119-146
• /
• 2015

Within the field of Korean linguistics, it has been observed that subjective adjectival predicate constructions are characteristic of imposing 'coreference constraint' on the higher and lower subjects, while evidential -te- constructions imposing 'non-coreference constraint' on them. I interpret these constraints as dependency constraints between higher and lower judge-sensitive semantic predicates, and investigate the interactions among subjective adjectival predicates, evidential -te-, and modal -keyss- in Korean. The paper ultimately argues for the necessity to add a new indexical element, the judge of evaluation(Lasersohn 2005, Stephenson 2007), to the traditional set of indices that were confined to the world and the time.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.571-575
• /
• 2010

클래스 수준 뮤테이션 분석(class-level mutation analysis)의 경우, 동등 뮤턴트(equivalent mutant)는 전체 뮤턴트들의 개수에서 많은 비중을 차지하기 때문에 동등 뮤턴트의 검출은 뮤테이션 수행 비용 절감에 매우 중요하다. 하지만 현재까지 클래스 수준 뮤테이션을 대상으로 동등 뮤턴트를 검출하는 연구는 미미한 실정이다. 본 논문에서는 클래스 수준 뮤테이션을 대상으로 의존성 그래프(dependency graph)를 이용하여 동등 뮤턴트를 검출하기 위한 기법을 제안한다. 제안한 기법은 인트라-클래스(intra-class) 수준에서 정적분석을 수행함으로써 인트라-메소드(intra-method) 수준의 분석 방법을 사용하는 기존의 연구들이 검출할 수 없었던 클래스 수준 동등 뮤턴트를 검출할 수 있었다.