2139 search results - page 180 / 428 » Connecting language to the world |
185
click to vote
ICFP
2009
ACM
16 years 3 hour ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
CHI
2007
ACM
15 years 11 months ago
2007
ACM
This interactivity demonstrates Tern, a tangible programming language for middle school and late elementary school students. Tern consists of a collection of wooden blocks shaped ...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
112
click to vote
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
VL
2007
IEEE
15 years 5 months ago
2007
IEEE
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...