632 search results - page 15 / 127 » Proving Invariants of Functional Programs |
95
Voted
MODELLIERUNG
2008
15 years 1 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
125
Voted
LISP
2008
15 years 13 days ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
90
Voted
CORR
2007
Springer
15 years 14 days ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
83
Voted
NIPS
2007
15 years 1 months ago
2007
We combine three threads of research on approximate dynamic programming: sparse random sampling of states, value function and policy approximation using local models, and using lo...
118
click to vote
AISC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...