首页/论文/1101.5569

arXiv 1101.55692011-01-28cs.PL

T2Script程序设计语言

T2Script Programming Language

Piotr J. Puczynski

备注：: 27 pages, 9 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

事件驱动编程在现代计算机科学的许多领域都有应用。在事件驱动的程序设计语言中，用户通过触发事件与程序交互。我们提出了一种新的方法，我们表示命令事件驱动的编程中，用户通过事件和命令与程序进行交互。我们描述了一种新的程序设计语言，T2脚本，这是基于命令事件驱动的范例。T2Script已经在一个工业产品中实现并使用。我们描述了新的T2Script语言的原理，基本概念和先进的编程技术。我们评估新的语言，并显示它的优点和局限性。

英文摘要：

Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propose a new approach that we denote command-event driven programming in which the user interacts with a program by means of events and commands. We describe a new programming language, T2Script, which is based on command-event driven paradigm. T2Script has been already implemented and used in one of industrial products. We describe the rationale, basic concepts and advanced programming techniques of new T2Script language. We evaluate the new language and show what advantages and limitations it has.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

性能透明编程模型的概念验证示例

Proof-of-Concept Examples of Performance-Transparent Programming Models

特定于机器的优化命令机器以特定的方式运行。由于当前的编程模型在很大程度上保留了未公开的机器细节，因此它们无法容纳此类命令的直接编码。在以前的工作中，我们提出了性能透明的编程模型的设计，以促进这种用例;本报告包含这种编程模型的概念验证示例。我们演示了编程模型抽象如何揭示应用程序的内存占用，向量单元利用率和数据重用，预测精度范围从0到25%。

2018-03-29cs.PFcs.PL

机器人实时的关键指令图形化语言

A Graphical Language for Real-Time Critical Robot Commands

University of Augsburg（奥格斯堡大学）

工业机器人的特点是复杂的机械部件和高度发达的实时的【形】控制算法。然而，机器人系统的有效使用受到现有专有编程方法的极大限制。在研究项目SoftRobot中，开发了一种软件架构，该架构能够使用面向对象的通用语言对复杂的实时的【形】关键机器人任务进行编程。在此架构之上，开发了一种图形语言，以简化复杂机器人命令的规范，然后可以将其用作机器人应用程序工作流程的一部分。本文概述了这种图形化语言的设计和实现，并举例说明了它的实用性。

2013-03-27cs.PLcs.ROcs.SE

Do Be Do Be Do

Do be do be do

我们探讨的设计和实施的弗兰克，一个严格的功能性程序设计语言的双向效果类型系统设计从地面上围绕一个新的变种Plotkin和Pretnar的效果处理抽象。效果处理程序为模块化有效编程提供了一个抽象：处理程序充当命令集合的解释器，这些命令的接口由类型系统静态跟踪。然而，Frank通过概括函数抽象本身的基本机制，消除了对额外效果处理构造的需要。函数只是不解释任何命令的Frank运算符的特殊情况。此外，Frank的操作符可以是多处理程序，可以同时解释来自多个源的命令，而不会干扰函数式编程的直接风格。Frank中的效应类型采用了一种新颖的效应多态形式，避免在源代码中提及效应变量。这是通过向内传播环境异能来实现的，而不是向外累积潜在效果的联合。我们介绍弗兰克的例子，然后给出一个正式的帐户弗兰克类型系统及其语义。我们通过将Frank操作符细化到函数、case表达式和一元处理程序中来引入Core Frank，然后为Core Frank给出一个合理的小步操作语义。使用效果和处理程序进行编程还处于起步阶段。我们对未来的可能性进行了探索，特别是与其他形式的丰富类型系统相结合。

2017-10-03cs.PL

面向加权程序的演绎验证基础设施

Towards a Deductive Verification Infrastructure for Weighted Programming

RWTH Aachen University（亚琛工业大学）

该研究针对加权程序构建了演绎验证框架，证明了核心命令翻译、证明规则编码及量词消去的可靠性，基于Caesar验证器的原型可验证多类定量与符号模型相关案例。

2026-08-20cs.PL

Shell语言处理：用于机器学习的Unix命令解析

Shell Language Processing: Unix command parsing for Machine Learning

University of Helsinki（赫尔辛基大学）；Avast Software（Avast软件公司）

在本文中，我们介绍了一个Shell语言预处理（SLP）库，它实现了针对解析Unix和Linux shell命令的标记化和编码。我们描述了需要一种新方法的理由，并给出了传统自然语言处理（NLP）管道失败的具体例子。此外，我们评估了我们的方法对广泛接受的信息和通信技术（ICT）标记化技术的安全分类任务，并实现了F1分数从0.392到0.874的显着改善。

2022-07-07cs.LGcs.PL

为具有并发性的广谱语言设计语义模型

Designing a semantic model for a wide-spectrum language with concurrency

宽谱语言将规范构造集成到程序设计语言中，其方式是将规范命令像对待任何其他命令一样对待。本文研究了一种支持并发和精化演算的广谱语言的语义模型。为了处理具有依赖和保证条件的规格说明，该模型包括显式的环境步骤以及程序步骤。我们的方法的一个新颖之处是，我们定义了一组原始的命令和操作符，从更复杂的规范和程序设计语言命令的建立。原语具有简单的代数属性，支持使用代数推理进行证明。该模型是通用的，足以指定不同的概念，如可靠保证推理，时序逻辑，程序的进度属性，并支持细化规范的代码。它还形成了一个抽象并发程序代数的实例，这有助于在高抽象级别上推理模型的属性。

2016-09-01cs.LOcs.PL

更多相关论文收起更多论文

NoFAQ：从示例中综合命令修复

NoFAQ: Synthesizing Command Repairs from Examples

命令行工具令人困惑，由于其神秘的错误消息和缺乏文档，新手程序员很难使用。新手用户经常求助于在线帮助论坛来寻找对他们错误命令的纠正，但是很难精确地搜索与他们的问题相关的帖子，然后将建议的解决方案应用于他们的错误命令。我们提出了一个工具，NoFAQ，它使用一组规则来建议可能的修复程序，当用户编写错误的命令，触发常见的错误。这些规则是用一种名为FixIt的语言表达的，每个规则都与用户的错误命令和相应的错误消息进行模式匹配，并使用这些输入来生成可能的固定命令。我们的主要贡献是一个算法的基础上懒惰VSA合成FixIt规则的例子，有缺陷的和修复的命令。该算法允许用户在NoFAQ中添加新规则，而无需手动编码。我们在92个基准问题上对NoFAQ进行了评估，结果表明NoFAQ能够实时的为81个基准问题即时合成规则，每个规则只使用2到5个输入输出示例。

2016-08-29cs.PL

程序设计语言与法律：研究议程

Programming Languages and Law: A Research Agenda

如果代码是法律，那么法律的语言就是程序设计语言。律师和法律学者可以通过学习编程语言理论来学习法律，编程语言工具可以有效地应用于法律问题。本文回顾了程序设计语言和法律研究的历史，并提出了未来努力的十个有前途的途径。它的目标是解释程序设计语言和法律的结合如何在计算机科学和法律的更广泛的领域中与众不同，并用具体的例子来展示编程语言概念在这个新领域中的显着力量。

2022-06-29cs.PL

EBG：一种在Java虚拟机上实现的懒惰函数式程序设计语言

EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine

本技术报告描述了在Java VM上实现惰性函数式程序设计语言。

2018-04-17cs.PL

六种程序设计语言的比较研究

Comparative Studies of Six Programming Languages

比较程序设计语言是软件工程师讨论的一个常见话题。为了跟上不断变化的编程范式、硬件发展等，每年都有多种程序设计语言被设计、指定和实现。本文对六种程序设计语言：C++、PHP、C#、Java、Python、VB进行了比较研究;从可重用性、可靠性、可移植性、编译器和工具的可用性、可读性效率、熟悉度和表现力。

2015-04-02cs.PL

论非标准程序设计语言的极限能力

On the extreme power of nonstandard programming languages

Suenaga和Hasuo介绍了一种非标准的程序设计语言${\bf While}^{\bf dt}$，它可以模拟混合系统。我们证明了为什么${\bf While}^{\bf dt}$是不适合建模的实际计算。

2018-11-18cs.PL

图结构上并发程序设计的线性逻辑程序设计语言

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

我们已经设计了一种新的逻辑程序设计语言称为LM（线性融合）编程基于图形的算法在声明式的方式。我们的语言是基于线性逻辑，一个表达逻辑系统，逻辑事实可以消费。因为LM集成了经典逻辑和线性逻辑，所以LM比其他逻辑程序设计语言更有表现力。LM程序自然是并发的，因为事实是由图数据结构的节点划分的。计算在节点级别执行，而通信发生在连接的节点之间。在本文中，我们提出了我们的语言的语法和操作语义，并说明其使用通过一些例子。

2014-05-14cs.PL

一个并发命令式程序设计框架

A Framework for Concurrent Imperative Programming

该框架提供了一个通用的并发命令式编程模型。程序被建模为形式语言，并发性被建模为交织（或混洗）运算符。这产生了一个简单而优雅的程序代数。该框架支持Dinsdale-Young等人的视图程序逻辑，它概括了各种类型系统和程序正确性的分离逻辑方法。它还验证了熟悉的操作演算在小步和大步的味道。程序逻辑相对于操作规则的一致性是直接建立的，并且不使用推导上的归纳。事实上，整个框架只使用简单的数学。参数化的状态，视图和基本命令，它可以实例化为各种具体的语言和设置。

2012-09-10cs.LOcs.PL

Caruca：面向不透明软件组件的有效且高效的规格挖掘

Caruca: Effective and Efficient Specification Mining for Opaque Software Components

Brown University（布朗大学）；New York University（纽约大学）；University of Pennsylvania（宾夕法尼亚大学）；Stevens Institute of Technology（史蒂文斯理工学院）

Caruca利用大型语言模型和系统调用拦截，自动挖掘不透明命令的规格，在60个命令上几乎全部正确，消除了手动工作。

2025-10-16cs.PLcs.SE

自主机器人在Jadescript中编程的探索性实验

Exploratory Experiments on Programming Autonomous Robots in Jadescript

Università degli Studi di Parma（帕尔马大学）

本文介绍了探索性实验，以验证自主机器人使用面向代理的程序设计语言编程的可能性。通过各种类型的传感器对环境进行适当的感知，并通过有效的致动器对外部事件做出及时的反应，对于为机器人提供足够的自主性至关重要。面向代理的编程范式与这方面相关，因为它提供了语言级的抽象来处理事件和命令执行器。本文介绍了一种新的面向Agent的程序设计语言Jadescript，并介绍了它的一些新特性。一个简单的案例研究应用程序的探索性实验，以显示所提出的方法的有效性，并使用该语言来编程自主机器人。

2020-07-23cs.AIcs.MAcs.PL

Lupa：一个大规模程序设计语言使用分析框架

Lupa: A Framework for Large Scale Analysis of the Programming Language Usage

在本文中，我们提出了Lupa -一个大规模分析的程序设计语言的使用框架。Lupa是一个命令行工具，它使用了IntelliJ平台的强大功能，这使它能够访问现代IDE中使用的强大静态分析工具。该工具支持自定义分析器，可以处理代码的丰富具体语法树，并可以计算其各种功能：实体的存在，它们的依赖关系，定义使用链等。我们解释了该工具的内部原理，展示了如何扩展和自定义它，并描述了我们在它的帮助下进行的示例分析：分析Kotlin中范围的语法。

2022-03-28cs.PLcs.SE

深度概率程序设计语言的定性研究

Deep Probabilistic Programming Languages: A Qualitative Study

IBM Research（IBM研究公司/IBM研究（注：IBM Research通常译为IBM研究，属于企业研究机构，按要求提取到公司级别））

深度概率程序设计语言试图将深度学习的优势与概率程序设计语言的优势结合起来。如果成功，这将是机器学习和程序设计语言的一大步。不幸的是，到目前为止，这种新的语言很难使用和理解。本文通过解释深度概率程序设计语言直接解决了这个问题，并通过描述其当前的优势和劣势间接解决了这个问题。

2018-04-17cs.AIcs.PL

Ezhil：一种泰米尔语程序设计语言

Ezhil: A Tamil Programming Language

University of Texas at Arlington（德克萨斯大学阿灵顿分校）

Ezhil是一种基于泰米尔语的解释过程程序设计语言。选择泰米尔语关键字和语法，使母语为泰米尔语的人在Ezhil系统中编写程序。Ezhil允许更接近泰米尔语言逻辑结构的计算机程序的简单表示，相当于现代英语程序设计语言中的条件，分支和循环语句。Ezhil是一种紧凑的程序设计语言，针对泰米尔语新手计算机用户。这里报告了Ezhil的语法和一些示例程序，这些程序来自使用Python编程语言1的初始概念验证实现。据我们所知，Ezhil语言是第一个免费提供的泰米尔程序设计语言。

2009-07-28cs.CLcs.PL

模板：一种面向并发程序设计的置标语言

Templet: a Markup Language for Concurrent Programming

在本文中，我们提出了一种新的方法来描述网络的相互作用的进程在传统的程序设计语言。特殊的程序设计语言或顺序语言的扩展通常被设计来表达并发执行的语义。使用C++、Java、C#和其他语言中的库是更实用的并发编程方式。然而，该方法导致人工编码的工作量增加。此外，股票编译器不能检测到这些库中的编程模型相关的语义错误。新的置标语言和基于标记代码的自动编程技术可以解决这些问题。本文提供了置标语言的详细规范，但没有讨论其实现细节。该语言用于当前和未来的多核和众核系统的编程。

2014-12-02cs.DCcs.PL

用其他现代程序设计语言取代ANSI C

Replacing ANSI C with other modern programming languages

用其他现代程序设计语言（如Python或Java）取代ANSI C语言可能是技术大学的一个实际辩论话题。那些主要兴趣不在编程领域的研究人员似乎更喜欢现代和更高级的语言。保持标准语言ANSI C作为工程师和微控制器编程、机器人和数据采集课程的主要工具是另一个强烈的不同意见趋势。面向函数和面向对象的语言可能是实际争论中的另一个突出话题。

2014-12-18cs.CYcs.PL