Šie piemēri no latviešu valodas tekstu korpusa ir atlasīti automātiski un var būt neprecīzi.
- Datoru uzbūve un sistēmprogrammēšana.
- 2. Izstrādāta praktiski algoritmiski pilna simboliska valoda valodai SIPL/1 – PL/1 apakškopai, kas orientēta uz sistēmprogrammēšanu.
- Praktiskā plāksnē tika izstrādāta praktiski pilna algoritmiska simboliska valoda, kas atbilst valodai SIPL/14 – PL/1 apakškopai, kas orientēta uz sistēmprogrammēšanu.
- Veikti izmēģinājumi, kas pierāda piedāvāto metožu praktisko noderību pilnu vai gandrīz pilnu testu sistēmu ģenerēšanā pietiekami sarežģītām ( sistēmprogrammēšanas tipa) programmām, kas rakstītas augsta līmeņa valodā.
- Tiek apskatīta PL/1 apakškopa ( saukta par SIPL/1), kas orientēta uz sistēmprogrammēšanu, tai atbilstošā simboliskā valoda, heiristisks simbolisko nosacījumu risināšanas algoritms, heiristisks testējamo ceļu izvēles algoritms.
