Pages that link to "Item:Q1213738"
From MaRDI portal
The following pages link to Pascal. User manual and report. 2nd ed (Q1213738):
Displaying 15 items.
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- Cyclomatic numbers do not measure complexity of unstructured programs (Q1151018) (← links)
- The independence of control structures in abstract programming systems (Q1155949) (← links)
- Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler (Q1157142) (← links)
- Rules of inference for procedure calls (Q1229748) (← links)
- Output driven interpretation of recursive programs, or writing creates and destroys data structures (Q1238624) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- Fast deterministic parsers for transition networks (Q1789065) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- (Q4747490) (← links)
- From Coloured Petri Nets to Object Petri Nets (Q5096368) (← links)
- MINIMIZATION OF SYNTAX DIAGRAMS WITH MULTIPORT COMPONENTS (Q5151235) (← links)
- Fast multiple alignment of ungapped DNA sequences using information theory and a relaxation method (Q5961629) (← links)