Comments on: Programming paradigms and correctness http://weblogs.manas.com.ar/mverzilli/2009/01/31/programming-paradigms-and-correctness/ Wed, 23 Jun 2010 16:18:04 +0000 hourly 1 http://wordpress.org/?v=3.0 By: Santiago Palladino » Randomness http://weblogs.manas.com.ar/mverzilli/2009/01/31/programming-paradigms-and-correctness/comment-page-1/#comment-140 Santiago Palladino » Randomness Mon, 02 Mar 2009 12:55:23 +0000 http://weblogs.manas.com.ar/mverzilli/?p=11#comment-140 [...] 2: This post is dedicated to Facundo, who apparently does not enjoy my posts on [...] [...] 2: This post is dedicated to Facundo, who apparently does not enjoy my posts on [...]

]]> By: Facundo http://weblogs.manas.com.ar/mverzilli/2009/01/31/programming-paradigms-and-correctness/comment-page-1/#comment-105 Facundo Fri, 06 Feb 2009 01:33:59 +0000 http://weblogs.manas.com.ar/mverzilli/?p=11#comment-105 Muy buen post, muy bien escrito! Me surgió una duda de leer tu post: ¿Cómo se probará corrección en el paradigma lógico? Abrazo y seguí escribiendo, fue mas divertido que los posts de Palla sobre Silverlight :P Facu PD: Fijate la segunda linea del codigo Prolog, se te escapó un espacio. Muy buen post, muy bien escrito! Me surgió una duda de leer tu post: ¿Cómo se probará corrección en el paradigma lógico?

Abrazo y seguí escribiendo, fue mas divertido que los posts de Palla sobre Silverlight :P

Facu

PD: Fijate la segunda linea del codigo Prolog, se te escapó un espacio.

]]>