1636 search results - page 189 / 328 » Type-Theoretic Functional Semantics |
118
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
118
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, a practical coarse-grained distributed parallel programming interface for grid computing (PI4GC) is introduced. des a group of generic and abstract functio...
171
click to vote
ISCIS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we describe a secure group communication protocol for a fault-tolerant synchronous ring. Our protocol, named Secure Synchronous Ring Protocol (SSRP), integrates a se...
149
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
147
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...