Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 21 Issue 6, Nov. 1999

Specification and dialogue control of visual interaction through visual rewriting systems
P. Bottoni, M. F. Costabile, P. Mussio
Pages: 1077-1136
DOI: 10.1145/330643.330644
Computers are increasingly being seen not only as computing tools but more so as communication tools, thus placing special emphasis on human-computer interaction (HCI). In this article, the focus is on visual HCI, where the messages exchanged...

Constraint-based termination analysis of logic programs
Stefaan Decorte, Danny De Schreye, Henk Vandecasteele
Pages: 1137-1195
DOI: 10.1145/330643.330645
Current norm-based automatic termination analysis techniques for logic programs can be split up into different components: inference of mode or type information, derivation of models, generation of well-founded orders, and verification of the...

A type system for object initialization in the Java bytecode language
Stephen N. Freund, John C. Mitchell
Pages: 1196-1250
DOI: 10.1145/330643.330646
In the standard Java implementation, a Java language program is compiled to Java bytecode. This bytecode may be sent across the network to another site, where it is then executed by the Java Virtual Machine. Since bytecode may be written by...

A global communication optimization technique based on data-flow analysis and linear algebra
M. Kandemir, P. Banerjee, A. Choudhary, J. Ramanujam, N. Shenoy
Pages: 1251-1297
DOI: 10.1145/330643.330647
Reducing communication overhead is extremely important in distributed-memory message-passing architectures. In this article, we present a technique to improve communication that considers data access patterns of the entire program. Our approach...