Amanote Research

Amanote Research

    RegisterSign In

Automatic Compile-Time Parallelization of Prolog Programs for Dependent And-Parallelism

doi 10.7551/mitpress/4299.003.0014
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1997

Authors

Unknown

Publisher

The MIT Press


Related search

Automatic Parallelization of Nested Loop Programs for Non-Manifest Real-Time Stream Processing Applications

English

Automatic Parallelization and Optimization of Programs by Proof Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Exploiting and/or Parallelism in Prolog

2000English

Detection of Control Flow Errors in Parallel Programs at Compile Time

International Journal of Distributed and Parallel systems
2010English

A Tool for Automatic Parallelization of Affine Programs for Systems With Shared and Distributed Memory

Russian Technological Journal
2019English

HELIX-RC: An Architecture-Compiler Co-Design for Automatic Parallelization of Irregular Programs

2014English

Linear Time Detection of Inherent Parallelism in Sequential Programs

Computer Physics Communications
HardwareAstronomyPhysicsArchitecture
1985English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

The Power of Parallelism for Automatic Program Synthesis

1981English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy