The following pages link to Pascal. User manual and report (Q1846739):
Displaying 18 items.
- Zur Verbesserung der Lokalität im Zugriff auf Felder (Q598804) (← links)
- A general backtrack algorithm for the isomorphism problem of combinatorial objects (Q1087556) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles'' (Q1134511) (← links)
- Two iteration theorems for the LL(k) languages (Q1148695) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- Characteristic parsing: A framework for producing compact deterministic parsers. I (Q1240564) (← links)
- Characteristic parsing: A framework for producing compact deterministic parsers. II (Q1240565) (← links)
- Programming continuous-system simulation in PASCAL (Q1259899) (← links)
- A description of dynamic behavior for compilers based on object oriented modeling (Q1313736) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- Orthogonal parallel processing in Vector Pascal (Q2568278) (← links)
- Differentiation in PASCAL-SC: type GRADIENT (Q3678557) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- MINIMIZATION OF SYNTAX DIAGRAMS WITH MULTIPORT COMPONENTS (Q5151235) (← links)
- A low‐cost implementation of coroutines for C (Q5184377) (← links)
