Analysis and specialisation of imperative programs : an approach using CLP

Bibliographic Details
Main Author: Peralta Estrada, Julio C.
Published: University of Bristol 2000
Subjects:
005
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