Showing 1 - 2 results of 2 for search 'Martin, Milo M. K.', query time: 0.02s Refine Results
  1. 1
    Syntax-guided synthesis

    Syntax-guided synthesis by Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Torlak, Emina, Udupa, Abhishek, Solar-Lezama, Armando

    Published 2014
    Get full text
    Get full text
    Article
  2. 2
    Syntax-Guided Synthesis

    Syntax-Guided Synthesis by Alur, Rajeev, Bodik, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar Lezama, Armando, Torlak, Emina, Udupa, Abhishek

    Published 2021
    Get full text
    Article

Search Tools: