2766 search results - page 124 / 554 » Hybridizing a Logical Framework |
157
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
117
click to vote
TCS
2002
15 years 3 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
214
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...
163
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
125
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...