Abstract is missing.
- A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relationsA. Deutsch. 2-13 [doi]
- Static analysis of PostScript codeR. Nigel Horspool, Jan Vitek. 14-23 [doi]
- On the power of abstract interpretationUday S. Reddy, Samuel N. Kamin. 24-33 [doi]
- Complexity issues in the design of functional languages with explicit parallelismW. Zimmermann. 34-43 [doi]
- Control abstraction in parallel programming languagesLawrence A. Crowl, Thomas J. LeBlanc. 44-53 [doi]
- Modula-P-a language for parallel programming definition and implementation on a transputer networkJürgen Vollmer, R. Hoffart. 54-64 [doi]
- Metalinguistic features for formal parallel-program transformationJ. Allan Yang, Young-il Choo. 65-75 [doi]
- Optimizing structural recursion in functional programsPeter Thiemann. 76-85 [doi]
- Dora-an environment for experimenting with compiler optimizersCharles Farnum. 86-95 [doi]
- Procedure cloningKeith D. Cooper, Mary W. Hall, Ken Kennedy. 96-105 [doi]
- Parallel ordered attribute grammarsE. Klein. 106-116 [doi]
- An automatically generated and provably correct compiler for a subset of AdaJens Palsberg. 117-126 [doi]
- DML - a meta-language and system for the generation of practical and efficient compilers from denotational specificationsMikael Pettersson, Peter Fritzson. 127-136 [doi]
- Experimental evaluation of a generic abstract interpretation algorithm for PrologBaudouin Le Charlier, Pascal Van Hentenryck. 137-146 [doi]
- Abstract fixpoint semantics and abstract procedural semantics of definite logic programsLunjin Lu, Peter Greenfield. 147-154 [doi]
- Computations, abstractions and constraints in logic programsPhilippe Codognet, Gilberto Filé. 155-164 [doi]
- Multiparadigm data structures in LedaTimothy A. Budd. 165-173 [doi]
- The design and implementation of Kaleidoscope 90-A constraint imperative programming languageBjørn N. Freeman-Benson, Alan Borning. 174-180 [doi]
- A visual knowledge representation language for layout problemT. Yoshikawa. 181-189 [doi]
- Layered architecture of multiple programming language system for multiparadigm programmingShigeo Sugimoto, Tetsuo Sakaguchi, Koichi Tabata. 190-199 [doi]
- Toward relaxing assumptions in languages and the1r implementationsMary Shaw, William A. Wulf. 202-211 [doi]
- Compositional specification of parallel time-critical systemsJ. A. Trescher. 212-221 [doi]
- Abstract data groups: structuring distributed programs as layersSanjay Gadkari. 222-231 [doi]
- SPMD execution of programs with dynamic data structures on distributed memory machinesR. Gupta. 232-241 [doi]
- Designing programming languages for analyzability: a fresh look at pointer data structuresLaurie J. Hendren, Guang R. Gao. 242-251 [doi]
- Semantic issues in the design of languages for debuggingRichard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee. 252-261 [doi]
- Program structure as basis for parallelizing global register allocationAngelika Zobel. 262-271 [doi]
- A class of programming language mechanisms to facilitate multiple implementations of the same specificationMurali Sitaraman. 272-281 [doi]
- Modularity meets inheritanceGilad Bracha, Gary Lindstrom. 282-290 [doi]
- Attaching instance variables to method realization1 instead of classesWilliam H. Harrison, Harold Ossher. 291-299 [doi]
- Constraint specification on object-oriented databasesA. M. Alashqur, Stanley Y. W. Su, Herman Lam. 300-309 [doi]
- Parallel programming in SRHenri E. Bal. 310-319 [doi]
- High-level language support for programming distributed systemsJoshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini. 320-330 [doi]
- Distributed Eiffel: a language for programming multi-granular distributed objects on the Clouds operating systemL. Gunaseelan, Richard J. LeBlanc. 331-340 [doi]