Suchergebnisse - programming languages and programming theory: 421

Challenges of software verification: the past, the present, the future von Ferrara, Pietro, Arceri, Vincenzo, Cortesi, Agostino

“… Software verification aims to prove that a program satisfies some given properties for all its possible executions. Software evolved incredibly fast during the …”
Volltext

Current challenges in automatic software repair von Le Goues, Claire, Forrest, Stephanie, Weimer, Westley

“… synthesis with respect to a specification. This article serves three purposes. First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug …”
Volltext

Advancing code completion through rotary position embedding von Yin, Yiming, Liu, Jianxun, Liu, Yi, Deng, Jia

“… With the rapid development of IT technology, the software information industry is growing rapidly in the world. As a core function and basic component of an …”
Volltext

Visualisation with treemaps and sunbursts in many-objective optimisation von Walker, David J.

“… Visualisation is an important aspect of evolutionary computation, enabling practitioners to explore the operation of their algorithms in an intuitive way and …”
Volltext

Automated NMR relaxation dispersion data analysis using NESSY von Bieri, Michael, Gooley, Paul R

“… Background Proteins are dynamic molecules with motions ranging from picoseconds to longer than seconds. Many protein functions, however, appear to occur on the …”
Volltext

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs von CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“… The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of the type hierarchy …”
Volltext

Multimodal Recipe Recommendation System Using Deep Learning and Rule-Based Approach von Khilji, Abdullah Faiz Ur Rahman, Sinha, Utkarsh, Singh, Pintu, Ali, Adnan, Dadure, Pankaj, Manna, Riyanka, Pakray, Partha

“… In today’s age of the internet, there is tremendous growth in information. Moreover, this information can be easily accessed through different combinations of …”
Volltext

Semantics of Integrating and Differentiating Singularities von Michel, Jesse, Lee, Wonyeol, Yang, Hongseok

“… ). Since programming languages typically support division, programs may denote singular functions. Although on its own, a singularity may be considered a bug, introducing a division-by-zero error, singular integrals …”
Volltext

A systematic metadata harvesting workflow for analysing scientific networks von Butt, Bilal H., Rafi, Muhammad, Sabih, Muhammad

“… One of the disciplines behind the science of science is the study of scientific networks. This work focuses on scientific networks as a social network having …”
Volltext

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Volltext

API2Com: On the Improvement of Automatically Generated Code Comments Using API Documentations von Shahbazi, Ramin, Sharma, Rishab, Fard, Fatemeh H.

“… As a result, several automatic comment generation models are developed as a solution. The recent models explore the integration of external knowledge resources such as Unified Modeling Language class diagrams to improve the generated comments …”
Volltext

A structured approach for the engineering of biochemical network models, illustrated for signalling pathways von Breitling, Rainer, Gilbert, David, Heiner, Monika, Orton, Richard

“… Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern …”
Volltext

On the expressive power of KLAIM-based calculi von De Nicola, Rocco, Gorla, Daniele, Pugliese, Rosario

“… We study the expressive power of variants of KLAIM, an experimental language with programming primitives for network-aware programming that combines the process algebra approach with the coordination-oriented one …”
Volltext

Evaluation of an associative classifier based on position-constrained frequent/closed subtree mining von Bui, Dang Bach, Hadzic, Fedja, Tagarelli, Andrea, Hecker, Michael

“… Tree-structured data are popular in many domains making structural classification an important task. In this paper, an associative classification method is …”
Volltext

Knowledge-Driven Intelligent Survey Systems Towards Open Science von Edelstein, Elspeth, Pan, Jeff Z., Soares, Ricardo, Wyner, Adam

“… In this paper, we propose Knowledge Graph (KG), an articulated underlying semantic structure, as a semantic bridge between humans, systems, and scientific …”
Volltext

Foreword to the special issue on quality engineering for software product lines von Bagheri, Ebrahim, Gašević, Dragan

“… Issue Title: Special Issue: Quality Engineering for Software Product Lines …”
Volltext

Symbolic OBDD representations for mechanical assembly sequences von Gu, Tianlong, Xu, Zhoubo, Yang, Zhifei

“… Assembly sequence planning is one typical combinatorial optimization problem, where the size of parts involved is a significant and often prohibitive …”
Volltext

A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions von Sabel, David, Schmidt-Schauß, Manfred

“… It comprises a strict functional programming language with polymorphic and recursively defined partial functions and polymorphic data types …”
Volltext

Affective Dependencies von Giannakidou, Anastasia

“… Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as …”
Volltext

A Functorial Framework for Constraint Normal Logic Programming von Lucio, P., Orejas, F., Pasarella, E., Pino, E.

“… However, if the language of the extension is richer than Horn clauses its free extension (if it exists …”
Volltext