Constrained Decoding for Secure Code Generation.

Yanjun Fu Ethan Baker Yizheng Chen

Published in: CoRR (2024)

Keyphrases

code generation
application development
software development
code generator
modeling language
model driven
software reuse
design patterns
formal specification
rapid prototyping
open source
database
online learning
web applications
software engineering
query processing
xml documents
case study