3713 search results - page 361 / 743 » Constructing a Calculus of Programs |
145
click to vote
IJCAI
1989
15 years 6 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
157
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
171
click to vote
POPL
2012
ACM
14 years 10 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
151
click to vote
ROBOCOMM
2007
IEEE
15 years 11 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
144
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...