Preconditions for Structural Synthesis of Programs

  • Vahur Kotkas
Conference paper

DOI: 10.1007/978-3-540-70881-0_25

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4378)
Cite this paper as:
Kotkas V. (2007) Preconditions for Structural Synthesis of Programs. In: Virbitskaite I., Voronkov A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg

Abstract

The current paper presents an extension to the logical language used in Structural Synthesis of Programs (SSP) and describes a modified synthesis algorithm to handle branching in program synthesis. The origin of the extension is from practical experience and introduces statements with preconditions to the logical language of SSP. Using these preconditions one can describe variable domain restrictions in its domain oriented models and gain higher flexibility while doing engineering modeling.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Vahur Kotkas
    • 1
  1. 1.Software Department, Institute of Cybernetics at TTU, 12618 TallinnEstonia

Personalised recommendations