Compositionality in dataflow synchronous languages: specification & code generation View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1999-05-21

AUTHORS

Albert Benveniste , Paul Le Guernic , Pascal Aubry

ABSTRACT

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataflow synchronous languages. As careless storing of object code for further reuse in systems design fails to work, we first concentrate on what are the additional features needed to abstract programs for the purpose of code generation: we show that a central notion is that of scheduling specification as resulting from a causality analysis of the given program. Then we study separate compilation for synchronous programs, and we discuss the issue of distributed implementation using an asynchronous medium of communication; for both topics we provide a complete formal study in the extended version [B1GA97] of this paper. Corresponding algorithms are currently under development in the framework of the DG+ common format for synchronous languages. More... »

PAGES

61-80

References to SciGraph publications

Book

TITLE

Compositionality: The Significant Difference

ISBN

978-3-540-65493-3
978-3-540-49213-9

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-49213-5_3

DOI

http://dx.doi.org/10.1007/3-540-49213-5_3

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1003704721


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Le Guernic", 
        "givenName": "Paul", 
        "id": "sg:person.012323217107.52", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012323217107.52"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "Irisa/Ifsic, Campus de Beaulieu, 35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Aubry", 
        "givenName": "Pascal", 
        "id": "sg:person.011531773031.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011531773031.20"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/69624.357207", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004142526"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-58043-3_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025666438", 
          "https://doi.org/10.1007/3-540-58043-3_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-6423(91)90001-e", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032888318"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0890-5401(87)90040-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042763034"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1044704735", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4612-0931-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044704735", 
          "https://doi.org/10.1007/978-1-4612-0931-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4612-0931-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044704735", 
          "https://doi.org/10.1007/978-1-4612-0931-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4757-2231-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048495206", 
          "https://doi.org/10.1007/978-1-4757-2231-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4757-2231-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048495206", 
          "https://doi.org/10.1007/978-1-4757-2231-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(88)90051-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050844471"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.97301", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061180435"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1999-05-21", 
    "datePublishedReg": "1999-05-21", 
    "description": "Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataflow synchronous languages. As careless storing of object code for further reuse in systems design fails to work, we first concentrate on what are the additional features needed to abstract programs for the purpose of code generation: we show that a central notion is that of scheduling specification as resulting from a causality analysis of the given program. Then we study separate compilation for synchronous programs, and we discuss the issue of distributed implementation using an asynchronous medium of communication; for both topics we provide a complete formal study in the extended version [B1GA97] of this paper. Corresponding algorithms are currently under development in the framework of the DG+ common format for synchronous languages.", 
    "editor": [
      {
        "familyName": "de Roever", 
        "givenName": "Willem-Paul", 
        "type": "Person"
      }, 
      {
        "familyName": "Langmaack", 
        "givenName": "Hans", 
        "type": "Person"
      }, 
      {
        "familyName": "Pnueli", 
        "givenName": "Amir", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-49213-5_3", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-65493-3", 
        "978-3-540-49213-9"
      ], 
      "name": "Compositionality: The Significant Difference", 
      "type": "Book"
    }, 
    "name": "Compositionality in dataflow synchronous languages: specification & code generation", 
    "pagination": "61-80", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-49213-5_3"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "11a5d1dd72ac41e8526406361e6b0c5eec1152709f92be40401c66e16c6c9e8e"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1003704721"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-49213-5_3", 
      "https://app.dimensions.ai/details/publication/pub.1003704721"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T05:48", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000347_0000000347/records_89819_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F3-540-49213-5_3"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/3-540-49213-5_3'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/3-540-49213-5_3'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-49213-5_3'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-49213-5_3'


 

This table displays all metadata directly associated to this object as RDF triples.

119 TRIPLES      23 PREDICATES      35 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-49213-5_3 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nd2d35d49bc124aec973d02b43d360011
4 schema:citation sg:pub.10.1007/3-540-58043-3_16
5 sg:pub.10.1007/978-1-4612-0931-7
6 sg:pub.10.1007/978-1-4757-2231-4
7 https://app.dimensions.ai/details/publication/pub.1044704735
8 https://doi.org/10.1016/0167-6423(91)90001-e
9 https://doi.org/10.1016/0304-3975(88)90051-5
10 https://doi.org/10.1016/0890-5401(87)90040-x
11 https://doi.org/10.1109/5.97301
12 https://doi.org/10.1145/69624.357207
13 schema:datePublished 1999-05-21
14 schema:datePublishedReg 1999-05-21
15 schema:description Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataflow synchronous languages. As careless storing of object code for further reuse in systems design fails to work, we first concentrate on what are the additional features needed to abstract programs for the purpose of code generation: we show that a central notion is that of scheduling specification as resulting from a causality analysis of the given program. Then we study separate compilation for synchronous programs, and we discuss the issue of distributed implementation using an asynchronous medium of communication; for both topics we provide a complete formal study in the extended version [B1GA97] of this paper. Corresponding algorithms are currently under development in the framework of the DG+ common format for synchronous languages.
16 schema:editor N23555e25aac641ed9af83be7161e7007
17 schema:genre chapter
18 schema:inLanguage en
19 schema:isAccessibleForFree true
20 schema:isPartOf N4feaf41d70604999ab60209235a58c18
21 schema:name Compositionality in dataflow synchronous languages: specification & code generation
22 schema:pagination 61-80
23 schema:productId N219945a8fb314056ac74213ffc991de7
24 N2ce5e364face449190489c15aa3654ad
25 N5f02a3add33b46eb9c14038e15abdc85
26 schema:publisher N04281dcb23d746cd9ed8bf4defeb6a94
27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003704721
28 https://doi.org/10.1007/3-540-49213-5_3
29 schema:sdDatePublished 2019-04-16T05:48
30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
31 schema:sdPublisher Ne53bc98bf0b24cd68b5a59575603f8ac
32 schema:url https://link.springer.com/10.1007%2F3-540-49213-5_3
33 sgo:license sg:explorer/license/
34 sgo:sdDataset chapters
35 rdf:type schema:Chapter
36 N010c05aeeb33443895da31da4fefd17e schema:familyName Langmaack
37 schema:givenName Hans
38 rdf:type schema:Person
39 N04281dcb23d746cd9ed8bf4defeb6a94 schema:location Berlin, Heidelberg
40 schema:name Springer Berlin Heidelberg
41 rdf:type schema:Organisation
42 N219945a8fb314056ac74213ffc991de7 schema:name readcube_id
43 schema:value 11a5d1dd72ac41e8526406361e6b0c5eec1152709f92be40401c66e16c6c9e8e
44 rdf:type schema:PropertyValue
45 N23555e25aac641ed9af83be7161e7007 rdf:first N69e8c8f6c71a488e9d31eea7ef3e3f9f
46 rdf:rest N8296b2c41a894cffb7a7327fe4f587d9
47 N2ce5e364face449190489c15aa3654ad schema:name dimensions_id
48 schema:value pub.1003704721
49 rdf:type schema:PropertyValue
50 N4feaf41d70604999ab60209235a58c18 schema:isbn 978-3-540-49213-9
51 978-3-540-65493-3
52 schema:name Compositionality: The Significant Difference
53 rdf:type schema:Book
54 N5a4a5b197d234c229c3edef00288d059 rdf:first sg:person.012323217107.52
55 rdf:rest N63f1d75048074d6ebb668de8e084defb
56 N5f02a3add33b46eb9c14038e15abdc85 schema:name doi
57 schema:value 10.1007/3-540-49213-5_3
58 rdf:type schema:PropertyValue
59 N63f1d75048074d6ebb668de8e084defb rdf:first sg:person.011531773031.20
60 rdf:rest rdf:nil
61 N69e8c8f6c71a488e9d31eea7ef3e3f9f schema:familyName de Roever
62 schema:givenName Willem-Paul
63 rdf:type schema:Person
64 N8296b2c41a894cffb7a7327fe4f587d9 rdf:first N010c05aeeb33443895da31da4fefd17e
65 rdf:rest Nf09770719c3941ecb24870980e8c44e6
66 Na6b40773670d42de8639747424ad1248 schema:familyName Pnueli
67 schema:givenName Amir
68 rdf:type schema:Person
69 Nd2d35d49bc124aec973d02b43d360011 rdf:first sg:person.011174600625.42
70 rdf:rest N5a4a5b197d234c229c3edef00288d059
71 Ne53bc98bf0b24cd68b5a59575603f8ac schema:name Springer Nature - SN SciGraph project
72 rdf:type schema:Organization
73 Nf09770719c3941ecb24870980e8c44e6 rdf:first Na6b40773670d42de8639747424ad1248
74 rdf:rest rdf:nil
75 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
76 schema:name Information and Computing Sciences
77 rdf:type schema:DefinedTerm
78 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
79 schema:name Computation Theory and Mathematics
80 rdf:type schema:DefinedTerm
81 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
82 schema:familyName Benveniste
83 schema:givenName Albert
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
85 rdf:type schema:Person
86 sg:person.011531773031.20 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
87 schema:familyName Aubry
88 schema:givenName Pascal
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011531773031.20
90 rdf:type schema:Person
91 sg:person.012323217107.52 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
92 schema:familyName Le Guernic
93 schema:givenName Paul
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012323217107.52
95 rdf:type schema:Person
96 sg:pub.10.1007/3-540-58043-3_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025666438
97 https://doi.org/10.1007/3-540-58043-3_16
98 rdf:type schema:CreativeWork
99 sg:pub.10.1007/978-1-4612-0931-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044704735
100 https://doi.org/10.1007/978-1-4612-0931-7
101 rdf:type schema:CreativeWork
102 sg:pub.10.1007/978-1-4757-2231-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048495206
103 https://doi.org/10.1007/978-1-4757-2231-4
104 rdf:type schema:CreativeWork
105 https://app.dimensions.ai/details/publication/pub.1044704735 schema:CreativeWork
106 https://doi.org/10.1016/0167-6423(91)90001-e schema:sameAs https://app.dimensions.ai/details/publication/pub.1032888318
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1016/0304-3975(88)90051-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050844471
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1016/0890-5401(87)90040-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1042763034
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1109/5.97301 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180435
113 rdf:type schema:CreativeWork
114 https://doi.org/10.1145/69624.357207 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004142526
115 rdf:type schema:CreativeWork
116 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
117 schema:name Irisa/Ifsic, Campus de Beaulieu, 35042, Rennes cedex, France
118 Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France
119 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...