Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

CoCoViLa -- a tool for structural synthesis of programs

Enn TyuguInstitute of Cybernetics of Tallinn University of Technology[Home Page]

Notice:  Hosted by Grigori Mints.

Date:  2013-03-04 at 11:00

Location:  EJ228 (SRI E building)  (Directions)

   Abstract

Structural synthesis of programs (SSP) was developed in eighties of the last century (http://en.wikipedia.org/wiki/Structural_synthesis_of_programs). Its logical correctness was demonstrated by G.Mints (see "Grigori Mints and Computer Science" by Enn Tyugu in: Proofs,Categories and Computations. Solomon Feferman, Wilfried Sieg, eds. 2010), and it was implemented on mainframes first (PRIZ system), and later on various platforms in Unix environment (Nut and Nuts). The present talk incudes: - a very brief introductin of SSP in terms of intuitionistic propositional calculus and higher-order constraint networks; - overview of CoCoViLa (http://www.cs.ioc.ee/cocovila/) as a model-based software development platform that uses SSP; - demonstration of SSP on various examples.

   Note for Visitors to SRI

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy