Showing 1 - 20 results of 77 for search '"program synthesis"', query time: 0.12s Refine Results
  1. 1
    Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings /
    Published 1998
    Table of Contents: “…A Multi-level Approach to Program Synthesis -- Programs Without Failures -- Generalised Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Published 2015
    Table of Contents: “… in Prolog -- Liveness properties in CafeOBJ-a case study for meta-level specifications -- Program Synthesis…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
    Published 2002
    Table of Contents: “… Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /
    Published 1999
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    Published 2001
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
    Published 2003
    Table of Contents: “…-Oriented Design Frameworks in Computational Logic -- Mapping Modular SOS to Rewriting Logic -- Program…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Behavioral Program Synthesis with Genetic Programming
    by Krawiec, Krzysztof
    Published 2016
    Table of Contents: “…Program Synthesis -- Limitations of Conventional Program Evaluation -- The Framework of Behavioral…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
    Published 2004
    Table of Contents: “… for Physics-Based Animation -- Adding Concrete Syntax to a Prolog-Based Program Synthesis System…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search