<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>English &#8211; Ulisses Costa Blog</title>
	<atom:link href="https://ulissesaraujo.wordpress.com/tag/english/feed/" rel="self" type="application/rss+xml" />
	<link>https://ulissesaraujo.wordpress.com</link>
	<description></description>
	<lastBuildDate>Sat, 02 Apr 2011 14:10:03 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<site xmlns="com-wordpress:feed-additions:1">5308561</site><cloud domain='ulissesaraujo.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>https://s2.wp.com/i/webclip.png</url>
		<title>English &#8211; Ulisses Costa Blog</title>
		<link>https://ulissesaraujo.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="https://ulissesaraujo.wordpress.com/osd.xml" title="Ulisses Costa Blog" />
	<atom:link rel='hub' href='https://ulissesaraujo.wordpress.com/?pushpress=hub'/>
	<item>
		<title>From LALR(1) to LL(k)</title>
		<link>https://ulissesaraujo.wordpress.com/2011/04/02/from-lalr1-to-llk/</link>
					<comments>https://ulissesaraujo.wordpress.com/2011/04/02/from-lalr1-to-llk/#respond</comments>
		
		<dc:creator><![CDATA[Ulisses Araújo Costa]]></dc:creator>
		<pubDate>Sat, 02 Apr 2011 14:05:53 +0000</pubDate>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[ANTLR]]></category>
		<category><![CDATA[code]]></category>
		<category><![CDATA[compilers]]></category>
		<category><![CDATA[English]]></category>
		<category><![CDATA[grammar]]></category>
		<category><![CDATA[LALR]]></category>
		<category><![CDATA[LL]]></category>
		<category><![CDATA[msc]]></category>
		<category><![CDATA[programming]]></category>
		<category><![CDATA[yacc]]></category>
		<guid isPermaLink="false">http://ulissesaraujo.wordpress.com/?p=982</guid>

					<description><![CDATA[I, Pedro Faria and Jose Pedro Silva have been working on a LALR to LL conversor. Our idea was to discover the problems involved in this type of automatic conversion. Our main goal here was to receive an LALAR(1) grammar and produce an LL(k) one. As a test case we receive an Yacc and produce [&#8230;]]]></description>
		
					<wfw:commentRss>https://ulissesaraujo.wordpress.com/2011/04/02/from-lalr1-to-llk/feed/</wfw:commentRss>
			<slash:comments>0</slash:comments>
		
		
		<post-id xmlns="com-wordpress:feed-additions:1">982</post-id>
		<media:content url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&#38;d=monsterid&#38;r=G" medium="image">
			<media:title type="html">ulissescosta</media:title>
		</media:content>
	</item>
		<item>
		<title>Permutations in pure functional ActionScript</title>
		<link>https://ulissesaraujo.wordpress.com/2011/04/02/permutations-in-pure-functional-actionscript/</link>
					<comments>https://ulissesaraujo.wordpress.com/2011/04/02/permutations-in-pure-functional-actionscript/#comments</comments>
		
		<dc:creator><![CDATA[Ulisses Araújo Costa]]></dc:creator>
		<pubDate>Sat, 02 Apr 2011 00:22:16 +0000</pubDate>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[actionscript]]></category>
		<category><![CDATA[code]]></category>
		<category><![CDATA[English]]></category>
		<category><![CDATA[haskell]]></category>
		<category><![CDATA[permutations]]></category>
		<category><![CDATA[programming]]></category>
		<guid isPermaLink="false">http://ulissesaraujo.wordpress.com/?p=994</guid>

					<description><![CDATA[Explanation of permutation function from a Functional Programming definition to ActionScript]]></description>
		
					<wfw:commentRss>https://ulissesaraujo.wordpress.com/2011/04/02/permutations-in-pure-functional-actionscript/feed/</wfw:commentRss>
			<slash:comments>2</slash:comments>
		
		
		<post-id xmlns="com-wordpress:feed-additions:1">994</post-id>
		<media:content url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&#38;d=monsterid&#38;r=G" medium="image">
			<media:title type="html">ulissescosta</media:title>
		</media:content>
	</item>
		<item>
		<title>Amazing TEDtalks</title>
		<link>https://ulissesaraujo.wordpress.com/2011/03/10/amazing-tedtalks/</link>
					<comments>https://ulissesaraujo.wordpress.com/2011/03/10/amazing-tedtalks/#respond</comments>
		
		<dc:creator><![CDATA[Ulisses Araújo Costa]]></dc:creator>
		<pubDate>Thu, 10 Mar 2011 12:55:37 +0000</pubDate>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[English]]></category>
		<category><![CDATA[inspiration]]></category>
		<category><![CDATA[TEDtalks]]></category>
		<category><![CDATA[video]]></category>
		<guid isPermaLink="false">http://ulissesaraujo.wordpress.com/?p=1010</guid>

					<description><![CDATA[One of the things I do to relax is watch TEDTalks online. Lately I had seen this two talks: one is about a subject that I love, gather information around you and interpret it. The other is a futuristic view of a machine or multiple kind of machines that can build a human body. This [&#8230;]]]></description>
		
					<wfw:commentRss>https://ulissesaraujo.wordpress.com/2011/03/10/amazing-tedtalks/feed/</wfw:commentRss>
			<slash:comments>0</slash:comments>
		
		
		<post-id xmlns="com-wordpress:feed-additions:1">1010</post-id>
		<media:content url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&#38;d=monsterid&#38;r=G" medium="image">
			<media:title type="html">ulissescosta</media:title>
		</media:content>
	</item>
		<item>
		<title>Correct sorting with Frama-C and some thoughts on Formal Methdos</title>
		<link>https://ulissesaraujo.wordpress.com/2011/02/12/correct-sorting-with-frama-c-and-some-thoughts-on-formal-methdos/</link>
					<comments>https://ulissesaraujo.wordpress.com/2011/02/12/correct-sorting-with-frama-c-and-some-thoughts-on-formal-methdos/#respond</comments>
		
		<dc:creator><![CDATA[Ulisses Araújo Costa]]></dc:creator>
		<pubDate>Sat, 12 Feb 2011 18:08:11 +0000</pubDate>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[acsl]]></category>
		<category><![CDATA[algorithm]]></category>
		<category><![CDATA[bubbleSort]]></category>
		<category><![CDATA[code]]></category>
		<category><![CDATA[English]]></category>
		<category><![CDATA[formal methods]]></category>
		<category><![CDATA[frama-c]]></category>
		<category><![CDATA[linux]]></category>
		<category><![CDATA[mathematics]]></category>
		<category><![CDATA[msc]]></category>
		<category><![CDATA[programming]]></category>
		<category><![CDATA[proof]]></category>
		<category><![CDATA[research]]></category>
		<category><![CDATA[sort]]></category>
		<category><![CDATA[Theoretical fundations]]></category>
		<category><![CDATA[tools]]></category>
		<guid isPermaLink="false">http://ulissesaraujo.wordpress.com/?p=786</guid>

					<description><![CDATA[A couple of years ago, during my masters on Formal Methods I have been working with automatic provers and I also used Frama-C, this is a tool that allow the user to prove C code directly in the source code, using a special notation in the comments, called ACSL notation. Frama-C allows you to make [&#8230;]]]></description>
		
					<wfw:commentRss>https://ulissesaraujo.wordpress.com/2011/02/12/correct-sorting-with-frama-c-and-some-thoughts-on-formal-methdos/feed/</wfw:commentRss>
			<slash:comments>0</slash:comments>
		
		
		<post-id xmlns="com-wordpress:feed-additions:1">786</post-id>
		<media:content url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&#38;d=monsterid&#38;r=G" medium="image">
			<media:title type="html">ulissescosta</media:title>
		</media:content>
	</item>
		<item>
		<title>Lines of Code and related lines-oriented-statistics with Perl</title>
		<link>https://ulissesaraujo.wordpress.com/2011/02/06/lines-of-code-and-related-lines-oriented-statistics-with-perl/</link>
					<comments>https://ulissesaraujo.wordpress.com/2011/02/06/lines-of-code-and-related-lines-oriented-statistics-with-perl/#respond</comments>
		
		<dc:creator><![CDATA[Ulisses Araújo Costa]]></dc:creator>
		<pubDate>Sun, 06 Feb 2011 15:01:14 +0000</pubDate>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[analyser]]></category>
		<category><![CDATA[code]]></category>
		<category><![CDATA[English]]></category>
		<category><![CDATA[perl]]></category>
		<category><![CDATA[programming]]></category>
		<category><![CDATA[static]]></category>
		<guid isPermaLink="false">http://ulissesaraujo.wordpress.com/?p=946</guid>

					<description><![CDATA[A project I&#8217;m involved right now is making a Static code analyzer. The main goal is to produce a RoR front-end webapp with the capability to submit code ad analyze it statically. Our main goal languages are C/C++, but we will attach other tools to do some work for other languages. For Static I mean [&#8230;]]]></description>
		
					<wfw:commentRss>https://ulissesaraujo.wordpress.com/2011/02/06/lines-of-code-and-related-lines-oriented-statistics-with-perl/feed/</wfw:commentRss>
			<slash:comments>0</slash:comments>
		
		
		<post-id xmlns="com-wordpress:feed-additions:1">946</post-id>
		<media:content url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&#38;d=monsterid&#38;r=G" medium="image">
			<media:title type="html">ulissescosta</media:title>
		</media:content>

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_FilesPerLanguage.png" medium="image" />

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_LinesPerLanguage.png" medium="image" />

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_RatioFilesLines.png" medium="image" />

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_percent_FilesPerLanguage.png" medium="image" />

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_percent_LinesPerLanguage.png" medium="image" />

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_percent_RatioFilesLines.png" medium="image" />

		<media:content url="http://www.alunos.di.uminho.pt/~a43175/images/work_All_projectLanguages.png" medium="image" />
	</item>
	</channel>
</rss>
