Structural synthesis of programs

#	Item
1	Interpolation for Synthesis on Unbounded Domains Viktor Kuncak and R´egis Blanc ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-10-18 09:28:42 Lookup table Computer programming Structural synthesis of programs Mathematics Computing Function
2	Visual Tool for Generative Programming Pavel Grigorenko Institute of Cybernetics Tallinn University of Technology Akadeemia tee[removed]Tallinn, Estonia Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:28:39 Object-oriented programming Cross-platform software Programming paradigms Metaclass Visual programming languages Class Structural synthesis of programs Modeling language Domain-specific language Computing Software engineering Computer programming
3	Acquiring service oriented descriptions Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2008-04-02 11:11:52 Geographic information system Service-oriented architecture Open Geospatial Consortium Metadata Data model Web service Java Software development process Structural synthesis of programs Computing Science Software engineering