Algorithmic program synthesis: introduction

Bodík, Rastislav; Jobstmann, Barbara

doi:10.1007/s10009-013-0287-9

Cited by 34 publications

(20 citation statements)

References 148 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Software synthesis allows the construction of a program from a logical specification rather than writing program code from scratch [21]. It is used to generate optimal code sequences or to automate simple programming tasks [22].…”

Section: Type Based Synthesis and Smt-solving As Technical Solutionmentioning

confidence: 99%

See 1 more Smart Citation

A Hybrid Approach of Modular Planning – Synchronizing Factory and Building Planning by Using Component based Synthesis

Graefenstein¹,

Winkels²,

Lenz³

et al. 2020

Proceedings of the Annual Hawaii International Conference on System Sciences

View full text Add to dashboard Cite

The more and more rising complexity of the industrial environment is triggering companies in a way that is more challenging than ever before. Not only are factory planning projects difficult to handle because of the dynamics and complexity also the necessary planning of the accompanied building gets more and more difficult. To handle this complexity and reduce time and effort for planning as a major factor of success the mainly separately done planning aspects needs to be synchronized. This paper will show an approach of a hybrid factory-building planning method in order to be able to shorten planning time and effort. By using a constraint solving technique the necessary planning tasks are aligned partly automatically and will be processed as a useful planning workflow in form of a gantt diagram for the overall project management.

show abstract

Section: Type Based Synthesis and Smt-solving As Technical Solutionmentioning

confidence: 99%

“…However, the synthesis is not limited to software in programming languages, but also allows the composition of system configurations or BPMN 2.0 processes [23]. Particularly advantageous is the synthesis of programs in complex systems such as systems with concurrent processes [21].…”

Section: Type Based Synthesis and Smt-solving As Technical Solutionmentioning

confidence: 99%

A Hybrid Approach of Modular Planning – Synchronizing Factory and Building Planning by Using Component based Synthesis

Graefenstein¹,

Winkels²,

Lenz³

et al. 2020

Proceedings of the Annual Hawaii International Conference on System Sciences

View full text Add to dashboard Cite

show abstract

“…While the theoretical basis for synthesis from logical specification has been known for decades, only recently a rather broad class of synthesis systems has reached the level of practical applications [11]. In the context of my thesis I will investigate methods for synthesizing formal specifications from a given set of correct runs of a system.…”

Section: Synthesis Of Formal Specificationsmentioning

confidence: 99%

Quantitative properties of software systems: specification, verification, and synthesis

Krstić

2014

Companion Proceedings of the 36th International Conference on Software Engineering

View full text Add to dashboard Cite

Functional and non-functional requirements are becoming more and more complex, introducing ambiguities in the natural language specifications. A very broad class of such requirements are the ones that define quantitative properties of software systems. Properties of this kind are of key relevance to express quality of service. For example, they are used to specify bounds on the timing information between specific events, or on their number of occurrences. Sometimes, they are also used to express higher level properties such as aggregate values over the multiplicity of certain events in a specific time window. These are practical specification patterns that can be frequently found in system documentation. The goal of this thesis is to develop an approach for specifying and verifying quantitative properties of complex software systems that execute in a changing environment. In addition, it will also explore synthesis techniques that can be applied to infer such type of properties from execution traces.

show abstract

“…It received renewed interest in the last years, in particular in the area of protocol and controller synthesis, see e.g. the recent special issue on "Synthesis" [3] where various approaches towards program synthesis presented. To some degree our approach is related to "Program Sketching" [24], we only provide a 'sketch' of a program which leaves certain parts (blocks, statements) open.…”

Section: The General Approachmentioning

confidence: 99%

Program Synthesis and Linear Operator Semantics

Wiklicky

2014

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation. This approach is based on the representation of the semantics of programs and program fragments in terms of linear operators, i.e. as matrices. We exploit in particular the fact that we can automatically generate the representation of the semantics of elementary blocks. These can then can be used in order to compositionally assemble the semantics of a whole program, i.e. the generator of the corresponding Discrete Time Markov Chain (DTMC). We also utilise a generalised version of Abstract Interpretation suitable for this linear algebraic or functional analytical framework in order to formulate semantical constraints (invariants) and optimisation objectives (for example performance requirements).

show abstract

Algorithmic program synthesis: introduction

Cited by 34 publications

References 148 publications

A Hybrid Approach of Modular Planning – Synchronizing Factory and Building Planning by Using Component based Synthesis

A Hybrid Approach of Modular Planning – Synchronizing Factory and Building Planning by Using Component based Synthesis

Quantitative properties of software systems: specification, verification, and synthesis

Program Synthesis and Linear Operator Semantics

Contact Info

Product

Resources

About