506 search results - page 3 / 102 » A Coordination Language for Programming Embedded Multi-Core ... |
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
IUI
2012
ACM
12 years 2 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...
COORDINATION
2008
Springer
13 years 9 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...
PLDI
2003
ACM
14 years 17 days ago
2003
ACM
ICFP
2008
ACM
14 years 7 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...