Logic-Based Program Synthesis and Transformation

Frédéric Mesnard 1 Peter Stuckey 2
1 LIM - Laboratoire d'Informatique et de Mathématiques
2 Department of Computing and Information Systems
Document type :
Directions of work or proceedings
Complete list of metadatas
https://hal.univ-reunion.fr/hal-02293707
Contributor : Frédéric Mesnard <>
Submitted on : Saturday, September 21, 2019 - 4:10:10 PM
Last modification on : Sunday, September 22, 2019 - 1:20:09 AM

Identifiers

  • HAL Id : hal-02293707, version 1

Collections

UNIV-REUNION | LIM | FST-REUNION

Citation

Frédéric Mesnard, Peter Stuckey. Logic-Based Program Synthesis and Transformation. 2019. ⟨hal-02293707⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

23

Contact

Informations

CCSD