中文
相关论文

相关论文: A critical analysis of string APIs: The case of Ph…

200 篇论文

Context: Poor usability of cryptographic APIs is a severe source of vulnerabilities. Aim: We wanted to find out what kind of cryptographic libraries are present in Rust and how usable they are. Method: We explored Rust's cryptographic…

密码学与安全 · 计算机科学 2018-07-19 Kai Mindermann , Philipp Keck , Stefan Wagner

APIs are the primary mechanism for developers to gain access to externally defined services and tools. However, previous research has revealed API misuses that violate the contract of APIs to be prevalent. Such misuses can have harmful…

密码学与安全 · 计算机科学 2021-05-18 Rodrigo Bonifacio , Stefan Krüger , Krishna Narasimhan , Eric Bodden , Mira Mezini

Designing an effective API is essential for library developers as it is the lens through which clients will judge its usability and benefits, as well as the main friction point when the library evolves. Despite its importance, defining the…

软件工程 · 计算机科学 2024-02-20 Gustave Monce , Thomas Couturou , Yasmine Hamdaoui , Thomas Degueule , Jean-Rémy Falleri

In recent years, dynamic languages, such as JavaScript or Python, have been increasingly used in a wide range of fields and applications. Their tricky and misunderstood behaviors pose a hard challenge for static analysis of these…

编程语言 · 计算机科学 2019-08-21 Vincenzo Arceri , Isabella Mastroeni

The string-matching field has grown at a such complicated stage that various issues come into play when studying it: data structure and algorithmic design, database principles, compression techniques, architectural features, cache and…

数据结构与算法 · 计算机科学 2008-01-16 Paolo Ferragina

Enterprise applications are often built as service-oriented architectures, where the individual services are designed to perform specific functions and interact with each other by means of well-defined APIs (Application Programming…

软件工程 · 计算机科学 2024-07-11 Fabrizio Montesi , Marco Peressotti , Valentino Picotti , Olaf Zimmermann

Application Programming Interfaces (APIs), which encapsulate the implementation of specific functions as interfaces, greatly improve the efficiency of modern software development. As numbers of APIs spring up nowadays, developers can hardly…

软件工程 · 计算机科学 2021-12-24 Yun Peng , Shuqing Li , Wenwei Gu , Yichen Li , Wenxuan Wang , Cuiyun Gao , Michael Lyu

Context: Web APIs are one of the most used ways to expose application functionality on the Web, and their understandability is important for efficiently using the provided resources. While many API design rules exist, empirical evidence for…

软件工程 · 计算机科学 2024-09-12 Justus Bogner , Sebastian Kotstein , Timo Pfaff

Comparison of programming languages is a common topic of discussion among software engineers. Few languages ever become sufficiently popular that they are used by more than a few people or find their niche in research or education; but…

编程语言 · 计算机科学 2010-08-23 Sultan S. Al-Qahtani , Pawel Pietrzynski , Luis F. Guzman , Rafik Arif , Adrien Tevoedjre

Application Programming Interfaces (APIs) are designed to help developers build software more effectively. Recommending the right APIs for specific tasks has gained increasing attention among researchers and developers in recent years. To…

信息检索 · 计算机科学 2024-01-30 Moshi Wei , Nima Shiri Harzevili , Alvine Boaye Belle , Junjie Wang , Lin Shi , Jinqiu Yang , Song Wang , Ming Zhen , Jiang

Context: Application Programming Interface (API) code examples are an essential knowledge resource for learning APIs. However, a few user studies have explored how the structural characteristics of the source code in code examples impact…

软件工程 · 计算机科学 2024-04-04 Seham Alharbi , Dimitris Kolovos

Modern software development depends on APIs to reuse code and increase productivity. As most software systems, these libraries and frameworks also evolve, which may break existing clients. However, the main reasons to introduce breaking…

软件工程 · 计算机科学 2018-08-09 Aline Brito , Laerte Xavier , Andre Hora , Marco Tulio Valente

String diagrams are an increasingly popular algebraic language for the analysis of graphical models of computations across different research fields. Whereas string diagrams have been thoroughly studied as semantic structures, much less…

范畴论 · 数学 2022-11-04 Paul Wilson , Fabio Zanasi

Developers rely on third-party library Application Programming Interfaces (APIs) when developing software. However, libraries typically come with assumptions and API usage constraints, whose violation results in API misuse. API misuses may…

软件工程 · 计算机科学 2026-04-17 Akalanka Galappaththi , Sarah Nadi , Christoph Treude

All modern web browsers - Internet Explorer, Firefox, Chrome, Opera, and Safari - have a core rendering engine written in C++. This language choice was made because it affords the systems programmer complete control of the underlying…

Sometimes debates on programming languages are more religious than scientific. Questions about which language is more succinct or efficient, or makes developers more productive are discussed with fervor, and their answers are too often…

软件工程 · 计算机科学 2015-06-04 Sebastian Nanz , Carlo A. Furia

Software developers use Application Programming Interfaces (APIs) of libraries and frameworks extensively while writing programs. In this context, the recommendations provided in code completion pop-ups help developers choose the desired…

软件工程 · 计算机科学 2016-09-01 Andrea Renika D'Souza , Di Yang , Cristina V. Lopes

The Python programming language is best known for its syntax and scientific libraries, but it is also notorious for its slow interpreter. Optimizing critical sections in Python entails special knowledge of the binary interactions between…

编程语言 · 计算机科学 2025-07-02 Isabella Basso do Amaral , Renato Cordeiro Ferreira , Alfredo Goldman

Arrows are a general interface for computation and an alternative to Monads for API design. In contrast to Monad-based parallelism, we explore the use of Arrows for specifying generalised parallelism. Specifically, we define an Arrow-based…

编程语言 · 计算机科学 2018-01-09 Martin Braun , Oleg Lobachev , Phil Trinder

Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can…

编程语言 · 计算机科学 2018-06-27 Kasper Dokter , Farhad Arbab
‹ 上一页 1 2 3 10 下一页 ›