[net.mag] TOC: ACM TOPLAS April 1985

mauney@ncsu.UUCP (Jon Mauney) (05/15/85)

%A Jan Heering
%A Paul Klint
%T Towards monolingual programming environments
%J TOPLAS
%V 7
%N 2
%P 183-213
%D APR 1985
%K monolingual system, language integration, language design, debugging
language, type checking, event association, side-effect recovery 

%A Shaula Yemini
%A Daniel M. Berry
%T A modular verifiable exception-handling mechanism
%J TOPLAS
%V 7
%N 2
%P 214-243 
%D APR 1985
%K design, languages, reliability, security, verification
information hiding, module strength and coupling, compile-time checking, 
exception-handling 

%A William Wehl
%A Barbara Liskov
%T Implementation of resilient, atomic data types
%J TOPLAS
%V 7
%N 2
%P 244-269 
%D APR 1985
%K concurrency, languages, reliability
atomic actions, atomic objects, resilient objects 

%A George J. Milne
%T CIRCAL and the representation of communication, concurrency, and time
%J TOPLAS
%V 7
%N 2
%P 270-298 
%D APR 1985
%K design, theory, verification, model of concurrency, proof of correctness
calculus, synchrony, asynchrony, simultaneity 

%A David A. Schmidt
%T Detecting global variables in denotational specifications
%J TOPLAS
%V 7
%N 2
%P 299-310 
%D APR 1985
%K languages, theory, single-threading

%A Keshav Pingali
%A Arvind 
%T Efficient demand-driven evaluation. part 1
%J TOPLAS
%V 7
%N 2
%P 311-333 
%D APR 1985
%K algorithms, languages, theory, data-driven evaluation, data flow,
demand-driven evaluation, demand propagation, functional languages,
lazy evalua ion, least fix-points program transformation, streams 

%A Giuseppina C. Gini
%A Maria L. Gini
%T Dealing with world-model-based programs
%J TOPLAS
%V 7
%N 2
%P 334-347 
%D APR 1985
%K design, performance, world modeling, teaching-by-guiding,
testing and debugging, software development, interactive systems, manipulators 

%A Ilan Bar-On
%A Uzi Vishkin
%T Optimal parallel generation of a computation tree form
%J TOPLAS
%V 7
%N 2
%P 348-357 
%D APR 1985
%K algorithms, performance, theory, parallel algorithms, optimal speed-ups
paging 

-- 

Jon Mauney,    mcnc!ncsu!mauney
North Carolina State University