Abstract
This is an experience report on the automatic and hidden usage of program synthesis in several application domains. The structural synthesis of programs has been implemented in an object-oriented programming environment NUT and used for development of simulation software, engineering calculations software, implementing a benchmark for safety critical systems and development of highly interactive visual modeling of radar coverage of landscape.
Chapter PDF
Similar content being viewed by others
Keywords
- Structural Synthesis
- Program Synthesis
- Intuitionistic Propositional Calculus
- Automate Software Engineer
- Dynamic Channel Assignment
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abrial, J.-R., Börger, E., Langemaack, H.: The Stem-Boiler Control Specification Problem. A Problem Suggestion for the Dagstuhl Meeting on Methods for Semantics and Specification, Lecture Notes Computer Science Vol. 1165, Springer-Verlag, Berlin Heidelberg New York (1997)
Addibpour, M., Tyugu, E.: Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). Lecture Notes Computer Science Vol. 1165, Springer-Verlag, Berlin Heidelberg New York (1997)
Blake, L.V.: A Guide to Basic Pulse-Radar Maximum-Range Calculation. Part 1. Equations, Definitions, and Aids to Calculation. Naval Research Laboratory Report 6930, AS 701 321 (1969)
Chuang, J.: Performance Issues and Algorithms for Dynamic Channel Assignment. IEEE Journal on Selected Areas in Communications, 11, 6 (1993) 955–963
Coquand, T., Nordström, B., Smith, J.M.: Type Theory and Programming, Bulletin of the EATCS, Vol. 52 (1994) 203–228
Grossschmidt, G., Pahapill, J.: Computing the Statics and Dynamics of Airplane Aileron Position Control Using the NUT Language. Proc. Estonian Acad. Sci. Engineering, 1, 1 (1995) 32–50
Grossschmidt, G., Vanaveski, J.: Composing Multi-Pole-Model Block Schemes for a Load-Sensing Hydraulic Drive. Proc. Estonian Acad. Sci. Engineering, 3, 4 (1998) 209–224
Kalja, A., Tiidemann, T.: A Conceptual Framework for Software Developing in Mechanical CAD. In Leinonen, T. (ed.): Proc. of OST-97 Symposium on Machine Design, Acta Univ. Oulu, C 109 (1997) 120–128
Kalja, A., Tiidemann, T.: Supporting Mechanical Design with Visual Programming in the NUT Environment. In Leinonen, T. (ed.): Proc. of OST-98 Symposium on Machine Design, Acta Univ. Oulu, C 130 (1998) 163–172
Kotkas, V.: Intelligent Software Tools for Data Communication Modeling. In: Lászlà Varga (ed.): Proc. of the Fourth Symposium on Programming Languages and Software Tools, Department of General Computer Science, Eötvös Loránd University, Budapest (dy1995) 279–287
Kotkas, V., Harf, M., Lõugas, R., Kann, E.: Positions of Coastal Radars Around Tallinn Bay. Final Report on the Contract, Institute of Cybernetics, Tallinn, (1998)-in Estonian
Lowry, M., Philpot, A., Pressburger, T., Underwood, I.: Amphion: Automatic Programming for Scientific Subroutine Libraries. In Proc. 8th Int. Symp. on Methodologies for Intelligent Systems, Lecture Notes Computer Science Vol. 869, Springer-Verlag, Berlin Heidelberg New York (1994) 326–335
Lowry, M., van Baalen, J.: Meta-Amphion: Synthesis of Efficient Domain-Specific Program Synthesis Systems. Automated Software Engineering, 4 (1997)199–241
Matskin, M., Komorowski, J.: Partial Structural Synthesis of Programs. Fundamenta Informaticae 31 (1997) 125–144
Mints, G.: Propositional Logic Programming. In: J. Hayes et al. (eds.): Machine Intelligence, Vol. 12, Clarendon Press, Oxford (1991) 17–37
Tyugu, E.: Using Classes as Specifications for Automatic Construction of Programs in the NUT System. Automated Software Engineering, 1, (1994) 315–334
Uustalu, T., Kopra, U., Kotkas, V., Matskin, M., Tyugu, E.: The NUT Language Report. The Royal Institute of Technology (KTH), TRITA-IT R 94:14 (1994)
Uustalu, T., Tyugu, E.: Higher-Order Functional Constraint Networks. In: Mayoh, B. et al.(eds.): Constraint Programming. NATO ASI Series F, Vol. 131, Springer-Verlag, Berlin Heidelberg New York (1994) 116–139
Uuustalu, T.: Aspects of Structural Synthesis of Programs. The Royal Institute of Technology (KTH), TRITA-IT 95:09 (1995)
Srinivas, Y.V., Jüllig, R.: Specware: Formal Support for Composing Software. In Proc. of the Conf. on Mathematics of Program Construction, Lecture Notes Computer Science Vol. 947, Springer-Verlag, Berlin Heidelberg New York (1995)
Stickel, M., Waldinger, R., Lowry, M., Pressburger, T., Underwood, I.: Deductive Composition of Astronomical Software from Subroutine Libraries. In: Bundy A., (ed.): Automated Deduction, Lecture Notes Computer Science Vol. 814, Springer-Verlag, Berlin Heidelberg New York (1994)
Vlassov, V., Addibpour, M., Tyugu, E.: NUTS: a Distributed Object-Oriented Platform with High Level Communication Functions. Computers and Artificial Intelligence, 17, 4 (1998) 305–335
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tyugu, E., Matskin, M., Penjam, J. (1999). Applications of Structural Synthesis of Programs. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_31
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive