COBOL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Deductive semantics of file processing operators and its application to verification of COBOL programs
- Structured extension of COBOL for handling data bases
- Portability by automatic translation: A large-scale case study
- Main directions in the development of informatics
- SingSurf
- FORMAC
- Oberon
- Modula
- ALGOL 68
- Ada95
- ProMoT
- ToolBus
- OBSCURE
- Visual Basic
- 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
- Mantissa
- Verification of Year 2000 conversion rules using the ACL2 theorem prover
- Towards a user-controlled software renovation factory
- Restructuring of COBOL/CICS legacy systems
- Consistency of formalized specifications in multilevel programming
- Lackwit
- GUPRO
- ASF+SDF
- Automatic recursion engineering of reduction incorporated parsers
- Towards lightweight checks for mass maintenance transformations
- Documenting software systems using types
- Evaluating GLR parsing algorithms
- Automated mass maintenance of a software portfolio
- scientific article; zbMATH DE number 1693450 (Why is no real title available?)
- scientific article; zbMATH DE number 1693507 (Why is no real title available?)
- scientific article; zbMATH DE number 1693521 (Why is no real title available?)
- ADABAS
- DB2
- Informix
- Turbo Pascal
- Application of SQL/N to the attribute-relation associations implicit in functional dependencies
- Using convert to transform source code
- scientific article; zbMATH DE number 1809603 (Why is no real title available?)
- REforDI
- scientific article; zbMATH DE number 3425103 (Why is no real title available?)
- Unterprogrammtechnik und algorithmische Sprachen
- RAPIDWRITE--A New Approach to COBOL Readability
- Basic elements of COBOL 61
- scientific article; zbMATH DE number 3854377 (Why is no real title available?)
- scientific article; zbMATH DE number 3854378 (Why is no real title available?)
- scientific article; zbMATH DE number 3854384 (Why is no real title available?)
- scientific article; zbMATH DE number 3858382 (Why is no real title available?)
- scientific article; zbMATH DE number 3868579 (Why is no real title available?)
- ALGOL 60
- REXX
- scientific article; zbMATH DE number 4155913 (Why is no real title available?)
- scientific article; zbMATH DE number 5728682 (Why is no real title available?)
- Numerical methods. Principles, analysis and algorithms.
- An experimental COBOL restructuring system
- scientific article; zbMATH DE number 3823093 (Why is no real title available?)
- scientific article; zbMATH DE number 3903930 (Why is no real title available?)
- scientific article; zbMATH DE number 3905824 (Why is no real title available?)
- scientific article; zbMATH DE number 3924098 (Why is no real title available?)
- scientific article; zbMATH DE number 3938522 (Why is no real title available?)
- scientific article; zbMATH DE number 3980451 (Why is no real title available?)
- PL/I
- scientific article; zbMATH DE number 1194792 (Why is no real title available?)
- Arithmetizing declarations
- scientific article; zbMATH DE number 3655312 (Why is no real title available?)
- scientific article; zbMATH DE number 3660774 (Why is no real title available?)
- Towards more portable COBOL
- YACC
- A comparison of Cobol, Fortran, PL-I and Spitbol
- scientific article; zbMATH DE number 3677174 (Why is no real title available?)
- Lotus 1-2-3
- Experiences with a schematic logic preprocessor
- A comparison of programming languages for software engineering
- Multilayer syntactic analysis of parallel programming systems
- Current methods for proving program correctness
- scientific article; zbMATH DE number 3729428 (Why is no real title available?)
- scientific article; zbMATH DE number 3742590 (Why is no real title available?)
- scientific article; zbMATH DE number 3742591 (Why is no real title available?)
- scientific article; zbMATH DE number 3748386 (Why is no real title available?)
- scientific article; zbMATH DE number 3750248 (Why is no real title available?)
- Designing structured cobol programs
- scientific article; zbMATH DE number 3763263 (Why is no real title available?)
- scientific article; zbMATH DE number 3780530 (Why is no real title available?)
- The Proposed COBOL Standard-Its Significance
- scientific article; zbMATH DE number 42905 (Why is no real title available?)
- scientific article; zbMATH DE number 43622 (Why is no real title available?)
- scientific article; zbMATH DE number 45553 (Why is no real title available?)
- scientific article; zbMATH DE number 46085 (Why is no real title available?)
- scientific article; zbMATH DE number 50142 (Why is no real title available?)
- scientific article; zbMATH DE number 53101 (Why is no real title available?)
- scientific article; zbMATH DE number 57113 (Why is no real title available?)
- scientific article; zbMATH DE number 108404 (Why is no real title available?)
- scientific article; zbMATH DE number 108534 (Why is no real title available?)
- scientific article; zbMATH DE number 3466486 (Why is no real title available?)
- scientific article; zbMATH DE number 3468239 (Why is no real title available?)
- scientific article; zbMATH DE number 3473257 (Why is no real title available?)
- scientific article; zbMATH DE number 3473258 (Why is no real title available?)
- scientific article; zbMATH DE number 3473259 (Why is no real title available?)
- scientific article; zbMATH DE number 3473260 (Why is no real title available?)
- scientific article; zbMATH DE number 3476544 (Why is no real title available?)
This page was built for software: COBOL
