NASA NTRS · 20230005598
Programming - What is Next?
Abstract
The paper provides an introduction to the track: “Program- ming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 14 papers were pre- sented in the track, with responses to the question: what are the trends in current more recent programming languages, and what can be expected of future languages?. The track covers such topics as general-purpose programming languages, domain-specific languages, formal methods and modeling languages, textual versus graphical languages, and application programming versus embedded programming.
Keep this discovery
Explore connections, maps & timelines
Steffen, Bernhard, Havelund, Klaus. 2021-10-25. Programming - What is Next?. https://ntrs.nasa.gov/citations/20230005598
Cite the original work for its findings. Save a collection to share your selection of sources.