Search Results - "Logic and Constraint Programming"

Source: Lecture Notes in Computer Science ISBN: 9783540634409
Euro-Par'97 Parallel Processing | Third International Euro-Par Conference | August 26-29, 1997 | Passau, Germany
Archivo Digital UPM
instname

Subject Terms: Task granularity Control, Informática, cálculos irregulares, Especulación, Abstract interpretation, 02 engineering and technology, Irregular computations, Pointer aliasing analysis, Análisis global, Interpretación de resúmenes, Automatic parallelization, paralelización automática, 0202 electrical engineering, electronic engineering, information engineering, Speculation, Control de la tasa de granularidad, Global analysis

File Description: application/pdf

Access URL: http://oa.upm.es/14555/1/HERMENE_IPT_1997-2.pdf
https://oa.upm.es/14555/
https://dblp.uni-trier.de/db/conf/europar/europar97.html#Hermenegildo97
https://link.springer.com/10.1007/BFb0002715
https://link.springer.com/content/pdf/10.1007%2FBFb0002715.pdf
http://oa.upm.es/14555/
https://rd.springer.com/chapter/10.1007/BFb0002715
https://link.springer.com/chapter/10.1007/BFb0002715

View record at OpenAIRE

Nájsť tento článok vo Web of Science

6

Logic and Constraint Programming versus Concurrency / 論理・制約プログラミングと並行計算

Authors: Kazunori UEDA 上田和紀

Source: コンピュータソフトウェア / Computer Software. 2008, 25(3):3-49

View Record from J-STAGE

Full Text Finder

Nájsť tento článok vo Web of Science

7

Incremental and Modular Context-sensitive Analysis

Authors: ISABEL GARCIA-CONTRERAS JOSÉ F. MORALES MANUEL V. HERMENEGILDO

Source: HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) | 28 Mar 2021 | Luxemburgo
Archivo Digital UPM
Universidad Politécnica de Madrid
Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 2
instname

Subject Terms: Fixpoint algorithms, Informática, I.2.2, FOS: Computer and information sciences, I.2.3, D.2.4, F.3.1, Computer Science - Programming Languages, Incremental analysis, Program analysis, Abstract interpretation, Logic and constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Modular analysis, 0202 electrical engineering, electronic engineering, information engineering, Constrained Horn clauses, Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1804.01839
http://arxiv.org/abs/1804.01839
https://oa.upm.es/70154/
https://oa.upm.es/70098/
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/incremental-and-modular-contextsensitive-analysis/E4123610FEF4488AE3F983162746CA89
https://doi.org/10.1017/S1471068420000496
https://dblp.uni-trier.de/db/journals/tplp/tplp21.html#Garcia-Contreras21
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E4123610FEF4488AE3F983162746CA89/S1471068420000496a.pdf/div-class-title-incremental-and-modular-context-sensitive-analysis-div.pdf
https://arxiv.org/abs/1804.01839
https://arxiv.org/pdf/1804.01839

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

8

VeriFly: On-the-fly Assertion Checking via Incrementality

Authors: MIGUEL A. SANCHEZ-ORDAZ ISABEL GARCIA-CONTRERAS VICTOR PEREZ et al.

Contributors: MIGUEL A. SANCHEZ-ORDAZ ISABEL GARCIA-CONTRERAS VICTOR PEREZ et al.

Source: Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 6
Archivo Digital UPM
instname
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
Universidad Politécnica de Madrid

Subject Terms: Informática, FOS: Computer and information sciences, Program development environments, Computer Science - Programming Languages, On-the-fly assertion checking, Incremental analysis, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, Logic and constraint programming, 02 engineering and technology, Static analysis, Programming Languages (cs.PL)