Analysis and specialisation of imperative programs : an approach using CLP
Main Author: | |
---|---|
Published: |
University of Bristol
2000
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322591 |
id |
ndltd-bl.uk-oai-ethos.bl.uk-322591 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-bl.uk-oai-ethos.bl.uk-3225912015-03-19T08:56:46ZAnalysis and specialisation of imperative programs : an approach using CLPPeralta Estrada, Julio C.2000005Constraint logic programsUniversity of Bristolhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322591Electronic Thesis or Dissertation |
collection |
NDLTD |
sources |
NDLTD |
topic |
005 Constraint logic programs |
spellingShingle |
005 Constraint logic programs Peralta Estrada, Julio C. Analysis and specialisation of imperative programs : an approach using CLP |
author |
Peralta Estrada, Julio C. |
author_facet |
Peralta Estrada, Julio C. |
author_sort |
Peralta Estrada, Julio C. |
title |
Analysis and specialisation of imperative programs : an approach using CLP |
title_short |
Analysis and specialisation of imperative programs : an approach using CLP |
title_full |
Analysis and specialisation of imperative programs : an approach using CLP |
title_fullStr |
Analysis and specialisation of imperative programs : an approach using CLP |
title_full_unstemmed |
Analysis and specialisation of imperative programs : an approach using CLP |
title_sort |
analysis and specialisation of imperative programs : an approach using clp |
publisher |
University of Bristol |
publishDate |
2000 |
url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322591 |
work_keys_str_mv |
AT peraltaestradajulioc analysisandspecialisationofimperativeprogramsanapproachusingclp |
_version_ |
1716767579765211136 |