COBOL

swMATH1228MaRDI QIDQ13968FDOQ13968

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• Goto elimination in program algebra
• Verification of Year 2000 conversion rules using the ACL2 theorem prover
• Restructuring of COBOL/CICS legacy systems
• Practical arbitrary lookahead LR parsing
• Towards a user-controlled software renovation factory
• Advanced software ground station and UAV development for NLoS control using mobile communications
• Multilayer syntactic analysis of parallel programming systems
• Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
• Unterprogrammtechnik und algorithmische Sprachen
• Title not available (Why is that?)
• Documenting software systems using types
• Automatic recursion engineering of reduction incorporated parsers
• TENSE IN FORMAL LANGUAGE SYNTAX AND CO‐OPERATING SEQUENTIAL PROCESSES
• RAPIDWRITE--A New Approach to COBOL Readability
• Basic elements of COBOL 61
• Title not available (Why is that?)
• Architectural modifications to deployed software
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Main directions in the development of informatics
• Title not available (Why is that?)
• Consistency of formalized specifications in multilevel programming
• A comparison of Cobol, Fortran, PL-I and Spitbol
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards lightweight checks for mass maintenance transformations
• The Mathematical-Function Computation Handbook
• Graph-based tools for re-engineering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Evaluating GLR parsing algorithms
• Title not available (Why is that?)
• Automated mass maintenance of a software portfolio
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Semi-automatic grammar recovery
• An Introduction to Statistical Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Network data models for representation of uncertainty
• Deductive semantics of file processing operators and its application to verification of COBOL programs
• Title not available (Why is that?)
• Portability by automatic translation: A large-scale case study
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Proposed COBOL Standard-Its Significance
• Title not available (Why is that?)
• Structured extension of COBOL for handling data bases
• Application of SQL/N to the attribute-relation associations implicit in functional dependencies
• Using convert to transform source code
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mini-COBOL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Engineering the development of systems for multisensory monitoring and activity interpretation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Arithmetizing declarations
• An experimental COBOL restructuring system
• Title not available (Why is that?)
• Towards more portable COBOL
• Title not available (Why is that?)
• Cobol generation of source programs and reports
• Experiences with a schematic logic preprocessor
• Understand Mathematics, Understand Computing
• Title not available (Why is that?)
• A comparison of programming languages for software engineering
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structured programming in Cobol

This page was built for software: COBOL