Програмски језик — разлика између измена

}}</ref>{{sfn|Eckel|2006|p=24}} (нпр., као секвенца операција које се морају извршити), док други језици користе друге форме програмских спецификација, као што је [[Декларативно програмирање|децларативнадекларативна]] форма<ref>{{citation|last=Lloyd|first=J.W.|title=Practical Advantages of Declarative Programming}}</ref><ref>{{cite thesis |first=Manuel M. T. |last=Chakravarty|year=1997|url=http://www.cse.unsw.edu.au/~chak/papers/diss.ps.gz |title=On the Massively Parallel Execution of Declarative Programs |type=Doctoral dissertation |publisher=[[Technische Universität Berlin]] |accessdate = 26. 2. 2015. |quote=In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.}}</ref> (нпр. жељени резултат се специфицира, а не како да се оствари).