Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
Authors
Liu, Jian (Texas Univ. Dallas, TX, United States) Fu, Jicheng (Texas Univ. Dallas, TX, United States) Zhang, Yansheng (Texas Univ. Dallas, TX, United States) Bastani, Farokh (Texas Univ. Dallas, TX, United States) Yen, I-Ling (Texas Univ. Dallas, TX, United States) Tai, Ann (IA Tech, Inc. Los Angeles, CA, United States) Chau, Savio N. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
August 23, 2013
Publication Date
June 14, 2006
Subject Category
Computer Programming And Software Meeting Information
Meeting: ACM Sig Plan/Sig Bed Conference on Languages, Compilers, and Tools for Embedded System
Location: Ottawa
Country: Canada
Start Date: June 14, 2006
Distribution Limits
Public
Keywords
automated code synthesisdeductive code synthesiscode patternsreal-time system