Twenty years later

被引：0

作者：

Jouannaud, JP ^{[1
]}

机构：

[1] Ecole Polytech, LIX, F-91400 Palaiseau, France

来源：

TERM REWRITING AND APPLICATIONS, PROCEEDINGS | 2005年 / 3467卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The first RTA conference took place in Dijon, in 1985. This year, 2005, it takes place in Nara. Nara and Dijon share a glorious past but can be considered as being "Sleeping Beauties", after the title of a book by the Nobel price novelist yasunari Kawabata. Is RTA sleeping on its glorious past? Back in the late 80s, many of us feared that this would soon be the case, that research in rewrite systems was deepening the gap with everyday's computer science practice, and that we should develop rewrite-based powerful provers that would make a difference with the state of art and help address real applications such as software verification. More than ten years later this has not really happened in the way we thought it would. What has happened is that many research areas, such as programming languages, constraint solving, first-order provers, proof assistants, security theory, and verification have all been fertilized by ideas coming from term rewriting. In return, our field has been renewed by new problems and techniques coming from outside our small community. I am convinced that this will continue, and that new subject areas will join the journey. There are at least two reasons. To quote a celebrated sentence that I have read in many papers: Equations are ubiquitous in computer science. This is the first reason: we all like to use equations for modeling problems. The second is that we have developed extremely powerful, sophisticated tools to reason with equations. Many computer scientists do not know these tools. It is our responsibility to preach for their use by showing all we can do with them.

引用

页码：368 / 375

页数：8

共 50 条

[41] Unfinished journey: Twenty years later
Veale, S
[J]. NEW YORK TIMES BOOK REVIEW, 1999, : 28 - 28
[42] Competition and insurance twenty years later
Rothschild, M
Stiglitz, JE
[J]. GENEVA PAPERS ON RISK AND INSURANCE THEORY, 1997, 22 (02): : 73 - 79
[43] The scientific image Twenty Years later
Fine, A
[J]. PHILOSOPHICAL STUDIES, 2001, 106 (1-2) : 107 - 122
[44] Hannah Arendt: Twenty years later
Grossmann, A
[J]. PHILOSOPHISCHE RUNDSCHAU, 1997, 44 (03) : 208 - 233
[45] Twenty-five years later
Massimo Cuzzolaro
[J]. Eating and Weight Disorders - Studies on Anorexia, Bulimia and Obesity, 2020, 25 : 831 - 832
[46] Twenty-Five Years Later
Brill, Michael H.
[J]. PHYSICS ESSAYS, 2013, 26 (01) : 1 - 1
[47] Quantum Tomography twenty years later
Asorey, M.
Ibort, A.
Marmo, G.
Ventriglia, F.
[J]. PHYSICA SCRIPTA, 2015, 90 (07)
[48] Twenty years later: the "imperfect restoration"
Minolfi, Salvatore
[J]. STUDI STORICI, 2012, 53 (02) : 461 - +
[49] Granulomatous Angiitis Twenty Years Later
Younger, David S.
[J]. NEUROLOGIC CLINICS, 2019, 37 (02) : 267 - +
[50] Competition and Insurance Twenty Years Later
Michael Rothschild
Joseph E. Stiglitz
[J]. The Geneva Papers on Risk and Insurance Theory, 1997, 22 : 73 - 79

← 1 2 3 4 5 →