Results 1 to 10 of about 124,053 (354)
Independence in CLP languages [PDF]
ACM Transactions on Programming Languages and Systems, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and efficiency.
María García de la Banda +2 more
openalex +5 more sources
The replacement operation for CLP modules [PDF]
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95, 1995 In this paper we study the replacement transformation for Constraint Logic Programming modules. We define new applicabihty conditions which guarantee the correctness of the operation also wrt module¿s composition: under this conditions, the original and the transformed modules have the same observable properties also when they are composed with other ...
Sandro Etalle, Maurizio Gabbrielli
openalex +6 more sources
, 2009 This work defines a functional ATPG framework that exploits a particular kind of EFSM which has been theoretically showed to allow a more uniform traversing of the DUV state space. Determinism is obtained by interfacing with CLP solver that adopts formal methods to solve the conditions of the enabling functions.
Giuseppe Di +3 more
openalex +6 more sources
Theory and Practice of Logic Programming, 2020 AbstractConcolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by
Mesnard, Frédéric +2 more
openaire +6 more sources
Cells, 2022 The balance between M1 and M2 macrophage polarization is involved in the regulation of pulmonary inflammation. Nuclear factor erythroid-derived 2-like 2 (Nfe2l2, also known as Nrf2), a nuclear transcription factor, is reported to play protective roles in
Jing Luo +6 more
semanticscholar +1 more source
The essential M. tuberculosis Clp protease is functionally asymmetric in vivo
Science Advances, 2022 The Clp protease system is a promising, noncanonical drug target against Mycobacterium tuberculosis (Mtb). Unlike in Escherichia coli, the Mtb Clp protease consists of two distinct proteolytic subunits, ClpP1 and ClpP2, which hydrolyze substrates ...
Felipe B d'Andrea +5 more
semanticscholar +1 more source
Contribution of the Clp Protease to Bacterial Survival and Mitochondrial Homoeostasis
Microbial Physiology, 2021 Fast adaptation to environmental changes ensures bacterial survival, and proteolysis represents a key cellular process in adaptation. The Clp protease system is a multi-component machinery responsible for protein homoeostasis, protein quality control ...
Astrid Illigmann +4 more
semanticscholar +1 more source
BioMed Research International, 2021 Purpose Sepsis originates from the host inflammatory response, especially to bacterial infections, and is considered one of the main causes of death in intensive care units.
Sara Kasirzadeh +11 more
semanticscholar +1 more source
Transformations of CLP modules [PDF]
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sandro Etalle, Maurizio Gabbrielli
openaire +3 more sources
Assinaturas de olhares: uma análise da fotobiografia de José Cardoso Pires
MatLit, 2021 O presente trabalho pretende analisar hipóteses para a leitura e a compreensão de um fotolivro a partir de um caso específico: a fotobiografia. Para tanto, tomamos como objeto de estudo a fotobiografia do escritor José Cardoso Pires da autoria de Inês ...
Gabriella Campos Mendes, Rita Gomes
doaj +1 more source