The following pages link to BLISS (Q5630553):
Displaying 15 items.
- The formal definition of a real-time language (Q1153685) (← links)
- Control discipline necessity: Making the language as general as the implementation (Q1162804) (← links)
- Axiomatic semantics for ''escape'' statements (Q1182114) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- The method of attributes for data flow analysis. I: Exhaustive analysis (Q1249039) (← links)
- Critical comments on the programming language Pascal (Q2264544) (← links)
- Towards a language for concurrent processes (Q3681919) (← links)
- A pragmatic proposal for the improvement of program modularity and reliability (Q4055137) (← links)
- Boolean-valued loops (Q4088262) (← links)
- (Q4125727) (← links)
- Source program optimization with a generalized FOR statement (Q4174737) (← links)
- An application of coroutines and backtracking in interactive systems (Q4188707) (← links)
- A note on the assignment of measurement points for frequency counts in structured programs (Q4776825) (← links)
- Polymorphic programming I. Another language designed on semantic principles (Q5186706) (← links)
- Control extension in a recursive language (Q5666173) (← links)
