Searched for: "a simple model of separation logic for higher order store"

About 3 results for "a simple model of separation logic for higher order store"

  • Rick O'Brien // February 24, 2003, 12:00 AM PST

    Design applications to help users with their tasks

    When designing an application for a client's users, a goal should be to make the users' tasks easier. The result of this effort will be higher productivity, better customer service...

  • Rebecca Gardiner // June 24, 2002, 2:40 AM PST

    Managing data: Content to outsource

    For mid-size Australian businesses that want to awaken as quickly as possible from their current Web nightmare - resulting from content-heavy sites - a new breed of ASP is emerging...

  • Guest Contributor // March 8, 2002, 12:00 AM PST

    Introduction to XSLT

    Extensible Stylesheet Language helps you convert XML data to various formats for distribution. Our walkthrough gives you a taste of the basics and a glimpse of XSLT (XSL Transforma...