"12" Result
Sort By:
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical…
Applications of declarative programming and knowledge management: 18th international conference, INAP 2009, Évora, …
by Abreu, Salvador, Seipel, Dietmar, INAP, Évora, International Conference on Applications of Declarative Programming and Knowledge Management, Évora)
fromLecture Notes in Computer Science
0
Type: Book