Sciweavers

2736 search results - page 11 / 548
» Understanding programmer language
Sort
View
141
Voted
TASE
2008
IEEE
16 years 5 days ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
121
Voted
PLDI
2010
ACM
15 years 11 months ago
Safe programmable speculative parallelism
Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani
159
Voted
ICFP
2001
ACM
16 years 5 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
171
Voted
ICFP
2008
ACM
16 years 5 months ago
Scala for generic programmers
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
Bruno C. D. S. Oliveira, Jeremy Gibbons
157
Voted
DAGSTUHL
2001
15 years 7 months ago
Programmable Networks
In this paper we present a programmable networking model that provides a common framework for understanding the state-of-the-art in programmable networks. A number of projects are...
Andrew T. Campbell, Michael E. Kounavis, John B. V...