Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Abstract Analysis Framework for Synchronous Concurrent Languages based on
 

Summary: An Abstract Analysis Framework for
Synchronous Concurrent Languages based on
source­to­source Transformation
M. Alpuentea,5 ,1
M.M. Gallardob,5 ,2
E. Pimentelb,5 ,3
A. Villanuevaa,5 ,4
a Dept. SIC
Technical University of Valencia
Valencia, Spain
b Dept. LCC
University of Málaga
Málaga, Spain
Abstract
A pretty wide range of concurrent programming languages have been developed over the years. Coming
from different programming traditions, concurrent languages differ in many respects, though all share the
common aspect to expose parallelism to programmers. In order to provide language level support to pro-
gramming with more than one process, a few basic concurrency primitives are often combined to provide
the main language constructs, sometimes making different assumptions. In this paper, we analyze the most
common primitives and related semantics for the class of synchronous concurrent programming languages,

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Villanueva, Alicia - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences