Analysis and Specialisation of Imperative Programs: An approach using CLP

Peralta Julio C.

Research output: Other contribution › PhD thesis (not Bristol)

Fingerprint

Dive into the research topics of 'Analysis and Specialisation of Imperative Programs: An approach using CLP'. Together they form a unique fingerprint.

Computer Science