Matches in DBpedia 2016-04 for { <http://www.cse.unsw.edu.au/~chak/papers/diss.ps.gz> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- diss.ps.gz accessdate "2015-02-26".
- diss.ps.gz date "1997-02-14".
- diss.ps.gz first "Manuel M. T.".
- diss.ps.gz isCitedBy Declarative_programming.
- diss.ps.gz last "Chakravarty".
- diss.ps.gz publisher Technische_Universität_Berlin.
- diss.ps.gz 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 of the logic.".
- diss.ps.gz title "On the Massively Parallel Execution of Declarative Programs".
- diss.ps.gz type "Doctoral dissertation".
- diss.ps.gz url diss.ps.gz.