11022 search results - page 167 / 2205 » Programming Systems for Autonomy |
148
Voted
TDSC
2011
14 years 12 months ago
2011
153
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
135
click to vote
CADE
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...