期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
From“Semantic Equivalence”to“Verve Reproduction”—Exploration on Xu Yuanchong’s English Translation of the Analects
1
作者 GUO Junyi 《Cultural and Religious Studies》 2024年第7期434-442,共9页
This paper focuses on the English translation of Xu Yuanchong’s Analects,explains in depth the theory of semantic equivalence and the theory of verve reproduction.It analyzes the application and integration of these ... This paper focuses on the English translation of Xu Yuanchong’s Analects,explains in depth the theory of semantic equivalence and the theory of verve reproduction.It analyzes the application and integration of these two theories by Xu Yuanchong in detail.Through a comprehensive textual analysis,this paper summarizes the remarkable achievements of the English translation of the Analects,such as the accurate transmission of semantics and the vivid reproduction of cultural charm,which is expected to bring new thinking directions and valuable references to the study of the English translation of the Analects. 展开更多
关键词 semantic equivalence verve reappeared Xu Yuanchong English translation of the Analects
下载PDF
A comparative study of two formal semantics of the SIGNAL language 被引量:5
2
作者 Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI 《Frontiers of Computer Science》 SCIE EI CSCD 2013年第5期673-693,共21页
SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantic... SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantics for SIG- NAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by syn- chronous transition systems (STS), etc. However, there is lit- tle research about the equivalence between these semantics. In this work, we would like to prove the equivalence be- tween the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different defini- tions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The dis- tance between these two semantics discourages a direct proof of equivalence. Instead, we transform them to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL. 展开更多
关键词 synchronous language SIGNAL trace seman- tics tagged model semantics semantics equivalence COQ
原文传递
Detection of semantically similar code 被引量:1
3
作者 Tiantian WANG Kechao WANG +1 位作者 Xiaohong SU Peijun MA 《Frontiers of Computer Science》 SCIE EI CSCD 2014年第6期996-1011,共16页
The traditional similar code detection approaches are limited in detecting semantically similar codes, impeding their applications in practice. In this paper, we have improved the traditional metrics-based approach as... The traditional similar code detection approaches are limited in detecting semantically similar codes, impeding their applications in practice. In this paper, we have improved the traditional metrics-based approach as well as the graph- based approach and presented a metrics-based and graph- based combined approach. First, source codes are represented as augmented system dependence graphs. Then, metrics- based candidate similar code extraction is performed to filter out most of the dissimilar code pairs so as to lower the computational complexity. After that, code normalization is performed on the candidate similar codes to remove code variations so as to detect similar code at the semantic level. Finally, program matching is performed on the normalized control dependence trees to output semantically similar codes. Experiment results show that our approach can detect similar codes with code variations, and it can be applied to large software. 展开更多
关键词 similar code detection system dependence graph code normalization semantically equivalent
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部