Questions tagged [program-synthesis]
8 questions
1
vote
0 answers
Good pointers to learn foundations of Program induction and Program synthesis
I was interested in learning more about program induction and program synthesis. I was especially interested in learning about how to form program from data for example. My background is in traditional ML+Neural Nets so I have no idea were to…
Charlie Parker
- 3,130
- 22
- 39
1
vote
0 answers
Use of Mizar for algorithm specification and automatic analysis and discovery of algorithms?
Is it possible to use Mizar Mathematical Library for the specification of algorithms at the same detalization level as the implementation of the algorithm in industrial programming language? Mizar should be able to describe constructive proofs in…
TomR
- 1,411
- 8
- 17
1
vote
1 answer
Are there any examples of programming synthesis in vulnerability research?
Program Synthesis
To borrow from Microsoft:
Program synthesis is the task of automatically discovering an executable piece of code given user intent expressed using various forms of constraints such as input-output examples, demonstrations,…
torrho
- 111
- 1
1
vote
1 answer
Number of sentences and sentential forms generated by a grammar
In this question, I'm considering only "finite grammars". A finite grammar can only produce a finite number of distinct sentences. The following grammar is finite in my definition:
S → AB
A → B | a
B → a | b
It can only…
ihavenoidea
- 155
- 7
0
votes
0 answers
Why algebraic semantics of programming languages have died out and have not used today?
Algebraic semantics is one type of semantics that uses algebraic expressions for connecting the formal descriptions of initial and final states of some operation of some operation that is defined in the programming language. I can not imagine more…
TomR
- 1,411
- 8
- 17
0
votes
0 answers
Converting Turing machine into the source code in industrial programming language?
Are there methods how to convert Turing machine (e.g. neural Turing machine or other rigorous Turing machine) into the source code/program that is written in some industrial programming language like C++, Java, JavaScript? There is a lot of work on…
TomR
- 1,411
- 8
- 17
0
votes
0 answers
Program synthesis based on function properties
I am fairly new at program synthesis and the use of SMT solvers for this purpose. Given a function g, I want to generate all the functions f and h such that the following holds:
f . g = h . f
Are there program synthesis tools and techniques that…
user5803465
- 143
- 3
0
votes
0 answers
Why is Combinatorial Sketching for Finite programs possible?
I was reading Combinatorial Sketching for Finite Programs and wanted to understand why synthesis of the sketching language was possible/feasible.
As far as I understand a partial program is transformed to the Quantified Boolean Formula…
Charlie Parker
- 3,130
- 22
- 39