Entry Aubry:1995:GDF from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Aubry:1995:GDF,
  author =       "Pascal Aubry and Thierry Gautier",
  title =        "{GC}: The Data-Flow Graph Format of Synchronous
                 Programming",
  journal =      j-SIGPLAN,
  volume =       "30",
  number =       "3",
  pages =        "83--93",
  month =        mar,
  year =         "1995",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:17:02 MST 2003",
  bibsource =    "http://portal.acm.org/; http://www.acm.org/pubs/toc/",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/plan/202529/p83-aubry/",
  abstract =     "Based on an abstraction of the time as a discrete
                 logical time, the synchronous languages, armed with a
                 strong semantics, enable the design of safe real-time
                 applications. Some of them are of imperative style,
                 while others are declarative. Academic and industrial
                 teams involved in synchronous programming defined
                 together three intermediate representations, on the way
                 to standardization: \begin{itemize} \item IC, a
                 parallel format of imperative style, \item GC, a
                 parallel format of data-flow style, \item OC, a
                 sequential format to describe automata. \end{itemize}
                 In this paper, we describe more specifically the format
                 GC, and its links with the synchronous data-flow
                 language SIGNAL. Thanks to the first experimentations,
                 GC reveals itself as a powerful representation for
                 graph transformations, code production, optimization,
                 hardware synthesis, etc.",
  acknowledgement = ack-nhfb,
  affiliation =  "INRIA, IRISA, Rennes, France",
  classification = "C1160 (Combinatorial mathematics); C4210L (Formal
                 languages and computational linguistics); C6110P
                 (Parallel programming); C6140D (High level languages);
                 C6150N (Distributed systems software)",
  confdate =     "22 Jan. 1995",
  conflocation = "San Francisco, CA, USA",
  confname =     "ACM SIGPLAN workshop on Intermediate representations,
                 January 22, 1995, San Francisco, CA",
  keywords =     "Academic teams; Code production; Data-flow graph
                 format; Declarative style; design; Discrete logical
                 time; GC data-flow graph format; GC parallel format;
                 Graph transformations; Hardware synthesis; IC parallel
                 format; Imperative style; Industrial teams;
                 Intermediate representations; languages; OC sequential
                 format; Optimization; performance; Safe real-time
                 applications; SIGNAL synchronous data-flow language;
                 Standardization; Strong semantics; Synchronous
                 languages; Synchronous programming; theory; Time
                 abstraction",
  subject =      "{\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language
                 Classifications. {\bf D.2.10} Software, SOFTWARE
                 ENGINEERING, Design**, Representation**. {\bf D.1.0}
                 Software, PROGRAMMING TECHNIQUES, General. {\bf D.3.4}
                 Software, PROGRAMMING LANGUAGES, Processors, Compilers.
                 {\bf D.3.4} Software, PROGRAMMING LANGUAGES,
                 Processors, Code generation. {\bf D.2.2} Software,
                 SOFTWARE ENGINEERING, Design Tools and Techniques.",
  thesaurus =    "Computational linguistics; Data flow computing; Graph
                 theory; Parallel languages; Parallel programming;
                 Real-time systems",
}

Related entries