Výsledky vyhledávání - programming languages and programming theory: 421

Challenges of software verification: the past, the present, the future Autor 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…”
Získat plný text

Current challenges in automatic software repair Autor 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…”
Získat plný text

Advancing code completion through rotary position embedding Autor 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…”
Získat plný text

Visualisation with treemaps and sunbursts in many-objective optimisation Autor 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…”
Získat plný text

Automated NMR relaxation dispersion data analysis using NESSY Autor 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…”
Získat plný text

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs Autor 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…”
Získat plný text

Multimodal Recipe Recommendation System Using Deep Learning and Rule-Based Approach Autor 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…”
Získat plný text

Semantics of Integrating and Differentiating Singularities Autor 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…”
Získat plný text

A systematic metadata harvesting workflow for analysing scientific networks Autor 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…”
Získat plný text

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

Získat plný text

API2Com: On the Improvement of Automatically Generated Code Comments Using API Documentations Autor 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…”
Získat plný text

A structured approach for the engineering of biochemical network models, illustrated for signalling pathways Autor 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…”
Získat plný text

On the expressive power of KLAIM-based calculi Autor 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…”
Získat plný text

Evaluation of an associative classifier based on position-constrained frequent/closed subtree mining Autor 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…”
Získat plný text

Knowledge-Driven Intelligent Survey Systems Towards Open Science Autor 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…”
Získat plný text

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

“…Issue Title: Special Issue: Quality Engineering for Software Product Lines…”
Získat plný text

Symbolic OBDD representations for mechanical assembly sequences Autor 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…”
Získat plný text

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

“… It comprises a strict functional programming language with polymorphic and recursively defined partial functions and polymorphic data types…”
Získat plný text

Affective Dependencies Autor Giannakidou, Anastasia

“…Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as…”
Získat plný text

A Functorial Framework for Constraint Normal Logic Programming Autor 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…”
Získat plný text