Quantcast

Jim Woodcock Reference Libraries

Page 1 of about 1 Articles
Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal...

Word of the Day
out-herod
  • In the phrase to out-herod Herod, to be more violent than Herod (as represented in the old mystery plays); hence, to exceed in any excess of evil.
Herod refers to 'Herod the Great,' a Roman client king and 'a madman who murdered his own family and a great many rabbis.' According to the OED, the term is 'chiefly with allusion to Shakespeare's use' in Hamlet.
Related