![Theoretical computer science / Programming paradigms / Software engineering / Logic in computer science / Declarative programming / Programming language semantics / Constraint programming / Logic programming / Operational semantics / Imperative programming / CLP / Programming language Theoretical computer science / Programming paradigms / Software engineering / Logic in computer science / Declarative programming / Programming language semantics / Constraint programming / Logic programming / Operational semantics / Imperative programming / CLP / Programming language](https://www.pdfsearch.io/img/cad8f43c1231ec754ad5072199302dbc.jpg) Date: 2010-10-22 08:05:11Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language | | Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with theAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source Website File Size: 801,11 KBShare Document on Facebook
|