×
van Deursen，A。;克林特，P。;叶尖，F。

原点跟踪。 （英语） 兹伯利0804.68088

J.塞姆。计算。 15，第5-6号，第523-545页（1993年）.
摘要：我们对从形式语言规范生成交互式编程环境感兴趣，并使用术语重写来执行这些规范。规范中定义的函数对程序的抽象语法树进行操作，重写过程的初始术语将包括某些函数（例如，类型检查器、计算器或翻译器）对程序语法树的应用。在术语重写过程中，程序的各个部分，如标识符、表达式或语句，以中间术语重复出现。我们希望将这些循环形式化并使用它们，例如，将位置信息与错误报告中的消息关联起来，可视化程序执行，以及构造特定于语言的调试器。起源是中间项的子项和初始项的子项之间的关系。原点跟踪是一种在重写过程中增量计算原点的方法。我们给出了原点的形式化定义，并提出了一种实现原点跟踪的方法。

引用于10文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
65年第68季度 形式语言和自动机
68问题65 抽象数据类型；代数规范
2012年第68季度 语法和重写系统

关键词：

交互式编程环境;形式语言规范;项重写;特定于语言的调试器;原点追踪
PDF格式BibTeX公司 XML格式引用
\textit{A.van Deursen}等人，J.Symb。计算。15，编号5--6523--545（1993；Zbl 0804.68088）
全文： 内政部

参考文献：

[1] 阿格拉瓦尔，H。；Horgan，J.R.，《动态程序切片》，（ACM SIGPLAN’90编程语言设计与实现会议论文集。ACM SIGPLAN’90程序语言设计与实施会议论文集，SIGPLAN通告，25（1990）），246-256，发表于
[2] Berry，D.，从编程语言语义生成程序动画，爱丁堡大学博士论文（1991）
[3] Bertot，Y.，《调试器规范中的事件》，（《ACM SIGPLAN’91编程语言设计与实现会议论文集》，《ACM SI GPLAN’1991编程语言设计和实现会议论文集中》，SIGPLAN公告，26（1991），327-337，似乎是
[4] Bertot，Y.，Une Automatisation du Calcul des Résidus en Sémantique Naturelle，博士论文，INRIA，Sophia-Antipolis（1991），法语·Zbl 0851.68030号
[5] （Bergstra，J.A.；Heering，J.；Klint，P.，代数规范。代数规范，ACM出版社前沿系列（1989），ACM与Addison-Wesley合作出版）·Zbl 0711.68073号
[6] Bergstra，J.A。；Klop，J.W.，《条件重写规则：汇合与终止》，《计算机与系统科学杂志》，32，3，323-362（1986）·Zbl 0658.68031号
[7] 巴勒克，R。；莫里茨，B。；Snelting，G.，特定语言调试系统的生成器，（ACM SIGPLAN’87口译员和口译技术研讨会论文集。ACM SIGPLAN’87口译和口译技术会议论文集，SIGPLAN通知，22（1987）），92-101，发表于
[8] Despeyroux，T.，Typol：实现自然语义的形式主义，（技术报告94（1988），INRIA）
[9] van Deursen，A。；Klint，P。；Tip，F.，《原产地追踪》（1992），Centrum voor Wiskunde en Informatica（CWI）：Centrum voor Wiskonde en Informationca（CWI-阿姆斯特丹），报告CS-R9230·Zbl 0804.68088号
[10] Dinesh，T.B。；Tip，F.，生成编程环境的动画和错误报告员（1992年），Centrum voor Wiskunde en Informatica（CWI）：Centrum voor Wiskonde en Informationca（CWI）阿姆斯特丹，报告CS-R9253
[11] Field，J.，增量式术语重写的图形简化方法，（技术报告（1993），IBM T.J.Watson Center），即将出版·Zbl 1503.68109号
[12] Hendriks，P.R.H.，模块代数规范的实现，阿姆斯特丹大学博士论文（1991）
[13] 海林，J。；亨德里克斯，P.R.H。；Klint，P。；Rekers，J.，语法定义形式主义SDF-参考手册，SIGPLAN通知，24，11，43-75（1989）
[14] （Lassez，J.L.；Plotkin，G.，发表于：正交重写系统中的计算，第一部分和第二部分。发表于：《正交重写系统的计算》，第一部分与第二部分，计算逻辑，纪念艾伦·罗宾逊的论文（1991），麻省理工学院出版社）·Zbl 0793.0302号
[15] Kahn，G.，《自然语义学》，（Brandenburg，F.J.；Vidal Naquet，G.；Wirsing，M。，第四届计算机科学理论研讨会,第247卷，共页计算机科学讲义（1987），施普林格出版社，22-39·Zbl 0657.68079号
[16] Klint，P.，生成编程环境的元环境，（Bergstra，J.A.；Feijs，L.M.G.，《ACM软件工程方法汇刊》。ACM软件工程学方法汇刊，METEOR基于形式规范的方法研讨会论文集（1993），LNCS，4901991
[17] Klop，J.W.，术语重写系统，（Abramsky，S.；Gabbay，D.；Maibaum，T.，《计算机科学逻辑手册》，第二卷（1991），牛津大学出版社），以及CWI报告CS-R9073·Zbl 0657.68028号
[18] Kamkar，M。；Shahmehri，N。；Fritzson，P.，《跨过程动态切片及其在广义算法调试中的应用》，（编程语言实现和逻辑编程国际会议论文集，PLILP’92（1992））
[19] Maranget，L.，La strategie paresseuse，博士论文，INRIA Rocquencourt（1992），法语版
[20] van der Meulen，E.A.，《从代数规范派生增量实现》（Deriving incremental implementation from algebratic specifications）（1990年），Centrum voor Wiskunde en Informatica（CWI）：Centrum voor Wiskonde en Informationca（CWI）Amsterdam，《阿姆斯特丹扩展摘要》AMAST’91：第二届代数方法论和软件技术国际会议论文集，Springer-Verlag计算机研讨会
[21] O'Donnell，M.J.，《方程描述的系统中的计算》，（计算机科学讲稿（1977年），斯普林格-Verlag）·Zbl 0421.68038号
[22] Walters，H.R.，《平等条件下，实现代数规范》，阿姆斯特丹大学博士论文（1991年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。