Cover Image

SLIP: A Symmetric List Processing Language in PL-I.

Fuente: ERIC Institute of Education Sciences

Saved in:

Bibliographic Details
Main Author:	Leaf, William A.
Format:	Recurso educativo Open Access
Language:	en
Published:	1971
Subjects:	Computer Science Data Processing Programing Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

String Processing Facilities of Programming Languages
by: Saffady, William
Published: (1976)

A Plan for Teaching Data Processing to Library Science Students.
by: Losee, Robert M., Jr.
Published: (1975)

California State Library: Processing Center Design and Specifications. Volume III, Coding Manual.
by: Sherman, Don, et al.
Published: (1969)

TMS: A Terminal Monitor System for Information Processing. Final Report.
by: Smith, Stephen F., et al.
Published: (1971)

TPL (Table Producing Language) for Library Reports.
by: Halperin, Michael
Published: (1981)

XML Schema Languages: Beyond DTD.
by: Ioannides, Demetrios
Published: (2000)

A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
by: Cohen, Cyril, et al.
Published: (2024)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

A Conversation With a Computer
by: Vagianos, Louis
Published: (1973)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
by: Leutgeb, Lorenz, et al.
Published: (2022)

Verified Purely Functional Catenable Real-Time Deques
by: Viennot, Jules, et al.
Published: (2025)

A faster FPRAS for #NFA
by: Meel, Kuldeep S., et al.
Published: (2023)

The University of Sydney Library Catalogue Data Entry System.
by: Jacob, M. E. L., et al.
Published: (1975)

DISCUS Interactive System Users' Manual. Final Report.
by: Silver, Steven S., et al.
Published: (1971)

Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
by: Li, Hanyu, et al.
Published: (2025)

revTPL: The Reversible Temporal Process Language
by: Bocchi, Laura, et al.
Published: (2022)

Undergraduate Laboratory Data Acquisition With a Microcomputer.
by: Weston, Kenneth C.
Published: (1981)

The Transformational Model of Language and Information Retrieval
by: Fishman, Marilyn
Published: (1972)

The Great Gas Bubble Prick't; or, Computers Revealed - by a Gentleman of Quality
by: Legters, Lyman H.
Published: (1971)

Efficient Decrease-and-Conquer Linearizability Monitoring
by: Han, Lee Zheng, et al.
Published: (2024)

Online Collection Statistics: A Comparison of BASIC and SAS.
by: Slater, Jack
Published: (1981)

Automated Acquisition of Periodicals, L.A. SER. (Library Automation - Serials).
by: Kadmon, Gedalia
Published: (1973)

Costs in Technical Processing and Interlibrary Loan--Data Processing User's Manual.
by: Montague, Eleanor, et al.
Published: (1976)

Towards Efficient Hash Maps in Functional Array Languages
by: Due, William Henrich, et al.
Published: (2025)

Reference Search System (REFSEARCH) Users' Manual. Final Report.
by: Meredith, Joseph C.
Published: (1971)

A formalization of System I with type Top in Agda
by: Séttimo, Agustín, et al.
Published: (2026)

Extensional and Non-extensional Functions as Processes
by: Sakayori, Ken, et al.
Published: (2024)

RLIN Product Batch: Fundamental Design Concepts.
by: Crawford, Walt
Published: (1984)

SOLIB: A Social Science Program Library for Small Computers.
by: Halley, Fred S.
Published: (1973)

The Minnesota Union List of Serials
by: Grosch, Audrey N.
Published: (1973)

A Probabilistic Choreography Language for PRISM
by: Carbone, Marco, et al.
Published: (2025)

Data Documentation: Some Principles and Applications in Science and Industry. Proceedings of the Workshop on Data Documentation Organized by the School for Medical Documentation of the University of Ulm.
by: Gaus, Wilhelm, Ed., et al.
Published: (1977)

Illinois Public Library Annual Reports: Technical Processing.
by: Bonzi, Susan
Published: (1983)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
by: Mathur, Umang, et al.
Published: (2022)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
by: Coglio, Alessandro, et al.
Published: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
by: Różowski, Wojciech, et al.
Published: (2026)

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

Margedos: A Marc-Like Format for Genealogy with Provision for Documentation.
by: Lamb, Connie
Published: (1976)