Entry Postma:1978:FFE from sigplan1970.bib

Last update: Fri Jun 20 02:11:11 MDT 2008                Valid HTML 3.2!

Index sections

Top | Symbols | 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{Postma:1978:FFE,
  author =       "Stef. W. Postma",
  title =        "{FEA}: a formal {English} subset for {Algebra\slash
                 Assertions}",
  journal =      j-SIGPLAN,
  volume =       "13",
  number =       "7",
  pages =        "43--59",
  month =        jul,
  year =         "1978",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sun Dec 14 09:14:18 MST 2003",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
  classification = "C4210 (Formal logic); C6150G (Diagnostic, testing,
                 debugging and evaluating systems); C7250 (Information
                 storage and retrieval)",
  corpsource =   "Dept. Computer Sci., Rand Afrikaans Univ.,
                 Johannesburg, South Africa",
  keywords =     "abstract algebra; FEA; formal definition; formal
                 English subset; formal languages; information
                 retrieval; literature; program assertions; program
                 testing; program validation; semantic information
                 retrieval",
  treatment =    "T Theoretical or Mathematical",
}

Related entries