We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
program synthesis
programme synthesis
Diese Arbeit bietet zunächst einen umfassenden Überblick über bestehende Ansätze und Methoden der induktiven Programmsynthese.
This thesis at first provides a comprehensive overview of current approaches and methods to inductive program synthesis.
Die Resultate unserer Studien werden in der Programmsynthese eingesetzt, um die Umsetzbarkeit von Landschaftsentwicklungsszenarien hinsichtlich möglicher Raumnutzungskonflikte zu beurteilen.
The results of our studies will be used in the program synthesis to evaluate the practicability of landscape development scenarios regarding possible land use conflicts.
Die Programmsynthese folgt voraussichtlich gegen Ende 2022.
Ferner wird ein NFP-Projekt in Abstimmung mit den anderen Projekten des Programms koordiniert realisiert (Datenaustausch, Methodenseminare, Austausch von Zwischen- und Schlussergebnissen, Zusammenarbeit in der Programmsynthese).
In addition, NRP projects are closely coordinated with the other projects of the programme (data exchange, methodology seminars, exchange of preliminary and final results, collaboration on the programme synthesis).
Programmanalyse, Programmsynthese, Anwendung maschinellen Lernens auf Programmiersprachen, Parallelität
program analysis, program synthesis, application of machine learning to programming languages, concurrency
Der Ansatz der Programmsynthese ist jedoch nur in eingeschränkten Szenarien anwendbar, insbesondere in reaktiven (Multi-Agenten-) Systemen mit geringer Datenkomplexität und in Kontrollsystemen.
However, the approach of program synthesis is only applicable in restricted scenarios, in particular in reactive (multi-agent-)systems with low data complexity and in control systems.
In der induktiven Programmsynthese werden rekursive Programme durch das Generalisieren über unvollständige Spezifikationen, wie zum Beispiel endliche Mengen von Eingabe/Ausgabe Beispielen (E/A-Beispielen), generiert.
In inductive program synthesis, recursive programs are constructed by generalizing over incomplete specifications such as finite sets of input/output examples (I/O examples).
2015 wurde er als erster Professor der Universität des Saarlandes mit dem ERC Consolidator Grant der Europäischen Union für seine Arbeit zur automatischen Programmsynthese ausgezeichnet.
In 2015 he was the first professor at Saarland University to be awarded the ERC Consolidator Grant of the European Union for his work on automatic program synthesis.
Die Programmsynthese beschäftigt sich mit der (semi-)automatischen Konstruktion von Computer-Programmen aus Spezifikationen.
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "Programmsynthese" in German
