default search action
The Computer Journal, Volume 32, 1989
Volume 32, Number 1, 1989
- T. H. Tse, L. Pong:
Towards a Formal Foundation for DeMarco Data Flow Diagrams. 1-12 - Chris J. Mitchell:
Multi-Destination Secure Electronic Mail. 13-15 - Timothy C. Bell, Alistair Moffat:
A Note on the DMC Data Compression Scheme. 16-20 - Sharam Hekmatpour:
A Window Manager for UNIX. 21-23 - Bernd Freisleben
, James Leslie Keedy:
Priority Semaphores. 24-28 - Paolo Corsini, Graziano Frosini, G. Speranza:
The Parallel Interpretation of Logic Programs in Distributed Architectures. 29-35 - Balanjaninath Edupuganty, Barrett R. Bryant:
Two-Level Grammar as a Functional Programming Language. 36-44 - Ivor P. Page, R. T. Jacob:
The Solution of Mutual Exclusion Problems which can be Described Graphically. 45-54 - N. Parimala, Naveen Prakash, B. L. N. Rao, Narasimha Bolloju:
A Query Facility to a Network DBMS. 55-62 - Alan Hutchinson:
Inheritance and Kinds of Slots. 63-67 - Joseph C. Culberson, J. Ian Munro:
Explaining the Behaviour of Binary Search Trees Under Prolonged Updates: A Model and Simulations. 68-75 - M. C. Er:
Classes of Admissible Permutations that are Generatable by Depth-First Traversals of Ordered Trees. 76-85 - Alan R. Halbert, Stephen Todd, John R. Woodwark:
Generalizing Active Zones for Set-Theoretic Solid Models. 86-89
- Mauro Negri
Semantics and Probelms of Universal Quantification in SQL. 90-91 - Martha Sideri, Sophocles Efremidis, G. Papaconstantinou:
Semantically Driven Parsing of Context-Free Languages. 91-93 - M. J. Jamieson:
Rapidly Converging Iterative Formulae for Finding Square Roots and Their Computational Efficiencies. 93-94
Volume 32, Number 2, 1989
- John Hughes:
Why Functional Programming Matters. 98-107 - R. Frost, John Launchbury:
Constructing Natural Language Interpreters in a Lazy Functional Language. 108-121 - Richard S. Bird:
Algebraic Identities for Program Calculation. 122-126 - Lennart Augustsson, Thomas Johnsson:
The Chalmers Lazy-ML Compiler. 127-141 - Stuart Wray, Jon Fairbairn:
Non-Strict Languages - Programming and Implementation. 142-151 - Adrienne G. Bloss, Paul Hudak, Jonathan Young:
An Optimising Compiler for a Modern Functional Language. 152-161 - Simon B. Jones, A. F. Sinclair:
Functional Programming and Operating Systems. 162-174 - Simon L. Peyton Jones:
Parallel Implementations of Functional Programming Languages. 175-186
- Xue-Miao Lu:
An Iterative Solution for the 4-Peg Towers of Hanoi. 187-189
Volume 32, Number 3, 1989
- K. P. Tan, T. S. Chua, P. T. Lee:
AUTO-DFD: An Intelligent Data Flow Processor. 194-201 - Anthony N. Godwin, M. B. Gore, D. W. Salt:
A Comparison of JSD and DFD as Descriptive Tools. 202-211 - Michael A. Shepherd, William J. Phillips, C.-K. Chu:
A Fixed-Size Bloom Filter for Searching Textual Documents. 212-219 - Abdelmoula El-Hamdouchi, Peter Willett:
Comparison of Hierarchie Agglomerative Clustering Methods for Document Retrieval. 220-227 - Jyrki Katajainen, Timo Raita:
An Approximation Algorithm for Space-Optimal Encoding of a Text. 228-237 - Erkki Mäkinen:
On Implementing Two Adaptive Data-Compression Schemes. 238-240 - K. W. Yu, Tong Lai Yu:
Data Encryption Based Upon Time Reversal Transformations. 241-245 - M. Rahman, S. Misbahuddin:
Effect of a Binary Symmetric Channel on the Synchronisations Recovery of Variable Length Codes. 246-251 - L. H. Ngoh, T. P. Hopkins:
Transport Protocol Requirements for Distributed Multimedia Information Systems. 252-261 - G. G. Scarrott:
The Nature of Information. 262-266 - André Schiper, Roland Simon, Philippe Desarzens, Jacques-André Sengstag:
Efficient Implementation of Rendezvous. 267-272 - John M. Wilson:
Crossword Compilation Using Integer Programming. 273-275 - Hal Berghel, C. Yi:
Crossword Compiler-Compilation. 276-280
- Borivoje Djokic, Masahiro Miyakawa, Satoshi Sekiguchi, Ichiro Semba, Ivan Stojmenovic:
A Fast Iterative Algorithm for Generating Set Partitions. 281-282
Volume 32, Number 4, 1989
- Phillip M. Yelland:
First Steps Towards Fully Abstract Semantics for Object-Oriented Languages. 290-296 - Dennis G. Kafura, Keung Hae Lee:
Inheritance in Actor Based Concurrent Object-Oriented Languages. 297-304 - W. R. Cook:
A Proposal for Making Eiffel Type-Safe. 305-311 - Rajendra K. Raj, Henry M. Levy:
A Compositional Model for Software Reuse. 312-322 - Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater:
The Treatment of Persistent Objects in Arjuna. 323-332 - Els Laenens, François Staes, Dirk Vermeir:
Browsing à la Carte in Object-Oriented Databases. 333-340 - T. P. Hopkins, Mario Wolczko:
Writing Concurrent Object-Oriented Programs Using Smalltalk-80. 341-350 - Martin C. Cooper
Formal Hierarchical Object Models for Fast Template Matching. 351-361 - Rami G. Melhem, Donald M. Chiarulli, Steven P. Levitan:
Space Multiplexing of Waveguides in Optically Interconnected Multiprocessor Systems. 362-369 - J. P. Bennett, G. C. Smith:
The Need for Reduced Byte Stream Instruction Sets. 370-373 - Chris J. Mitchell:
Another Postage Stamp Problem. 374-376
- A. Oxley:
Calculating Earthworks Volumes - An Exercise in Geometric Algorithms. 377-379
Volume 32, Number 5, 1989
- Ian Sommerville, Ronny Thomson:
An Approach to the Support of Software Evolution. 386-398 - M. W. Shields:
Implicit System Specification and the Interface Equation. 399-412 - Robin M. Gallimore, Derek Coleman, Victoria Stavridou:
UMIST OBJ: A Language for Executable Program Specifications. 413-421 - C. McDonald, Lloyd Allison:
Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML. 422-431 - Brian A. Wichmann:
Towards a Formal Specification of Floating Point. 432-436 - Luigi V. Mancini, Giuseppe Pappalardo:
Proving Correctness Properties of a Replicated Synchronous Program. 437-444 - Vincent P. Heuring, Uwe Kastens, R. G. Plummer, William M. Waite:
COMAR: A Data Format for Integration of CFG Tools. 445-452 - Panayotis Tsanakas, Nikitas A. Alexandridis, George K. Papakonstantinou:
An FP-Based Design Methodology for Problem-Oriented Architectures. 453-460 - David I. Bevan
Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction. 461-469 - M. C. Er:
A New Algorithm for Generating Binary Trees Using Rotations. 470-473
- John A. Ellis, P. M. Lepolesa:
A Las Vegas Graph Colouring Algorithm. 474-476
Volume 32, Number 6, 1989
- David F. Brailsford, Richard J. Beach:
Electronic Publishing - A Journal and its Production. 482-493 - Richard Furuta:
An Object-Based Taxonomy for Abstract Structure in Document Models. 494-504 - Heather Brown:
Standards for Structured Documents. 505-514 - Ian Ritchie:
HYPERTEXT - Moving Towards Large Volumes. 516-523 - Robert A. Morris:
Rendering Digital Type: A Historical and Economic View of Technology. 524-532 - Paul S. Licker:
Human Resource Management and Business Success in Small, Hi-Tech Firms: Some Lessons for Data Processing. 533-540 - David A. Umphress, Udo W. Pooch, Murat M. Tanik:
Fast Prototyping of a Goal-Oriented Simulation Environment System. 541-548 - J. R. Parker:
On the Conversion of Filled Polygonal Regions from Raster to Vector Representation. 549-553 - G. H. Kirby, M. Visvaligam, P. Wade:
Recognition and Representation of Hierarchy of Polygons with Holes. 554-562 - A. Quin, Y. Yanagisawa:
On Data Compaction of Scanning Curves. 563-566 - Arch Douglas Robison, Brian J. Hafner, Steven Skiena
Eight Pieces Cannot Cover a Chess Board. 567-570
- Michel Cosnard, Afonso Ferreira:
Generating Permutations on a VLSI Suitable Linear Network. 571-573
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 2024-11-18 20:34 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: