Entry Amagbegnon:1995:IDS 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{Amagbegnon:1995:IDS,
  author =       "Pascalin Amagb{\'e}gnon and Lo{\"\i}c Besnard and Paul
                 Le Guernic",
  title =        "Implementation of the data-flow synchronous language
                 {SIGNAL}",
  journal =      j-SIGPLAN,
  volume =       "30",
  number =       "6",
  pages =        "163--173",
  month =        jun,
  year =         "1995",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Thu May 13 12:37:27 MDT 1999",
  bibsource =    "http://www.acm.org/pubs/contents/proceedings/pldi/207110/index.html",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/207110/p163-amagbegnon/",
  abstract =     "This paper presents the techniques used for the
                 compilation of the data-flow, synchronous language
                 SIGNAL. The key feature of the compiler is that it
                 performs formal calculus on systems of boolean
                 equations. The originality of the implementation of the
                 compiler lies in the use of a tree structure to solve
                 the equations.",
  acknowledgement = ack-nhfb,
  affiliation =  "IRISA, Rennes, France",
  annote =       "Published as part of the Proceedings of PLDI'95.",
  classification = "C4210 (Formal logic); C6110P (Parallel programming);
                 C6120 (File organisation); C6140D (High level
                 languages); C6150C (Compilers, interpreters and other
                 processors); C6150N (Distributed systems software)",
  keywords =     "algorithms; Boolean equations; Compilation; Equation
                 solving; Formal calculus; languages; SIGNAL data-flow
                 synchronous language; Tree structure",
  subject =      "{\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language
                 Classifications, Data-flow languages. {\bf G.2.2}
                 Mathematics of Computing, DISCRETE MATHEMATICS, Graph
                 Theory, Trees. {\bf D.3.4} Software, PROGRAMMING
                 LANGUAGES, Processors, Compilers. {\bf D.3.3} Software,
                 PROGRAMMING LANGUAGES, Language Constructs and
                 Features, Data types and structures. {\bf D.3.1}
                 Software, PROGRAMMING LANGUAGES, Formal Definitions and
                 Theory, Semantics. {\bf F.3.3} Theory of Computation,
                 LOGICS AND MEANINGS OF PROGRAMS, Studies of Program
                 Constructs, Functional constructs.",
  thesaurus =    "Boolean algebra; Parallel languages; Process algebra;
                 Program compilers; Tree data structures",
}

Related entries