"12" Result
Sort By:
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
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…
