506 search results - page 3 / 102 » A Coordination Language for Programming Embedded Multi-Core ... |
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
115
Voted
IUI
2012
ACM
13 years 10 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
143
click to vote
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
85
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
102
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...