MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The structural synthesis of programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

Partial Structural Synthesis of Programs
by Mihhail Matskin, Jan Komorowski — 1997
…Fundamenta Informaticae 30 (1997) 23--41 1 IOS Press Partial Structural Synthesis of Programs…
Cited by 21 (8 self) – Add To MetaCart

Extensions of Structural Synthesis of Programs
by Tarmo Uustalu — 1994 — Lic. Thesis, TRITA-IT R 95:09, Dept. of Teleinformatics
…Extensions of Structural Synthesis of Programs Tarmo Uustalu Dept of Teleinformatics, The Royal…
Cited by 5 (0 self) – Add To MetaCart

Structural Synthesis of Programs Using Regular Data Structures
by Mait Harf — 1994 — BRICS, Dept. of Computer Science, Univ. of Aarhus
…Structural Synthesis of Programs Using Regular Data Structures Mait Harf Dept. of Computer…
Cited by 1 (0 self) – Add To MetaCart

Incorporating Partial Deduction in Structural Synthesis of Programs
by John Krogstie, John Krogstie, Mihhail Matskin, Mihhail Matskin — 1994
…f Incorporating Partial Deduction in Structural Synthesis of Programs Technical Report 1994 John…
Cited by 3 (3 self) – Add To MetaCart

Strategies of Structural Synthesis of Programs and Its Extensions
by Mihhail Matskin, Enn Tyugu — 2001 — Computing and Informatics
…Strategies of Structural Synthesis of Programs and Its Extensions Mihhail Matskin Department…
Cited by 7 (4 self) – Add To MetaCart

Partial Deduction in the Framework of Structural Synthesis of Programs
by Mihhail Matskin, Jan Komorowski, John Krogstie — 1997 — Logic of Program Synthesis and Transformation, LNCS No
…Partial Deduction in the Framework of Structural Synthesis of Programs Mihhail Matskin, Jan…
Cited by 1 (0 self) – Add To MetaCart

of the structural synthesis of programs
by Enn Tyugu — 1998 — Proceedings of the Estonian Academy of Sciences: Engineering
… of the structural synthesis of programs) Enn Tyugu Royal Institute of Technology Stockholm, Sweden Abstract…
Cited by 1 (0 self) – Add To MetaCart

Structural Synthesis Of Programs From Refined User Requirements (Programming boiler control in NUT)
by M. Addibpour, E. Tyugu, M. Addibpour E. Tyugu [mattin — 1995
…1 STRUCTURAL SYNTHESIS OF PROGRAMS FROM REFINEDUSERREQUIREMENTS (Programming boiler control in NUT…
Cited by 1 (1 self) – Add To MetaCart

Visual tool for generative programming
by Pavel Grigorenko — ACM SIGSOFT Software Engineering Notes
… called metainterfaces. Automatic code generation is used that is based on structural synthesis…
Cited by 4 (3 self) – Add To MetaCart

Visual programming in NUT
by Rando Valt, Enn Tyugu, Enn Tyugu — 1997
… special scheme of deductive program synthesis called structural synthesis of programs (SSP). It has been…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB