The Computer Journal · 1965 · 27 citations · 0 references
Cluster ComputingEngineeringAlgorithmic LibrarySoftware EngineeringSoftware AnalysisFormal VerificationData ScienceGeneric ProgrammingParallel ComputingData ManagementKdf 9Programming Language TheoryComputer EngineeringProgramming Language ImplementationComputer SciencePattern MatchingData-intensive ComputingFunctional ProgrammingDeclarative ProgrammingProgram AnalysisFormal MethodsParallel ProgrammingList Processing
This paper describes a scheme whereby list processing may be performed in KDF 9 ALGOL by the inclusion of a set of declarations in a program.