archive-edu.com ยป excape.cis.upenn.edu



Detailed info for site: excape.cis.upenn.edu

First archived on: 2012-12-12

Page Rank (on archived date): 5    

Favicon:

Title: ExCAPE:Expeditions in Computer Augmented Program Engineering

See available archived versions here

Original web address: https://excape.cis.upenn.edu/


Keywords:

Description:
... software synthesis In the proposed paradigm a programmer can express insights through a variety of forms such as incomplete programs example behaviors and high level requirements and the synthesis tool generates the implementation relying on powerful analysis algorithms and programmer collaboration The ExCAPE plan is to produce a range of design tools that let end users program robots by demonstrating example behaviors and that provide smart assistance for expert programmers...

Other info
   Used charset:utf-8

   Author: -
   (The author of the document)

   Generator: -
   (Name and version number of the publishing tool used to create the page)

Hosting server info (can be different or more than one):
IP address: 158.130.68.63
Country code: US
Country: UNITED STATES
Region: PENNSYLVANIA
City: PHILADELPHIA
ZIP: 19104
Time Zone: -05:00
Latitude: 39.9523 Longitude: -75.1638