ÿþ<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:p="urn:schemas-microsoft-com:office:powerpoint" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=PowerPoint.Slide> <meta name=Generator content="Microsoft PowerPoint 9"> <link rel=File-List href="./overviewW4_files/filelist.xml"> <link rel=Preview href="./overviewW4_files/preview.wmf"> <link rel=Edit-Time-Data href="./overviewW4_files/editdata.mso"> <link rel=OLE-Object-Data href="./overviewW4_files/oledata.mso"> <title>Well-founded Semantics for the World Wide Web</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Carlos Viegas Damásio</o:Author> <o:LastAuthor>Carlos Viegas Damásio</o:LastAuthor> <o:Revision>240</o:Revision> <o:TotalTime>3408</o:TotalTime> <o:Created>2001-02-25T17:14:43Z</o:Created> <o:LastSaved>2002-02-01T15:26:49Z</o:LastSaved> <o:Words>2809</o:Words> <o:PresentationFormat>On-screen Show</o:PresentationFormat> <o:Company>Universidade Nova de Lisboa</o:Company> <o:Bytes>100983</o:Bytes> <o:Paragraphs>395</o:Paragraphs> <o:Slides>40</o:Slides> <o:Notes>1</o:Notes> <o:Version>9.3821</o:Version> </o:DocumentProperties> <o:OfficeDocumentSettings> <o:PixelsPerInch>80</o:PixelsPerInch> </o:OfficeDocumentSettings> </xml><![endif]--> <link rel=Presentation-XML href="./overviewW4_files/pres.xml"> <meta name=Description content="1-Fev-02: W4 Well-founded Semantics for the World Wide Web (version 0.0)"> <meta http-equiv=expires content=0> <![if !ppt]><script> <!-- var appVer = navigator.appVersion; var msie = appVer.indexOf( "MSIE " ); var msieWin31 = (appVer.indexOf( "Windows 3.1" ) >= 0), isMac = (appVer.indexOf("Macintosh") >= 0); var ver = 0; if( msie >= 0 ) ver = parseFloat( appVer.substring( msie+5, appVer.indexOf ( ";", msie ) ) ); else ver = parseInt( appVer ); path = "./overviewW4_files/v3_document.htm"; if( msie>=0 && ( (isMac && ver>=5)||(!isMac && ver>=4) ) ) window.location.replace( './overviewW4_files/frame.htm' ); else if( ver >= 3 ) { if ( !msieWin31 && ( ( msie >= 0 && ver >= 3.02 ) || ( msie < 0 && ver >= 3 ) ) ) window.location.replace( path ); else window.location.href = path; } else window.location.href = "./overviewW4_files/error.htm"; //--> </script><![endif]> </head> <frameset> <noframes> <body> <p>This page uses frames, but your browser doesn't support them.</p> </body> </noframes> </frameset> </html>