AIC Seminar Series
CoCoViLa -- a tool for structural synthesis of programs
|Enn Tyugu||Institute of Cybernetics of Tallinn University of Technology||[Home Page]|
Notice: Hosted by Grigori Mints.
Date: Monday, March 4th 2013 at 11:00am
Location: EJ228 (SRI E building) (Directions)
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.
Please arrive at least 10 minutes early as you will need to sign in by
following instructions by the lobby phone at Building E (or call Wilma
Lenz at 650 859 4904, or Vicenta at Lopez at 650 859 5750). SRI is
located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the
parking lots off Fourth Street. Detailed directions to SRI, as well as maps,
are available from the Visiting AIC web page.
There are two entrances to SRI International located on Ravenswood Ave.
Please check the Building E entrance signage.
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493