Skip to main navigation Skip to search Skip to main content

From algebra to operational semantics

  • He Jifeng*
  • , C. A.R. Hoare
  • *Corresponding author for this work
  • University of Oxford

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)75-80
Number of pages6
JournalInformation Processing Letters
Volume45
Issue number2
DOIs
StatePublished - 26 Feb 1993
Externally publishedYes

Keywords

  • Formal semantics
  • algebra
  • operational semantics
  • specification-oriented semantics

Cite this