Filters








86,965 Hits in 4.1 sec

Static analysis of logic programs for independent and parallelism

Dean Jacobs, Anno Langen
1992 The Journal of Logic Programming  
STATIC ANALYSIS OF LOGIC PROGRAMS FOR INDEPENDENT AND PARALLELISM* DEAN JACOBS AND ANN0 LANGEN D This paper presents a general-purpose framework for the abstract interpretation of logic programs and applies  ...  INDEPENDENT AND PARALLELISM The declarative nature of logic programs supports a variety of different forms of parallelism.  ... 
doi:10.1016/0743-1066(92)90034-z fatcat:fvbtbpldsrcrdadsp4cdcpgvhu

Page 21 of Journal of Research and Practice in Information Technology Vol. 20, Issue 1 [page]

1988 Journal of Research and Practice in Information Technology  
An And-Parallel Dataflow Model For Logic Programs .  ...  parallelism without ‘jain’ logic program with literal ; vod dataflow P y machine graph graph (c) Dataflow Model for Predicted AND-parallelism (DAMPA) dataflow graph only for OR- parallelism (d) Umeyama  ... 

Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming [chapter]

Manuel Hermenegildo
1997 Lecture Notes in Computer Science  
In this paper we introduce in a tutorial way some of the problems faced by parallelizing compilers for logic and constraint programs.  ...  In the past decade there has been significant progress in the development of parallelizing compilers for logic programming and, more recently, constraint programming.  ...  López, and G. Puebla for their comments on previous drafts of this paper.  ... 
doi:10.1007/bfb0002715 fatcat:piwyx3nrh5ewbceoqejazsugr4

Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming

Manuel Hermenegildo
2000 Parallel Computing  
Starting in the mid 80s there has been significant progress in the development of parallelizing compilers for logic programming (and more recently, constraint programming) resulting in quite capable parallelizes  ...  In this paper, we introduce in a tutorial way, some of the problems faced by parallelizing compilers for logic and constraint programs and provide pointers to some of the significant progress made in the  ...  More recently, techniques and practical tools have also been developed for the analysis of general constraint logic programs [34] as well as for their parallelization [33] .  ... 
doi:10.1016/s0167-8191(00)00051-x fatcat:woapzcdi35dzziw2tpyuyutsj4

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation [chapter]

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel Hermenegildo
2006 Lecture Notes in Computer Science  
This is one of the reasons why the development of static analysis techniques for inferring cost-related properties of programs (usually upper and/or lower bounds of actual costs) has received considerable  ...  Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints.  ...  Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation Conclusions • Developed framework which allows estimating execution times. • Combines static analysis with onetime  ... 
doi:10.1007/11799573_36 fatcat:d5efh6q7rjcrpn7aumeztits7u

Title index to volume 13

1992 The Journal of Logic Programming  
Interpretation, 3 I5 Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation, 205 Deterministic and Nondeterministic Computation and Horn Programs, on Abstract  ...  Data Types, 23 Global Flow Analysis as a Practical Compilation Tool.  ...  A. 367 Short Note: Procedural Semantics and Negative Informa- tion of Elementary Formal System, 89 Simple Code Improvement Scheme for Prolog, A, 57 Static Analysis of Logic Programs for Independent AND  ... 
doi:10.1016/0743-1066(92)90057-a fatcat:pqxjatfhfnflrgrf33v2hwkenu

Guest editor's introduction

Saumya K. Debray
1992 The Journal of Logic Programming  
"must" happen); frameworks for such analyses; their relationships to the actual semantics of the language; algorithms for dataflow analysis; issues of cost and precision; and applications.  ...  Because "interesting" program properties are usually undecidable and because compilers, type checkers, etc. are usually expected to terminate, any static analysis must necessarily involve some kind of  ...  The last (but by no means the least) two papers in this issue focus on static analyses of logic programs for independent MD-parallel execution.  ... 
doi:10.1016/0743-1066(92)90029-3 fatcat:okicu6ms6fdkxp3vdhlqrgyhxy

Abstract interpretation

Patrick Cousot, Radhia Cousot
2014 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14  
as a parameter, either that of the program to be analyzed or that of a programming language.  ...  We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics  ...  Programming Language and Semantics Independent Static Analysis Frameworks It is very difficult to provide both programming language and semantics indepen dent static analysis frameworks which are general  ... 
doi:10.1145/2603088.2603165 dblp:conf/csl/CousotC14 fatcat:4vwvctw2bbbvhihzx6s3m6yaiy

Parallel Logic Programming: A Sequel [article]

Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2022 arXiv   pre-print
This has been paralleled by significant advances within logic programming, such as tabling, more powerful static analysis and verification, the rapid growth of Answer Set Programming, and in general, more  ...  for researchers in parallel systems outside logic programming.  ...  Static analysis for parallelization algorithms.  ... 
arXiv:2111.11218v2 fatcat:hek4fidju5fblprut2squ6o3rm

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy [chapter]

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, German Puebla
2008 Lecture Notes in Computer Science  
turned on and off at will for each program module.  ...  that programs comply with specifications, and performing many types of program optimizations.  ...  For example, stream and-parallelism can be seen as independent and-parallelism if the independence of "bindings" rather than goals is considered.  ... 
doi:10.1007/978-3-540-68679-8_14 fatcat:2kjxrddnhbh7fd63opeovrs7he

A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)

Jeffrey J. P. Tsai, Bing Li
1999 Australasian Journal of Information Systems  
An effective way to improve their performance is to execute and reason the logic-based requirements specification in parallel.  ...  In this paper, we present a hybrid model to facilitate the parallel execution of a logic-based requirements specification language.  ...  A few approaches for data dependency analysis by static mode inference (Chang, J.H., et al, 1985) is based on the analysis of the structure of a logic program to generate the parallel executable components  ... 
doi:10.3127/ajis.v6i2.291 fatcat:suo2vihyuzedzmuo55facr7lsi

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs [article]

Maximiliano Klemen, Pedro Lopez-Garcia, John P. Gallagher, Jose F. Morales, Manuel V. Hermenegildo
2019 arXiv   pre-print
Most work on static resource analysis has focused on sequential programs, and relatively little progress has been made on the analysis of parallel programs, or more specifically on parallel logic programs  ...  Finally, we instantiate our general framework for the analysis of logic programs with Independent And-Parallelism, report on an implementation within the CiaoPP system, and provide some experimental results  ...  We build on this and propose a novel, general, and flexible framework for setting up cost equations/relations which can be instantiated for performing static resource usage analysis of parallel logic programs  ... 
arXiv:1907.13272v1 fatcat:s4irhuy3fffppjlkril422amqa

An overview of Ciao and its design philosophy

M. V. HERMENEGILDO, F. BUENO, M. CARRO, P. LÓPEZ-GARCÍA, E. MERA, J. F. MORALES, G. PUEBLA
2011 Theory and Practice of Logic Programming  
paradigms and styles and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module.  ...  that programs comply with specifications, and performing many types of optimizations (including automatic parallelization).  ...  Ciao is free software protected to remain so by the GNU LGPL license, and can be used freely to develop both free and commercial applications.  ... 
doi:10.1017/s1471068411000457 fatcat:wopdr753tvfdbbh23rhirgvow4

Sensitivity analysis for automatic parallelization on multi-cores

Silvius Rus, Maikel Pennings, Lawrence Rauchwerger
2007 Proceedings of the 21st annual international conference on Supercomputing - ICS '07  
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavior is input sensitive.  ...  In most cases we have obtained speedups superior to the Intel Ifort compiler because with SA we could complement static analysis with minimum cost dynamic analysis and extract most of the available coarse  ...  When static analysis found a loop nest parallel we have selected the outer one for parallel execution.  ... 
doi:10.1145/1274971.1275008 dblp:conf/ics/RusPR07 fatcat:oh5kewqfubd2zm2ofhaaxpg2zq

Book reports

1992 Computers and Mathematics with Applications  
Concurrency and parallelism, I. 9. A simulation study of or-and independent and-parallelism. 10. Idiom: Integrating dependent and-, independent and-, and or-parallellsm. 11.  ...  A static load partitioning method based on execution profile for committed choice languages. 30. Reforming compilation of logic programs. XIV. Reasoning about programs, II. 31.  ... 
doi:10.1016/0898-1221(92)90096-z fatcat:4pjyhq2h5zcxzcjs7pzcgpop54
« Previous Showing results 1 — 15 out of 86,965 results