Journal: SIGPLAN Notices

Volume 30, Issue 9

3 -- 8Stuart Maclean, Sean Smith. Object-Oriented Programming for Embedded Systems
9 -- 16Gabriela O. de Vivo, Marco de Vivo. A Pragmatic Approach to C++, Eiffel and Ada 9X Programming
17 -- 20Henry G. Baker. CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A
21 -- 24Chung-Kwong Yuen. A Functional FOR Loop
25 -- 32Karl Traunmüller. The Checkers Problem: A Solution with Linear Time Complexity
33 -- 40Brian L. Meek. What is a Procedure Call?
41 -- 50Jian Lu. Introducting Data Decomposition into VDM for Tractable Development of Programs

Volume 30, Issue 7

9 -- 28Samuel N. Kamin. Report of a Workshop on Future Directions in Programming Languages and Compilers
29 -- 36Marco de Vivo, Gabriela O. de Vivo, Luis González. A Brief Essay on Capabilities
37 -- 40James W. Howatt. A Project-Based Approach to Programming Language Evaluation
45 -- 51Pavol Návrat, Mária Bieliková. Representing Calendrical Algorithms and Data in Prolog and Prolog III
52 -- 56Li XueDong, Guoliang Zheng. Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation

Volume 30, Issue 5

3 -- 10Bruno Stiglic, Marjan Hericko, Ivan Rozman. How to Evaluate Object-Oriented Software Development?
11 -- 17P. D. Terry. Umbriel - Another Minimal Programming Language
18 -- 20Apostolos Syropoulos, Alexandros Karakos. Bottom in the Imperative World
21 -- 28David L. Shang. Covariant Deep Subtyping Reconsidered
29 -- 36Farooq Butt. Implementing FORTRAN77 Support in the GNU gdb Debugger
37 -- 42Peter Kokol, Viljem Zumer, Janez Brest, Marjan Mernik. PROMIS: A Software Metrics Tool Generator
43 -- 60Igor A. Borovikov. L-Systems with Inheritance: An Object-Oriented Extension of L-Systems

Volume 30, Issue 4

13 -- 20Jonathan L. Schilling. Dynamically-Valued Constants: An Underused Language Feature
21 -- 28John English. Multithreading in C++
29 -- 35John A. Trono. A Comparison of Three Strategies for Computing Letter Oriented, Minimal Perfect Hashing Functions
36 -- 38Peter Kokol, Ivan Rozman, Vlado Venuti. User Interface Metrics
39 -- 44Limsoon Wong. Polymorphic Queries Across Sets, Bags, and Lists
45 -- 50Thant Tessman. Adding Generic Function to Scheme
51 -- 60George Becker, Neil V. Murray. Efficient Execution of Programs with Static Semantics
61 -- 70Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück. Fortran Program Specialization
71 -- 79Marjan Mernik, Nikolaj Korbar, Viljem Zumer. LISA: A Tool for Automtic Language Implementation
80 -- 0John F. Cigas. Proper Packaging Promotes Parameter Passing Profiency

Volume 30, Issue 2

5 -- 11Giuseppe Castagna, Gary T. Leavens. Foundation of Object-Oriented Languages, 2nd Workshop Report
12 -- 20Liisa Räihä. A Brief Look at Extension Programming Before and Now
21 -- 24José A. Gallud, José M. García. The Specification of a Generic Multicomputer Using Lotos
25 -- 32Steven J. Beaty. ParsesraP: Using One Grammar to Specify Both Input and Output
33 -- 41Jean-Louis Boulanger. Object Oriented Method for Axiom
42 -- 48Youfeng Wu. Strength Reduction of Multiplications by Integer Constants
49 -- 58Szabolcs Ferenczi. Guarded Methods Vs. Inheritance Anomaly: Inheritance Anomaly Solved by Nested Guarded Method Calls
59 -- 64Cyrus F. Nourani. Intelligent And Multi Agent Object Level Computing: The Preliminary Overview

Volume 30, Issue 12

4 -- 8Conrad Weisert. Making C++ Practical for Business Applications: 3 Essential Classes
9 -- 16Per Brinch Hansen. Efficient Parallel Recursion
17 -- 24Tao Li. A Rule-based and Object-Oriented AI Programming Language
25 -- 31Gansheng Li. A New Approach for Efficient Implementation of ADA Multi-Tasking
32 -- 36John D. Ramsdell. CST: C State Transformers
37 -- 42Zhu Genjiang, Xie Li, Sun Zhongxiu. A New Methodology of Data Dependence Analysis for Parallelizing C++
43 -- 50Yves L. Noyelle. Disceplined C
51 -- 58Zhang Xinger. An Approach to Executable Specifications, Based On Formal Source-To-Source Conversion

Volume 30, Issue 1

5 -- 10Dianxiang Xu, Guoliang Zheng. Logical Objects with Constraints
11 -- 19Ming-Yuan Zhu. Program Transformation in Constructive Type Theory
20 -- 26Myung Ho Kim. A New Iteration Mechanism for The C++ Programming Language
27 -- 36Erkan Tin, Varol Akman, Murat Ersan. Towards Situation-Oriented Programming Languages
37 -- 44Max Copperman, Jeff Thomas. Poor Man s Watchpoints
45 -- 52Henry G. Baker. Use-Once Variables and Linear Objects - Storage Management, Reflection and Multi-Threading
53 -- 61Pierre Mellier, François Grize. OVIDE: A Tool for Data Acquisition and Validation