The following pages link to Programming and Computer Software (Q174054):
Displaying 50 items.
- Correctness of mixed computations in Incol (Q1103380) (← links)
- Managing and using mixed computations for the systematic construction of language-oriented parsers (Q1103382) (← links)
- An approach to analyzing the properties of programs (Q1103383) (← links)
- Formalization of the semantics of the language Refal (Q1103385) (← links)
- Relations between data types (Q1103388) (← links)
- Program path functions (Q1103390) (← links)
- Complexity of the method of block paralleling structured programs (Q1103392) (← links)
- Embedding of parallel programs in programmable-structure computing systems (Q1103395) (← links)
- A theoretical model of a high-level programming language (Q1103396) (← links)
- Logical representation of algorithmic systems by the Petri-Chomsky machine (Q1103398) (← links)
- Three hidden-line elimination algorithms for the construction of images of parametrically defined surfaces (Q1110985) (← links)
- Algorithms for analyzing uniqueness and nondeadlocking in parallel programs having statements for individual interactions (Q1111005) (← links)
- The problem of equivalence in commutative s-models for programs (Q1111006) (← links)
- Semantic synthesis of programs by matching compositions (Q1111007) (← links)
- Verifying the correctness of parallel logical control algorithms (Q1111014) (← links)
- Databases with a universal relation (Q1111035) (← links)
- Modeling of information systems by Petri nets (the case of ASPID-7/SM) (Q1112616) (← links)
- Analytic models of computer systems in real time with background tasks (Q1132531) (← links)
- Algorithms for real-time management of a distributed computing system working in interactive mode (Q1132533) (← links)
- Effective algorithms for determining compatibility of variables (Q1132535) (← links)
- The task of assigning memory in operator systems under the conditions of the presence of several memories of different level (Q1132537) (← links)
- A method of translating expressions (Q1132540) (← links)
- The formal description of context conditions of programming languages (Q1132542) (← links)
- Structured programming and stack architecture (Q1132543) (← links)
- Variables in the language of block diagrams (Q1132544) (← links)
- Program composition and composition programming (Q1132545) (← links)
- A combined method for selection of modules in time-optimal program design (Q1132546) (← links)
- The functional equivalence of programs and its modeling (Q1132547) (← links)
- Generating a program with complex structural links (Q1132550) (← links)
- Logical termal equivalence in the class of charts on a powerfully nondegenerate basis (Q1132552) (← links)
- Proof of the characteristics of programs containing procedures and conditional operators (Q1132554) (← links)
- Methods of definition of programming language semantics. (Review) (Q1132555) (← links)
- Static procedure identification in compilers for Algol-type languages (Q1132557) (← links)
- Parallelizing operational schemata over block variables (Q1132559) (← links)
- Combination equivalence of Yanov schemata (Q1132562) (← links)
- Logic-term equivalent transformations of Yanov schemata (Q1132563) (← links)
- Complete systems of D-equivalent transformations of Yanov schemata (Q1132564) (← links)
- An automatic system of logical deduction (Q1132566) (← links)
- Automatic construction of systems of examples (Q1132568) (← links)
- NEATPL - an aid to the debugging of PL/1 programs (Q1132569) (← links)
- Method of calculating parameters of index-sequential files (Q1132571) (← links)
- LEM - a programming tool for data processing (Q1132573) (← links)
- Chain-progressive organization of overflow records in randomized- structure files (Q1132576) (← links)
- A language of graph schemes of parallel algorithms (Q1132577) (← links)
- Correctness of graph schemes of parallel algorithms (Q1132578) (← links)
- Synthesis of parallel programs on computational models (Q1132580) (← links)
- Design principles of a translation system for a parallel computer (Q1132581) (← links)
- Parallelization of an iterative procedure for the refinement of an inverse matrix (Q1132584) (← links)
- A system of parallel computations (Q1132589) (← links)
- Parallel decomposition of algorithms (Q1132591) (← links)
