WG211/M18Glueck - Revision history

Robert at 18:03, 20 May 2018

2018-05-20T18:03:46Z

← Older revision		Revision as of 20:03, 20 May 2018
Line 1:		Line 1:
	'''Metacomputation and Inversion - ~~Frontiers~~ of Program Generation''' by Robert Glück		'''Metacomputation and Inversion - A Frontier of Program Generation''' by Robert Glück

	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert at 18:03, 20 May 2018

2018-05-20T18:03:26Z

← Older revision		Revision as of 20:03, 20 May 2018
Line 1:		Line 1:
	'''Metacomputation and Inversion - ~~On the~~ Frontiers of Program Generation''' by Robert Glück		'''Metacomputation and Inversion - Frontiers of Program Generation''' by Robert Glück

	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert at 18:02, 20 May 2018

2018-05-20T18:02:56Z

← Older revision		Revision as of 20:02, 20 May 2018
Line 1:		Line 1:
	'''Metacomputation and Inversion - On the Frontiers of ~~Computing~~''' by Robert Glück		'''Metacomputation and Inversion - On the Frontiers of Program Generation''' by Robert Glück

	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert at 18:02, 20 May 2018

2018-05-20T18:02:23Z

← Older revision		Revision as of 20:02, 20 May 2018
Line 1:		Line 1:
	'''Metacomputation and Inversion - ~~Some~~ Frontiers of Computing''' by Robert Glück		'''Metacomputation and Inversion - On the Frontiers of Computing''' by Robert Glück

	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert at 18:02, 20 May 2018

2018-05-20T18:02:09Z

← Older revision		Revision as of 20:02, 20 May 2018
Line 1:		Line 1:
	'''Metacomputation and Inversion - Frontiers of Computing''' by Robert Glück		'''Metacomputation and Inversion - Some Frontiers of Computing''' by Robert Glück

	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert at 17:57, 20 May 2018

2018-05-20T17:57:58Z

← Older revision		Revision as of 19:57, 20 May 2018
Line 1:		Line 1:
			'''Metacomputation and Inversion - Frontiers of Computing''' by Robert Glück

	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert at 17:55, 20 May 2018

2018-05-20T17:55:28Z

← Older revision		Revision as of 19:55, 20 May 2018
Line 1:		Line 1:
	Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with inverse ~~computation~~ and partial evaluation.		Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

Robert: Created page with "Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research..."

2018-05-20T17:53:13Z

Created page with "Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research..."

New page

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with inverse computation and partial evaluation.