• DocumentCode
    1060729
  • Title

    Formalization in Programming Environments

  • Author

    Goguen, Joseph ; Moriconi, Mark

  • Author_Institution
    SRI International
  • Volume
    20
  • Issue
    11
  • fYear
    1987
  • Firstpage
    55
  • Lastpage
    64
  • Keywords
    Bars; Computer languages; Control systems; Genetic programming; Natural languages; Packaging; Power generation; Production; Program processors; Programming environments;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.1987.1663416
  • Filename
    1663416