While програмски језик<ref>http://profs.sci.univr.it/~merro/files/WhileExtra_l.pdf</ref> је прост програмски језик направљен од задатака, секвенцијалних састава, услова и while изјава, коришћених у теоретској анализи императивне семантике програмског језика. <ref name="NielsonNielson1999">{{Cite book|last1=Nielson|first1=Flemming|author2=Hanne R. Nielson|last3=Hankin|first3=Chris|title=Principles of Program Analysis|url = http://books.google.com/books?id=RLjt0xSj8DcC |accessdate = 29. 05. 2013|year=1999|publisher=Springer|isbn=978-3-540-65410-0}}</ref><ref>{{Cite book| title=Dictionary of Computing | publisher=Oxford University Press | isbn=9780192800466 | edition=4th |last=Illingworth|first=Valerie| series=Oxford Paperback Reference |year=1997}}</ref>
