scientific article; zbMATH DE number 2084338

MaRDI QIDQ3043820zbMATH OpenFDO

Authors Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, É. Kh. Tyugu

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440157.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 3963167
• Constructive system for automatic program synthesis
• scientific article; zbMATH DE number 3225739
• scientific article; zbMATH DE number 2087852
• scientific article; zbMATH DE number 1955931
• Programmable program synthesis

Cited in

(8)

• Automatic programming: A tutorial on formal methodologies
• scientific article; zbMATH DE number 2084351 (Why is no real title available?)
• scientific article; zbMATH DE number 1912049 (Why is no real title available?)
• Synthesis of interface specifications for Java classes
• Generating specifications for recursive methods by abstracting program states
• Higher order programming in Java: introspection, subsumption and extraction
• scientific article; zbMATH DE number 3225739 (Why is no real title available?)
• Generating Java code pairing with ChatGPT

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043820)