Re: formal verification for functional-logic programming languages

From: Manuel Hermenegildo <herme_at_fi.upm.es>
Date: Fri, 04 Nov 2005 12:07:22 -0700

Hi Wolfgang,

> where can I find information about formal verification techniques and tools
> for functional-logic programming languages? Both introductionary texts and
> current research papers etc. are welcome.

Ciao (which is also a logic-functional programming language) includes
a verifying compiler, CiaoPP, which integrates many formal
verification techniques and tools (generally based on abstract
interpretation). I send you two pointers to tutorial introductions to
this work:

_at_inproceedings{ciaopp-sas03,
  author = {M.~Hermenegildo and G.~Puebla and F.~Bueno
                  and P.~L\'{o}pez-Garc\'{\i}a},
  title = {{P}rogram {D}evelopment {U}sing {A}bstract {I}nterpretation
                  (and {T}he {C}iao {S}ystem {P}reprocessor)},
  booktitle = {10th {I}nternational {S}tatic {A}nalysis {S}ymposium
                  (SAS'03)},
  year = {2003},
  month = {June},
  pages = {127--152},
  number = {2694},
  publisher = {Springer-Verlag},
  publisher_location ={Heidelberg, Germany},
  series = {LNCS}
}

http://www.cliplab.org/papers/ciaopp-sas03.pdf

_at_inproceedings{acc-res-ppdp05,
 author = {M.~Hermenegildo and E.~Albert and
                 P.~L\'{o}pez-Garc\'{\i}a and G.~Puebla},
 title = {{A}bstraction {C}arrying {C}ode and {R}esource-{A}wareness},
 booktitle = {Proc. of 7th ACM-SIGPLAN International Symposium on
                 Principles and Practice of Declarative Programming (PPDP'05)},
 year = {2005},
 month = {July},
 publisher = {ACM Press},
 npages = {11}
}

http://www.cliplab.org/papers/acc-res-ppdp05.pdf
 
Hope this helps,

Manuel

-- 
-------------------------------------------------------------------------------
 herme_at_fi.upm.es                      |                    Manuel Hermenegildo
 +34-91-336-7435 (Work)               |                Facultad de Informatica
 +34-91-352-4819 or 336-7412 (FAX)    |      Universidad Politecnica de Madrid
 http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN
-------------------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Nov 07 2005 - 09:57:34 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:07 CEST