AOL Web Search

  1. About 8 search results
  1. Web results:
  2. Portal - eLearning Learning

    www.elearninglearning.com/portal

    That was the goal when the DirectEmployers Association (DE) envisioned its new learning portal, DE Academy. Join me as I talk with DE Executive Director, Candee Chambers and VP of Membership Engagement, Jen Bernhardt about how they’ve created a modern learning portal that will grow with their organization’s needs.

  3. Hoare logic - Wikipedia

    en.wikipedia.org/wiki/Hoare_logic

    Hoare triple. The central feature of Hoare logic is the Hoare triple. A triple describes how the execution of a piece of code changes the state of the computation. A Hoare triple is of the form {} {} where and are assertions and is a command.