Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • PType system: A featherweight...

Treffer: PType system: A featherweight parallelizability detector

Title:
PType system: A featherweight parallelizability detector
Authors:
XU, Dana N, KHOO, Siau-Cheng, ZHENJIANG HU
Source:
Programming languages and systems (Taipei, 4-6 November 2004)Lecture notes in computer science. :197-212
Publisher Information:
Berlin: Springer, 2004.
Publication Year:
2004
Physical Description:
print,
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Langages de programmation, Programming languages, Algorithme parallèle, Parallel algorithm, Algoritmo paralelo, Analyse programme, Program analysis, Análisis programa, Calcul parallèle, Parallel computation, Cálculo paralelo, Capteur mesure, Measurement sensor, Captador medida, Fonction non linéaire, Non linear function, Función no lineal, Fonction récursive, Recursive function, Función recursiva, Langage programmation, Programming language, Lenguaje programación, Modélisation, Modeling, Modelización, Parallélisme, Parallelism, Paralelismo, Programmation fonctionnelle, Functional programming, Programación funcional, Programmation modulaire, Modular programming, Programación modular, Programme parallèle, Parallel program, Programa paralelo, Structure annulaire, Ring structure, Estructura anular, Structure programme, Program structure, Estructura programa, Théorie type, Type theory, Vérification programme, Program verification, Verificación programa
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
School of Computing, National University of Singapore, Singapore
University of Tokyo, Japan
PRESTO 21, Japan Science and Technology Corporation, Japan
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=16335510
Rights:
Copyright 2005 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.16335510
Database:
PASCAL Archive

Weitere Informationen

Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrate an automated type-based system that soundly detects parallelizability of sequential functional programs. Our type inference system discovers the parallelizability property of a sequential program in a modular fashion, by exploring a ring structure among the program's operators. It handles self-recursive functions with accumulating parameters, as well as a class of non-linear mutual-recursive functions. Programs whose types are inferred to be parallelizable can be automatically transformed to parallel code in a mutumorphic form - a succint model for parallel computation. Transforming into such a form is an important step towards constructing efficient data parallel programs.