Resultats de la cerca - "Program synthesis"
Matèries dins de la cerca
Matèries dins de la cerca
- program synthesis 11
- TACAS 5
- formal verification 5
- hardware systems 5
- probabilistic programming 5
- simulations 5
- software systems 5
- static analysis 5
- testing 5
- verification of machine 5
- abstract interpretation 4
- dependent types 4
- effects 4
- functional programming 4
- oncurrency 4
- program analysis 4
- quantum programming 4
- semantics 4
- session types 4
- verification 4
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation 3
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation 3
- Programmsynthese 2
- thema EDItEUR::U Computing and Information Technology::UK Computer hardware 2
- thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 2
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 2
- AI and creativity 1
- Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering 1
-
Programming Languages and Systems
Publicat 2024Matèries: “…program synthesis…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2024Matèries: “…program synthesis…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2024Matèries: “…program synthesis…”
Obtenir text complet
Online -
Programming Languages and Systems
Publicat 2024Matèries: “…program synthesis…”
Obtenir text complet
Online -
-
Programming Languages and Systems
Publicat 2025Matèries: “…program synthesis…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2025Matèries: “…program synthesis…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2025Matèries: “…program synthesis…”
Obtenir text complet
Online -
Programming Languages and Systems
Publicat 2025Matèries: “…program synthesis…”
Obtenir text complet
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicat 2025Matèries: “…program synthesis…”
Obtenir text complet
Online -
Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
Publicat 2025Matèries: “…program synthesis…”
Obtenir text complet
Online -
Eine Architektur für Programmsynthese aus natürlicher Sprache
Publicat 2021Matèries: “…program synthesis…”
Obtenir text complet
Online -
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
Publicat 2022Matèries: “…Computerlinguistik; Künstliche Intelligenz; Programmsynthese; Endnutzer-Programmierung; Softwaretechnik; Natural Language Processing; Artificial Intelligence; Program Synthesis; End-user Programming; Software Engineering…”
Obtenir text complet
Online