Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
synthesis [2011/04/19 16:59] jobstman |
synthesis [2011/04/19 17:02] jobstman |
||
---|---|---|---|
Line 10: | Line 10: | ||
* Using synthesis to implement high-level programming language constructs. | * Using synthesis to implement high-level programming language constructs. | ||
Action experts have a unique set of complementary skills, whose combination will be necessary to fulfill the research vision of synthesis. By giving a more active role to automated tasks and avoiding low-level coding, synthesis has the potential to dramatically improve the productivity of computer system developers. | Action experts have a unique set of complementary skills, whose combination will be necessary to fulfill the research vision of synthesis. By giving a more active role to automated tasks and avoiding low-level coding, synthesis has the potential to dramatically improve the productivity of computer system developers. | ||
+ | |||
+ | |||
+ | |||
+ | ---- | ||
+ | |||
+ | Below you will find points to research within and outside the action related to this working group. | ||
====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== | ====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== |