<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Resultados para "C (Computer program language)"</title>
    <description>Mostrando 1 - 22 Resultados de 22</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://descubridor.academia.cl/EIT/Search?limit=50&amp;lookfor=%22C+%28Computer+program+language%29%22&amp;type=TX&amp;lng=es</link>
    <opensearch:totalResults>22</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22C%20%28Computer%20program%20language%29%22" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Ir a la Primera Página" href="https://descubridor.academia.cl/EIT/Search?limit=50&amp;view=rss&amp;lookfor=%22C+%28Computer+program+language%29%22&amp;type=TX&amp;lng=es"/>
    <atom:link rel="last" type="application/rss+xml" title="Ir a la Ultima Página" href="https://descubridor.academia.cl/EIT/Search?limit=50&amp;view=rss&amp;lookfor=%22C+%28Computer+program+language%29%22&amp;type=TX&amp;lng=es&amp;page=1"/>
    <atom:link rel="self" type="application/rss+xml" href="https://descubridor.academia.cl/EIT/Search?limit=50&amp;view=rss&amp;lookfor=%22C+%28Computer+program+language%29%22&amp;type=TX&amp;lng=es"/>
    <item>
      <title>Automatically Translating C to Rust.</title>
      <pubDate>Wed, 01 Jan 2025 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/188947693</link>
      <guid>https://descubridor.academia.cl/EITRecord/188947693</guid>
      <author>Hong, Jaemin</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2025-11-01</dc:date>
      <dc:creator>Hong, Jaemin</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Derin Yapı-Yüzey Yapı.</title>
      <pubDate>Tue, 01 Jan 2008 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/35789761</link>
      <guid>https://descubridor.academia.cl/EITRecord/35789761</guid>
      <author>Erenoğlu, Dilek</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2008</dc:date>
      <dc:creator>Erenoğlu, Dilek</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform.</title>
      <pubDate>Fri, 01 Jan 2021 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/151620524</link>
      <guid>https://descubridor.academia.cl/EITRecord/151620524</guid>
      <author>BAUDIN, PATRICK</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2021-08-01</dc:date>
      <dc:creator>BAUDIN, PATRICK</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Uninitialized Reads.</title>
      <pubDate>Sun, 01 Jan 2017 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/122295217</link>
      <guid>https://descubridor.academia.cl/EITRecord/122295217</guid>
      <author>SEACORD, ROBERT C.</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2017-04-01</dc:date>
      <dc:creator>SEACORD, ROBERT C.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A New Objective-C Runtime: From Research to Production.</title>
      <pubDate>Sun, 01 Jan 2012 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/79648568</link>
      <guid>https://descubridor.academia.cl/EITRecord/79648568</guid>
      <author>Chisnall, David</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2012-09-01</dc:date>
      <dc:creator>Chisnall, David</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Verification of a Realistic Compiler.</title>
      <pubDate>Thu, 01 Jan 2009 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/43019159</link>
      <guid>https://descubridor.academia.cl/EITRecord/43019159</guid>
      <author>Leroy, Xavier</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2009-07-01</dc:date>
      <dc:creator>Leroy, Xavier</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Lipstick on a Pig?</title>
      <pubDate>Fri, 01 Jan 2021 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/153715909</link>
      <guid>https://descubridor.academia.cl/EITRecord/153715909</guid>
      <author>Joyner, Ian</author>
      <dc:format>Letter to the Editor</dc:format>
      <dc:date>2021-12-01</dc:date>
      <dc:creator>Joyner, Ian</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Assignment Is Asymmetric.</title>
      <pubDate>Sun, 01 Jan 2012 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/77371466</link>
      <guid>https://descubridor.academia.cl/EITRecord/77371466</guid>
      <dc:format>Letter</dc:format>
      <dc:date>2012-07-01</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>C Is Not a Low-Level Language.</title>
      <pubDate>Mon, 01 Jan 2018 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/130478721</link>
      <guid>https://descubridor.academia.cl/EITRecord/130478721</guid>
      <author>CHISNALL, DAVID</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2018-07-01</dc:date>
      <dc:creator>CHISNALL, DAVID</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Assignment Is Asymmetric.</title>
      <pubDate>Sun, 01 Jan 2012 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/77371467</link>
      <guid>https://descubridor.academia.cl/EITRecord/77371467</guid>
      <dc:format>Letter</dc:format>
      <dc:date>2012-07-01</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Still Paying for a C Mistake.</title>
      <pubDate>Sun, 01 Jan 2012 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/74716952</link>
      <guid>https://descubridor.academia.cl/EITRecord/74716952</guid>
      <dc:format>Letter</dc:format>
      <dc:date>2012-04-01</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Dennis Ritchie, 1941--2011.</title>
      <pubDate>Sat, 01 Jan 2011 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/69924569</link>
      <guid>https://descubridor.academia.cl/EITRecord/69924569</guid>
      <author>Hyman, Paul</author>
      <dc:format>Obituary</dc:format>
      <dc:date>2011-12-01</dc:date>
      <dc:creator>Hyman, Paul</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>The Long Road To 64 Bits.</title>
      <pubDate>Thu, 01 Jan 2009 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/36002050</link>
      <guid>https://descubridor.academia.cl/EITRecord/36002050</guid>
      <author>MASHEY, JOHN</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2009-01-01</dc:date>
      <dc:creator>MASHEY, JOHN</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Juliet 1.1 C/C++ and Java Test Suite.</title>
      <pubDate>Sun, 01 Jan 2012 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/82724693</link>
      <guid>https://descubridor.academia.cl/EITRecord/82724693</guid>
      <author>Boland, Tim</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2012-10-01</dc:date>
      <dc:creator>Boland, Tim</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Unix's founding fathers.</title>
      <pubDate>Sun, 01 Jan 0006 08:50:15 -0442</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/507915128</link>
      <guid>https://descubridor.academia.cl/EITRecord/507915128</guid>
      <dc:format>Artículo</dc:format>
      <dc:date>2004-06-12</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>AN ANALYSIS OF THE WORST-CASE PERFORMANCE OF QUICKSORT.</title>
      <pubDate>Sat, 01 Jan 2011 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/67414406</link>
      <guid>https://descubridor.academia.cl/EITRecord/67414406</guid>
      <author>Marceau, Robert R.</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2011-04-01</dc:date>
      <dc:creator>Marceau, Robert R.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Exterminator: Automatically Correcting Memory Errors with High Probability.</title>
      <pubDate>Tue, 01 Jan 2008 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/35609285</link>
      <guid>https://descubridor.academia.cl/EITRecord/35609285</guid>
      <author>Novark, Gene</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2008-12-01</dc:date>
      <dc:creator>Novark, Gene</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Type Theory Comes of Age.</title>
      <pubDate>Fri, 01 Jan 2010 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/47776272</link>
      <guid>https://descubridor.academia.cl/EITRecord/47776272</guid>
      <author>Wright, Alex</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2010-02-01</dc:date>
      <dc:creator>Wright, Alex</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Optimizations in C++ Compilers.</title>
      <pubDate>Wed, 01 Jan 2020 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/141420586</link>
      <guid>https://descubridor.academia.cl/EITRecord/141420586</guid>
      <author>GODBOLT, MATT</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2020-02-01</dc:date>
      <dc:creator>GODBOLT, MATT</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Finding More Than One Worm in the Apple.</title>
      <pubDate>Wed, 01 Jan 2014 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/96867113</link>
      <guid>https://descubridor.academia.cl/EITRecord/96867113</guid>
      <author>BLAND, MIKE</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2014-07-01</dc:date>
      <dc:creator>BLAND, MIKE</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>seL4: Formal Verification of an Operating-System Kernel.</title>
      <pubDate>Fri, 01 Jan 2010 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/51189672</link>
      <guid>https://descubridor.academia.cl/EITRecord/51189672</guid>
      <author>Klein, Gerwin</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2010-06-01</dc:date>
      <dc:creator>Klein, Gerwin</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Technical Perspective: Patching Program errors.</title>
      <pubDate>Tue, 01 Jan 2008 08:50:15 -0300</pubDate>
      <link>https://descubridor.academia.cl/EITRecord/35609284</link>
      <guid>https://descubridor.academia.cl/EITRecord/35609284</guid>
      <author>Rinard, Martin C.</author>
      <dc:format>Artículo</dc:format>
      <dc:date>2008-12-01</dc:date>
      <dc:creator>Rinard, Martin C.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
