7 citations · 21 across the 10 of their papers we have counts for
3 papers · 1 filter
Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming
Kostadin Kratchanov, Emilia Golemanova, Tzanko Golemanov +2
This report presents the general picture of how Control Network Programming can be effectively used for implementing various search strategies, both blind and informed. An interest…
Program certification with computational effects
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici +1
Dynamic evaluation is a paradigm in computer algebra which was introduced for computing with algebraic numbers. In linear algebra, for instance, dynamic evaluation can be used to a…
Certification of programs with computational effects
Burak Ekici
In purely functional programming languages imperative features, more generally computational effects are prohibited. However, non-functional lan- guages do involve effects. The the…