COBOL

swMATH1228MaRDI QIDQ13968FDOQ13968

Author name not available (Why is that?)

Official website: https://en.wikipedia.org/wiki/COBOL

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
• Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
• 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
• Title not available (Why is that?)
• Architectural modifications to deployed software
• 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
• SingSurf
• Ada95
• Graph-based tools for re-engineering
• Mantissa
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lackwit
• GUPRO
• ASF+SDF
• Title not available (Why is that?)
• ADABAS
• DB2
• Informix
• Turbo Pascal
• Title not available (Why is that?)
• Title not available (Why is that?)
• Paradox
• REforDI
• ALGOL 60
• REXX
• PL/I
• Lotus 1-2-3
• YACC
• dBase
• FoxPro
• Clipper
• PROF-LP
• Bogart
• IBM BAL
• Mandrake
• SPITBOL
• TypeExplorer
• Visual J++
• Evaluating GLR parsing algorithms
• Title not available (Why is that?)
• Automated mass maintenance of a software portfolio
• ToolMaker
• CobolTransformer
• GDK
• 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?)
• 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?)
• The Proposed COBOL Standard-Its Significance
• The mathematical-function computation handbook. Programming using the MathCW portable software library
• Title not available (Why is that?)
• Structured extension of COBOL for handling data bases
• 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?)
• Programming decision tables in FORTRAN, COBOL or ALGOL
• The definition of comments in programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Application of SQL/N to the attribute-relation associations implicit in functional dependencies
• Title not available (Why is that?)
• 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?)
• Mini-COBOL
• Title not available (Why is that?)

This page was built for software: COBOL