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

<channel>
	<title>Ulisses Costa Blog</title>
	<atom:link href="https://ulissesaraujo.wordpress.com/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" path="/?rsscloud=notify" port="80" protocol="http-post" registerProcedure=""/>
<image>
		<url>https://s0.wp.com/i/buttonw-com.png</url>
		<title>Ulisses Costa Blog</title>
		<link>https://ulissesaraujo.wordpress.com</link>
	</image>
	<atom:link href="https://ulissesaraujo.wordpress.com/osd.xml" rel="search" title="Ulisses Costa Blog" type="application/opensearchdescription+xml"/>
	<atom:link href="https://ulissesaraujo.wordpress.com/?pushpress=hub" rel="hub"/>
	<xhtml:meta content="noindex" name="robots" xmlns:xhtml="http://www.w3.org/1999/xhtml"/><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 medium="image" url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&amp;d=monsterid&amp;r=G">
			<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 medium="image" url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&amp;d=monsterid&amp;r=G">
			<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 medium="image" url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&amp;d=monsterid&amp;r=G">
			<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 medium="image" url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&amp;d=monsterid&amp;r=G">
			<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 medium="image" url="https://0.gravatar.com/avatar/637fc272765e5014ea9a91df7dd394b090ac830a80c3f9525d1fca06e75e6512?s=96&amp;d=monsterid&amp;r=G">
			<media:title type="html">ulissescosta</media:title>
		</media:content>

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

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

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

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

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

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

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