<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" 
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
    xmlns:admin="http://webns.net/mvcb/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd">
	<channel>
<title>EECS 762 Feed</title><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/index.html</link><description>Late Breaking News</description><dc:language>en</dc:language><dc:creator>palexand@eecs.ku.edu</dc:creator><dc:rights>Copyright 2008 Perry Alexander</dc:rights><dc:date>2008-12-14T14:05:41-06:00</dc:date><admin:generatorAgent rdf:resource="http://www.realmacsoftware.com/" />
<admin:errorReportsTo rdf:resource="mailto:palexand@eecs.ku.edu" /><sy:updatePeriod>hourly</sy:updatePeriod>
<sy:updateFrequency>1</sy:updateFrequency>
<sy:updateBase>2000-01-01T12:00+00:00</sy:updateBase>
<lastBuildDate>Sun, 14 Dec 2008 14:06:42 -0600</lastBuildDate><item><title>Final exam topics</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Exams</category><dc:date>2008-12-14T14:05:41-06:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/2c1a2ddecaf7c59d29fbb46b2cf7acdd-17.html#unique-entry-id-17</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/2c1a2ddecaf7c59d29fbb46b2cf7acdd-17.html#unique-entry-id-17</guid><content:encoded><![CDATA[Topics for the final exam are posted on the Exams Page.  ]]></content:encoded></item><item><title>New blog host</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Administration</category><dc:date>2008-11-10T02:03:11-06:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/2826ffa1b6cf194f067e2577a4d3bd37-15.html#unique-entry-id-15</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/2826ffa1b6cf194f067e2577a4d3bd37-15.html#unique-entry-id-15</guid><content:encoded><![CDATA[You can still access the blog through the website as always, but I created a new blog page that interacts with blogger.  ]]></content:encoded></item><item><title>Axiomatic semantics beginnings</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Lectures</category><dc:date>2008-11-08T01:22:13-06:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/8a1069c6872847eb8f4a2cde6596a19d-13.html#unique-entry-id-13</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/8a1069c6872847eb8f4a2cde6596a19d-13.html#unique-entry-id-13</guid><content:encoded><![CDATA[Intuitively, the meaning of the Hoare triple is if A is true in sigma before c is evaluated, then B will be true in sigma&rsquo; after c is evaluated.  ]]></content:encoded></item><item><title>Project 2 due date</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Projects</category><dc:date>2008-11-07T16:41:50-06:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/4bcf7e4f409bacbb88d5b116dbd413b3-12.html#unique-entry-id-12</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/4bcf7e4f409bacbb88d5b116dbd413b3-12.html#unique-entry-id-12</guid><content:encoded><![CDATA[Project 2 due date is set for November 17]]></content:encoded></item><item><title>Proof case outline</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Lectures</category><dc:date>2008-10-29T22:52:58-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/5a3260d45797eb3697235a30950d6e97-11.html#unique-entry-id-11</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/5a3260d45797eb3697235a30950d6e97-11.html#unique-entry-id-11</guid><content:encoded><![CDATA[The LaTeX file uses the semantic package (semantic.sty) that can be found on any of the LaTeX module sites.
]]></content:encoded></item><item><title>Project 2 is out</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Projects</category><dc:date>2008-10-22T16:18:51-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/6a3b665d6c92d8540c5377e4fc8eb7d5-10.html#unique-entry-id-10</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/6a3b665d6c92d8540c5377e4fc8eb7d5-10.html#unique-entry-id-10</guid><content:encoded><![CDATA[Project 2 is available should you want to get started.]]></content:encoded></item><item><title>Whither the fixed point?</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Lectures</category><dc:date>2008-10-22T15:52:11-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/6c14d340a07f09f2ca72fa8623f102ec-9.html#unique-entry-id-9</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/6c14d340a07f09f2ca72fa8623f102ec-9.html#unique-entry-id-9</guid><content:encoded><![CDATA[If you look at the definition of R on page 59 of the text, notice that phi does not appear on the right-hand side of the equation.  ]]></content:encoded></item><item><title>Structural induction is your friend</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Lectures</category><dc:date>2008-10-22T12:30:43-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/fdf9b0a8fc2ddd1159cd1ee3e588e2d0-8.html#unique-entry-id-8</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/fdf9b0a8fc2ddd1159cd1ee3e588e2d0-8.html#unique-entry-id-8</guid><content:encoded><![CDATA[Basically, if we can show something is true for every form in our language, then that something is true for the entire language.  ]]></content:encoded></item><item><title>Classes this spring</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Administration</category><dc:date>2008-10-14T09:39:25-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/d6c5584d2a297067710410cfedf297f2-7.html#unique-entry-id-7</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/d6c5584d2a297067710410cfedf297f2-7.html#unique-entry-id-7</guid><content:encoded><![CDATA[If you are looking for classes in the spring, Andy Gill is offering a new course on functional programming:
]]></content:encoded></item><item><title>Flu and proofs</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Lectures</category><dc:date>2008-10-13T12:21:20-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/c2c1562bb6ff65e25c336540fa375c3d-6.html#unique-entry-id-6</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/c2c1562bb6ff65e25c336540fa375c3d-6.html#unique-entry-id-6</guid><content:encoded><![CDATA[The key insight today is that by establishing Gamma(phi)=phi and that the fixed point exists, we can just use phi straight up as we have defined it.  ]]></content:encoded></item><item><title>Project 1 Extension</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Projects</category><dc:date>2008-10-13T12:19:52-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/ce205fa3299583b5ec75e8b5236548d1-5.html#unique-entry-id-5</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/ce205fa3299583b5ec75e8b5236548d1-5.html#unique-entry-id-5</guid><content:encoded><![CDATA[I&rsquo;m going to be slow responding to email until I get the flu out of my system.]]></content:encoded></item><item><title>Project 1 Due Date</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Projects</category><dc:date>2008-10-04T01:28:17-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/caf0e680f6290d8d787a881f26a5f547-4.html#unique-entry-id-4</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/caf0e680f6290d8d787a881f26a5f547-4.html#unique-entry-id-4</guid><content:encoded><![CDATA[The Project 1 due date is set for October 13.
]]></content:encoded></item><item><title>Project 1 update (again)</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Projects</category><dc:date>2008-10-01T16:03:31-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/f4bc07a6ca370781b108da4a81c166ae-3.html#unique-entry-id-3</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/f4bc07a6ca370781b108da4a81c166ae-3.html#unique-entry-id-3</guid><content:encoded><![CDATA[Specifically: your evaluation function should accept a command and a state and return a state rather than a value; accessing memory locations that have not been initialized should throw and error; and the small-step evaluation function should have an entry point with the same signature as the large-step evaluation function, but need not be restricted only to that.
]]></content:encoded></item><item><title>Project 1 Update</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Projects</category><dc:date>2008-09-29T23:12:25-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/dd82f3925b8ae03438a904b1bbd163df-2.html#unique-entry-id-2</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/dd82f3925b8ae03438a904b1bbd163df-2.html#unique-entry-id-2</guid><content:encoded><![CDATA[When you decide to start this project, please note that the large step semantics is defined completely by the text and the small step semantics is nearly completely defined.  ]]></content:encoded></item><item><title>No class 9/22-24</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Administration</category><dc:date>2008-09-19T10:55:34-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/be4a9975594eaedac94d80924fcd9b72-1.html#unique-entry-id-1</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/be4a9975594eaedac94d80924fcd9b72-1.html#unique-entry-id-1</guid><content:encoded><![CDATA[We will have a make-up lecture later in the semester.
]]></content:encoded></item><item><title>EECS 762 Blog</title><dc:creator>palexand@eecs.ku.edu</dc:creator><category>Administration</category><dc:date>2008-06-14T11:34:37-05:00</dc:date><link>http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/e6c3391fdf492f9654c57f2aa1e482fa-0.html#unique-entry-id-0</link><guid isPermaLink="true">http://www.ittc.ku.edu/~alex/teaching/eecs762/blog/files/e6c3391fdf492f9654c57f2aa1e482fa-0.html#unique-entry-id-0</guid><content:encoded><![CDATA[The purpose of the EECS 762 blog is to provide a means for me to communicate information about projects, lectures and adminstrative stuff.  ]]></content:encoded></item></channel>
</rss>