Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 16 Issue 1, Jan. 1994

Determinacy testing for nondeterminate logic programming languages
E. Tick, M. Korsloot
Pages: 3-34
DOI: 10.1145/174625.174626
This paper describes an algorithm for the code generation of determinacy testing for nondeterminate flat concurrent logic programming languages. Languages such as Andorra and Pandora require that procedure invocations suspend if there is more...

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
Baudouin Le Charlier, Pascal Van Hentenryck
Pages: 35-101
DOI: 10.1145/174625.174627
Abstract interpretation of PROLOG programs has attracted many researchers in recent years, partly because of the potential for optimization in PROLOG compilers and partly because of the declarative nature of logic programming languages that make...

Cliché-based program editors
Richard C. Waters
Pages: 102-150
DOI: 10.1145/174625.174628

The POLYLITH software bus
James M. Purtilo
Pages: 151-174
DOI: 10.1145/174625.174629
We describe a system called POLYLITH that helps programmers prepare and interconnect mixed-language software components for execution in heterogeneous environments. POLYLITH's principal benefit is that programmers are free to implement...