Volume 7; Issue 2

ACM Transactions on Programming Languages and Systems

Volume 7; Issue 2
1

A modular verifiable exception handling mechanism

Yemini, Shaula, Berry, Daniel M.
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 2.27 MB
english, 1985
2

Dealing with world-model-based programs

Gini, Giuseppina C., Gini, M. L.
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 1.00 MB
english, 1985
3

Implementation of resilient, atomic data types

Weihl, William, Liskov, Barbara
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 2.09 MB
english, 1985
4

Towards monolingual programming environments

Heering, Jan, Klint, Paul
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 2.54 MB
english, 1985
6

Optimal parallel generation of a computation tree form

Bar-on, Ilan, Vishkin, Uzi
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 724 KB
english, 1985
7

Efficient demand-driven evaluation. Part 1

Pingali, Keshav, Arvind,
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 1.61 MB
english, 1985
8

Detecting global variables in denotational specifications

Schmidt, David A.
Journal:
ACM Transactions on Programming Languages and Systems
Year:
1985
Language:
english
File:
PDF, 857 KB
english, 1985