中文
相关论文

相关论文: Semantics of Programming Languages: A Tool-Oriente…

200 篇论文

As we develop more assistive and automated game design systems, the question of how these systems should be integrated into game development workflows, and how much adaptation may be required, becomes increasingly important. In this paper…

软件工程 · 计算机科学 2020-04-07 Michael Cook

Social aspects in software development teams are of particular importance for a successful project closure. To analyze sentiments in software projects, there are several tools and approaches available. These tools analyze text-based…

软件工程 · 计算机科学 2022-06-23 Marc Herrmann , Martin Obaidi , Jil Klünder

Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic…

计算机与社会 · 计算机科学 2022-08-26 Yixin Cheng , Bernardo Pereira Nunes

Distributional semantic models have become a mainstay in NLP, providing useful features for downstream tasks. However, assessing long-term progress requires explicit long-term goals. In this paper, I take a broad linguistic perspective,…

计算与语言 · 计算机科学 2020-05-07 Guy Emerson

Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and most important tool of a developer. Therefore, appropriate…

编程语言 · 计算机科学 2019-07-29 Dimitri Racordon , Didier Buchs

Logic programming with fixed-point definitions is a useful extension of traditional logic programming. Fixed-point definitions can capture simple model checking problems and closed-world assumptions. Its operational semantics is typically…

计算机科学中的逻辑 · 计算机科学 2015-08-06 Keehang Kwon

Semantic communication has shown great potential in boosting the effectiveness and reliability of communications. However, its systems to date are mostly enabled by deep learning, which requires demanding computing resources. This article…

信息论 · 计算机科学 2023-12-04 Zhijin Qin , Jingkai Ying , Dingxi Yang , Hengjiang Wang , Xiaoming Tao

Is there a characteristic of coordination languages that makes them qualitatively different from general programming languages and deserves special academic attention? This report proposes a nuanced answer in three parts. The first part…

软件工程 · 计算机科学 2013-06-17 Raphael 'kena' Poss

Process mining is increasingly using textual information associated with events to tackle tasks such as anomaly detection and process discovery. Such semantics-aware process mining focuses on what behavior should be possible in a process…

计算与语言 · 计算机科学 2025-08-25 Vira Pyrih , Adrian Rebmann , Han van der Aa

Writing complex computer programs to study scientific problems requires careful planning and an in-depth knowledge of programming languages and tools. In this chapter the importance of using the right tool for the right problem is…

计算物理 · 物理学 2010-06-17 Helmut G. Katzgraber

We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Roberto Bruni , Ugo Montanari , Francesca Rossi

Semantic clusters of a domain form an important feature that can be useful for performing syntactic and semantic disambiguation. Several attempts have been made to extract the semantic clusters of a domain by probabilistic or taxonomic…

cmp-lg · 计算机科学 2008-02-03 Rajeev Agarwal

Developing and maintaining software commonly requires (1) adding new data type constructors to existing applications, but also (2) adding new functions that work on existing data. Most programming languages have native support for defining…

编程语言 · 计算机科学 2023-09-27 Cas van der Rest , Casper Bach Poulsen

A significant amount of information in today's world is stored in structured and semi-structured knowledge bases. Efficient and simple methods to query them are essential and must not be restricted to only those who have expertise in formal…

计算与语言 · 计算机科学 2019-05-31 Aishwarya Kamath , Rajarshi Das

Foundation models (FMs), including large language models, have become increasingly popular due to their wide-ranging applicability and ability to understand human-like semantics. While previous research has explored the use of FMs in…

信号处理 · 电气工程与系统科学 2024-10-28 Peiwen Jiang , Chao-Kai Wen , Xinping Yi , Xiao Li , Shi Jin , Jun Zhang

The recent efforts in automation of machine learning or data science has achieved success in various tasks such as hyper-parameter optimization or model selection. However, key areas such as utilizing domain knowledge and data semantics are…

人工智能 · 计算机科学 2023-03-03 Udayan Khurana , Kavitha Srinivas , Sainyam Galhotra , Horst Samulowitz

An empirical study was conducted to analyse design strategies and knowledge used in object-oriented software design. Eight professional programmers experienced with procedural programming languages and either experienced or not experienced…

人机交互 · 计算机科学 2016-08-16 Françoise Détienne

This extended abstract gives a brief outline of the connections between the descriptions and variable concepts. Thus, the notion of a concept is extended to include both the syntax and semantics features. The evaluation map in use is…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Viacheslav Wolfengagen

Recent research provides evidence that effective communication in collaborative software development has significant impact on the software development lifecycle. Although related qualitative and quantitative studies point out textual…

软件工程 · 计算机科学 2018-03-07 Vasiliki Efstathiou , Diomidis Spinellis

Many programming problems call for turning geometrical thoughts into code: tables, hierarchical structures, nests of objects, trees, forests, graphs, and so on. Linear text does not do justice to such thoughts. But, it has been the dominant…

编程语言 · 计算机科学 2020-10-27 Leif Andersen , Michael Ballantyne , Matthias Felleisen