Zur Elimination von Prozedurschachtelungen
From MaRDI portal
Publication:754629
DOI10.1007/BF02252093zbMATH Open0416.68010OpenAlexW111435365MaRDI QIDQ754629FDOQ754629
Authors: D. Kharzeev
Publication date: 1979
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02252093
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Remarks on the complexity of nondeterministic counter languages
- On procedures as open subroutines. II
- On correct procedure parameter transmission in higher programming languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Zur Elimination von Prozedurschachtelungen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754629)