Declarative Multithreaded Programming

被引：0

作者：

Mancilla, Blanca ^{[1
]}

Plaice, John ^{[1
]}

机构：

[1] Univ New S Wales, Sch Comp Sci & Engn, Sydney, NSW 2052, Australia

来源：

2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2 | 2009年

关键词：

Synchronous programming; distributed computing; declarative programming; Cartesian programming; multidimensional programming;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We demonstrate how TransLucid can be used as a reactive system by introducing sets and privileged dimensions for time and port in the language. At each instant, there is a set of active ports, where sets of equations, demands and threads are all registered. Each thread defines a sequence of (state, demand) pairs, and threads may interact through the overall set of equations. The en tire system remains fully declarative.

引用

页码：910 / 915

页数：6