Functional and Logic Programming
6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Zhenjiang Hu
Themen in »Functional and Logic Programming«
Erlang Functional programming XML compilers constraint programming formal method logic logic programming meta-programming partial methods program analysis program correctness program transformation semantics uncertainty
Stimmen zu »Functional and Logic Programming«
Details
ISBN: 9783540442332
Verlag: Springer Berlin
Erscheinung: 02.09.2002