Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 30 Issue 6, October 2008

Verifying policy-based web services security
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Article No.: 30
DOI: 10.1145/1391956.1391957

WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract language for specifying secure links between web services and their...

Domain specific language implementation via compile-time meta-programming
Laurence Tratt
Article No.: 31
DOI: 10.1145/1391956.1391958

Domain specific languages (DSLs) are mini-languages that are increasingly seen as being a valuable tool for software developers and non-developers alike. DSLs must currently be created in an ad-hoc fashion, often leading to high development costs...

XARK: An extensible framework for automatic recognition of computational kernels
Manuel Arenaz, Juan Touriño, Ramon Doallo
Article No.: 32
DOI: 10.1145/1391956.1391959

The recognition of program constructs that are frequently used by software developers is a powerful mechanism for optimizing and parallelizing compilers to improve the performance of the object code. The development of techniques for automatic...

Perfect hashing as an almost perfect subtype test
Roland Ducournau
Article No.: 33
DOI: 10.1145/1391956.1391960

Subtype tests are an important issue in the implementation of object-oriented programming languages. Many techniques have been proposed, but none of them perfectly fulfills the five requirements that we have identified: constant-time,...

Dually nondeterministic functions
Joseph M. Morris, Malcolm Tyrrell
Article No.: 34
DOI: 10.1145/1391956.1391961

Nondeterminacy is a fundamental notion in computing. We show that it can be described by a general theory that accounts for it in the form in which it occurs in many programming contexts, among them specifications, competing agents, data...