Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Towards a Wide Spectrum Language to Support Program Specification and Program Development
Program Construction, International Summer Schoo
Automatic Analysis of the Logical Structure of Programs
Automatic Analysis of the Logical Structure of Programs
Dependency Directed Reasoning for Complex Program Understanding
Dependency Directed Reasoning for Complex Program Understanding
On the role of domain knowledge-based approaches to software development
ACM SIGSOFT Software Engineering Notes
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
IEEE Transactions on Software Engineering
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Automatic programming for streams
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Programs are often used in experimental sciences to test new models and theories against real-world data. One of the major bottlenecks in that process is the need to write the program which implements the new model. ø0 is an automatic programming system which supports petroleum scientists in testing quantitative log interpretation models against log data from oil wells. The user (a petroleum scientist) describes a model by interacting with ø0 in the natural terms of the domain. ø0 then automatically writes a program which implements the model. The entire process takes from ten to twenty minutes and achieves results which previously required two to three weeks of effort.