default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 28
Volume 28, Number 1, January 1993
- 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30 - October 2, 1992, Extended Abstracts of Talks and Poster Abstracts. ACM 1993 [contents]
Volume 28, Number 2, February 1993
- Baowen Xu
:
On Subprograms With A Variable Number Of Parameters Of Varying Types. 14-20 - William M. Waite:
An Executable Language Definition. 21-40 - Libero Nigro:
On the Type Extensions of Oberon-2. 41-44 - Rajiv Trehan, Nobuyuki Sawashima, Akira Morishita, Ichiro Tomoda, Toru Imai, Ken-ichi Maeda:
Concurrent Object Oriented 'C' (cooC). 45-52 - Uwe Schreiweis, A. Keune, Horst Langendörfer:
An Integrated Prolog Programming Environment. 53-60 - Paul W. Abrahams:
Typographical Extensions for Programming Languages: Breaking out of the ASCII Straitjacket. 61-68
Volume 28, Number 3, March 1993
- John A. N. Lee, Jean E. Sammet:
History of Programming Languages Conference (HOPL-II), Preprints, Cambridge, Massachusetts, USA, April 20-23, 1993. ACM 1993, ISBN 0-89791-570-4 [contents]
Volume 28, Number 4, April 1993
- Conrad Weisert:
Has the King Returned? 9-10 - Juan Hernández Núñez, Pedro de Miguel, Manuel Barrena García, Juan-Miguel Martínez, Antonio Polo Márquez, Manuel M. Nieto Rodríguez:
ALBA: A Parallel Language Based on Actors. 11-20 - Uwe Schreiweis, A. Keune, Horst Langendörfer:
An Integrated Prolog Programming Environment. 21-28 - Mirjana Ivanovic, Zoran Budimac:
A Definition of an ISWIM-Like Language via Scheme. 29-38 - William S. Shu:
Adapting a Debugger for Optimized Programs. 39-44 - Otto Stolz:
Anonymous Routine-Texts: an Orthogonal Approach to Block Objects. 45-48 - Baowen Xu:
CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. 49-54 - Henry G. Baker:
'Infant Mortality' and Generational Garbage Collection. 55-57 - Andrew Davison:
15th July 1972: A Significant Moment for Logic Programming. 58-60 - Josef Templ:
A Systematic Approach to Multiple Inheritance Implementation. 61-66 - Philip W. Hall IV:
Parsing with C++ Constructors. 67-68
Volume 28, Number 5, May 1993
- Shibin Hu:
Comment on Cooper and Kennedy's Flow-Insensitive Interprocedural Summary Information Computation Algorithm. 3-8 - Mehdi Badii, Fatemeh Abdollahzadeh:
Dynamic Semantic Sepcification by Two-Level Grammars for a Block Structured Language with Subroutine Parameters. 9-18 - Yuhua Zheng, Honglei Tu, Li Xie:
And/Or Parallel Execution of Logic Programs: Exploiting Dependent And-Parallelism. 19-28 - Karl-Heinz Drechsler, Manfred P. Stadel:
A Variation on Knoop, Rüthing, and Steffen's Lazy Code Motion. 29-38 - Jacek Passia, Klaus-Peter Löhr:
Fips: A Functional-Imperative Language for Explorative Programming. 39-48 - E. P. Wentworth:
Generalized Regular Expressions - A Programming Exercise in Haskell. 49-54 - Baowen Xu:
PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications. 53-62
Volume 28, Number 6, June 1993
- Robert Cartwright:
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993. ACM 1993, ISBN 0-89791-598-4 [contents]
Volume 28, Number 7, July 1993
- Marina C. Chen, Robert Halstead:
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), San Diego, California, USA, May 19-22, 1993. ACM 1993, ISBN 0-89791-589-5 [contents]
Volume 28, Number 8, August 1993
- Jan Hesse, Rainer König, Filippo Logi, Jens Herder:
A Prototype of an Interface Bilder for the Common Lisp Interface Manager - CLIB. 19-28 - Kailash Chandra:
C++ in Eight Weeks. 29-38 - Jonathan L. Schilling:
Fail-Safe Programming in Compiler Optimization. 39-42 - Dick Grune:
Two-Level Grammars are More Expressive Than Type 0 Grammars Or are They? 43-45 - Zongming Fei, Jian Lu:
An Approach Toward Mechanization of Acquiring Reusable Software Components. 46-52 - Edward W. Czeck, James M. Feldman:
On Defusing a Small Landmine in the Type Casting of Pointers in the 'C' Language. 53-56 - Pascal Janssens, Annie A. M. Cuyt:
How Does PASCAL-XSC Compare to Other Programming Languages with Respect to the IEEE Standard? 57-66 - Lem O. Ejiogu:
Five Principles for the Formal Validation of Models of Software Metrics. 67-76 - Mark Cashman:
Edicates - A Specification Of Calling Sequences. 77-80 - Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel:
Types in School. 81-89 - Malcolm J. Shute:
Abotec: An Autmatic Back-of-the-Envelope Calculator. 90-98 - Michael Philippsen, Ernst A. Heinz, Paul Lukowicz:
Compiling Machine-Independent Parallel Programs. 99-108 - Johann Rost:
"D2R": A Dynamic Dataflow Representation for Task Scheduling. 109-116 - Henrik Arro, Jonas Barklund, Johan Bevemyr:
Parallel Bounded Quantification - Preliminary Results. 117-124
Volume 28, Number 9, September 1993
- Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy:
Announcing the Release of Aquarius Prolog. 5 - Phil Pfeiffer:
Report on the Second Annual Alan J. Perlis Symposium on Programming Languages. 6-12 - Richie Bielak:
Object Oriented Programming: The Fundamentals. 13-14 - Mark Woodman:
A Taste of the Modula-2 Standard. 15-24 - John Banning:
Comment on a Comment by Shibin Hu. 25 - Doug Bell, Mike Parr:
Spreadsheets: A Research Agenda. 26-28 - Yaoqing Gao, Chung-Kwong Yuen:
A Survey of Implementations of Concurrent, Parallel and Distributed Smalltalk. 29-35 - Rainer H. Liffers:
Inheritance versus Containment. 36-38 - Jürgen Heymann:
A 100% Portable Inline-Debugger. 39-46 - Michael E. Goldsby:
A Simple Implementation Technique for Mixin Inheritance. 47-56 - Bernd Müller:
Is Object-Oriented Programming Structured Programming? 57-66 - Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini:
Pointer-Induced Aliasing: A Clarification. 67-70
Volume 28, Number 10, October 1993
- Timlynn Babitsky, Jim Salmons:
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993, Washington, DC, USA, September 26 - October 1, 1993. ACM 1993, ISBN 0-89791-587-9 [contents]
Volume 28, Number 11, November 1993
- John Banning:
Comment on a Comment by Shibin Hu. 3 - Simon L. Peyton Jones, John Hughes, John Launchbury:
How to Give a Good Research Talk. 9-12 - Frank A. Adrian:
A Modest Proposal Concerning Variables and Assignment Statements. 13-15 - Babak Dehbonei, Fernando Mejia:
Verification of Proofs for the B Formal Development Process. 16-21 - Henry G. Baker:
Complex Gaussian Integers for 'Gaussian Graphics'. 22-27 - José de Oliveira Guimarães:
Parametrized Methods. 28-32 - Mark Harman, Sebastian Danicic:
Projecting Functional Models of Imperative Programs. 33-41 - Tony Hetherington:
An Introduction to the Extended Pascal Language. 42-51 - Heiko Kießling, Uwe Krüger:
Blocks and Procedures. 52-61
Volume 28, Number 12, December 1993
- Barton P. Miller, Charles E. McDowell:
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, USA, May 17-18, 1993. ACM 1993, ISBN 0-89791-633-6 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-25 17:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
