default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 25
Volume 25, Number 1, January 1990
- Jacqueline M. Caron, Peter A. Darnell:
Bugfind: A Tool for Debugging Optimizing Compilers. 17-22 - S. Srinivasan:
Compiler Design for Sets in PASCAL. 23-24 - Raymond T. Boute:
A Heretical View on Type Embedding. 25-28 - Limsoon Wong, Beng Chin Ooi:
Treating Failure As Value. 29-32 - Domenico Talia:
Survey and Comparison of PARLOG and Concurrent Prolog. 33-42 - Peter P. K. Chiu, Sammy T. K. Fu:
A Generative Approach to Universal Cross Assembler Design. 43-51 - Adrian Avenarius, Siegfried Oppermann:
FWEB: A Literate Programming System for Fortran8x. 52-58 - Mary Payne, Craig Schaffert, Brian A. Wichmann:
Proposal for a Language Compatible Arithmetic Standard. 59-86
Volume 25, Number 2, February 1990
- Edward J. Thomas, Paul W. Oman:
A Bibliography of Programming Style. 7-16 - David J. Nordstrom:
Threading Lisp. 17-24 - Atanas Radensky:
Toward Integration of the Imperative and Logic Programming Paradigms: Horn-Clause Programming in the Pascal Environment. 25-34 - B. Mehndiratta, P. S. Grover:
Software Metrics - An Experimental Analysis. 35-41
Volume 25, Number 3, March 1990
- David A. Padua:
Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990. ACM 1990, ISBN 0-89791-350-7 [contents]
Volume 25, Number 4, April 1990
- Pierre Labrèche, Louis Lamarche:
Interactors: A Real-Time Executive with Multiparty Interactions in C++. 20-32 - Brian L. Meek:
The Static Semantics File. 33-42 - Ronald E. Prather:
Proposal for a Categorical Programming Language. 43-50 - Gregor Snelting:
How to Build LR Parsers Which Accept Incomplete Input. 51-58 - Frank G. Pagan:
Comparative Efficiency of General and Residual Parsers. 59-68 - Ryan Stansifer
:
Imperative versus Functional. 69-72 - Robert Mandl:
On "Power Loop" Constructs in Programming Languages. 73-82 - George H. Roberts:
From Recursive Ascent to Recursive Descent: Via Compiler Optimizations. 83-89
Volume 25, Number 5, May 1990
- Henri E. Bal, Andrew S. Tanenbaum, M. Frans Kaashoek:
Orca: a language for distributed programming. 17-24 - Mark B. Wells:
Identifiers and static name abstraction. 25-28 - Michael P. Barnett:
Primitive string transformations as reductions to normal form. 29-33 - Michael P. Barnett, Rui Xu:
Infix to prefix conversion as a PST reduction. 34-38 - XinJie Jiang, YongSen Xu:
Diverse executable semantics definitions in NUSL and an implementation of functional types. 39-52 - Kenneth C. Louden:
P-code and compiler portability: experience with a Modula-2 optimizing compiler. 53-59 - Ivo Van Horebeek, Johan Lewi:
Are constructive formal specifications less abstract? 60-68 - Neelakantan Sundaresan:
Translation of nested Pascal routines to C. 69-81 - Heinz Dobler, Klaus Pirklbauer:
Coco-2: a new compiler compiler. 82-90 - Klaus Kaiser:
Generating the minimal model in Prolog. 91-94 - Daniel Keller:
A guide to natural naming. 95-102 - Peter L. Treadway:
The use of sets as an application programming technique. 103-116 - Boris Burshteyn:
On the modification of the formal grammar at parse time. 117-123 - Michel De Champlain:
Synapse: a small and expressibe object-based real-time programming language. 124-134
Volume 25, Number 6, June 1990
- Bernard N. Fischer:
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990. ACM 1990, ISBN 0-89791-364-7 [contents]
Volume 25, Number 7, July 1990
- Mikael Eriksson:
A correct example of multiple inheritance. 7-10 - Tzvetan T. Drashansky:
A concept for functional programming and distributed data processing in a local area network and its implementation. 11-18 - Charles Lins:
Programming without enumerations in Oberon. 19-27 - Jukka Paakki, Anssi Karhinen, Tomi Silander:
Orthogonal type extensions and reductions. 28-38 - Chung-Kwong Yuen, Weng-Fai Wong:
A self interpreter for BaLinda Lisp. 39-58 - Peter Greenfield:
Bagof/3 to ZF expression: an example prolog application manually translated to Miranda. 59-62 - Joanne L. Boyd, Gerald M. Karam:
Prolog in "C". 63-71 - Tom H. Axford:
An elementary language construct for parallel programming. 72-80 - Harold V. McIntosh, Gerardo Cisneros:
The programming languages REC and convert. 81-94 - Markku Sakkinen:
On embedding Boolean as a subtype of integer. 95-96 - Sanjay M. Krishnamurthy:
A brief survey of papers on scheduling for pipelined processors. 97-106
Volume 25, Number 8, August 1990
- Darrel C. Ince:
An annotated bibliography of software matrices. 15-23 - Limsoon Wong, Beng Chin Ooi:
Treating failure as state. 24-26 - Robert Steigerwald, Michael L. Nelson:
Concurrent programming in Smalltalk-80. 27-36 - W. F. Elsworth, M. B. A. Parkes:
Automated compiler construction based on top-down syntax analysis and attribute evaluation. 37-42 - Vitaliano Milanese:
Coupling FORTH and GKS in monitoring processes. 43-52 - Jean-Luc Dekeyser, Philippe Marquet, Philippe Preux:
EVA: an explicit vector language. 53-71 - Victor B. Schneider:
Compiler textbook bibliographies considered harmful. 72-74 - Brian L. Meek:
Two-valued datatypes. 75-79 - Brian L. Meek:
Failure is not just one value. 80-83 - Hermann von Issendorff:
A theory of organization. 84-102 - Michael J. A. Berry:
Adverbial programming. 103-105 - Dan Jonsson:
The flow of control notations pancode and boxcharts. 106-119 - R. Daniel Resler, Keith O'Sullivan:
VisiCLANG - a visible compiler for CLANG. 120-123
Volume 25, Number 9, September 1990
- József Györkös, Ivan Rozman, Tatjana Welzer:
Dynamical system specifications as validation media. 10-16 - Domenico Talia:
Notes on termination of OCCAM processes. 17-24 - Charles Chul-Doo Jung, Ernest E. Sibert:
Communication types. 25-30 - Hermann von Issendorff:
A theory of organization. 31-38 - Anthonie B. Ruighaver, T. T. E. Yeo:
Language support for a semi-dataflow parallel programming environment. 39-47
Volume 25, Number 10, October 1990
- Akinori Yonezawa:
Conference on Object-Oriented Programming Systems, Languages, and Applications / European Conference on Object-Oriented Programming, OOPSLA/ECOOP 1990, Ottawa, Canada, October 21-25, 1990, Proceedings. ACM 1990, ISBN 0-89791-411-2 [contents]
Volume 25, Number 11, November 1990
- Henning Christiansen:
A survey of adaptable grammars. 35-44 - Birger Andersen:
Ellie language definition report. 45-64 - Mirjana Ivanovic, Zoran Budimac:
Involving coroutines in interaction between functional and conventional language. 65-74 - Robert McLaughlin:
A plea for a readable Prolog programming style. 75-79 - Thomas A. Kovats:
A conservative alternative to pancode. 80-84 - David K. Ameiss, Thomas W. Christopher:
Functional programming in a parallel environment: the implementation of FP in MDC. 85-94
Volume 25, Number 12, December 1990
- Susi Dulli, Vitaliano Milanese:
A database design for graphical models. 30-36 - Choun Tong Lieu, Djamil Sarni:
O.LISP: theoretical basis and description. 37-44 - Boris Burshteyn:
Generation and recognition of formal languages by modifiable grammars. 45-53 - Klaus Bothe:
A prolog space benchmark suite: a new tool to compare prolog implementations. 54-60 - Mikhail Auguston:
Programming language RIGAL as a compiler writing tool. 61-69 - Robert Jellinghaus:
Eiffel Linda: an object-oriented Linda dialect. 70-84 - Günter Dotzel:
Does Modula-2 generate racehorses?: comparison of compiler generated code quality for floating point arithmetic. 85-88 - C. S. Yovev:
Universal editor unattainable. 89-92 - ChengXiang Zhai:
Preliminary ideas of a conceptual programming language. 93-100
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-12-05 22:25 CET 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:
