Cel One of the first things a programmer must commit to in developing any significant piece of software is the representation of the data. In applications where performance or memory consumption is important, this representation is often quite complex: the data may be indexed in multiple ways and use a variety of concrete, interlinked data structures. The current situation, in which programmers either directly write these data structures themselves or use a standard data structure library, leads to two problems:1:The particular choice of data representation is based on an expectation of what the most common workloads will be; that is, the programmer has already made cost-benefit trade-offs based on the expected distribution of operations the program will perform on these data structures.2: It is difficult for the programmer to check or even express the high-level consistency properties of complex structures, especially when these structures are shared. This also makes software verification in existing programming languages very hard.We will investigate specification languages for describing and reasoning program data at a much higher level. The hope is that this can reduce the inherited complexity of reasoning about programs. In tandem, we will check if the high level specifications can be semi-automatically mapped specifications to efficient data representations.A novel aspect of our approach allows the user to define global invariants and a restricted set of high level operations, and only then to synthesize a representation that both adheres to the invariants and is highly specialized to exactly the set of operations the user requires. In contrast, the classical approach in databases is to assume nothing about the queries that must be answered; the representation must support all possible operations. Dziedzina nauki natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesdatabases Program(-y) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Temat(-y) ERC-AG-PE6 - ERC Advanced Grant - Computer science and informatics Zaproszenie do składania wniosków ERC-2012-ADG_20120216 Zobacz inne projekty w ramach tego zaproszenia System finansowania ERC-AG - ERC Advanced Grant Instytucja przyjmująca TEL AVIV UNIVERSITY Wkład UE € 1 492 240,00 Adres RAMAT AVIV 69978 Tel Aviv Izrael Zobacz na mapie Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Lea Pais (Ms.) Kierownik naukowy Shmuel (Mooly) Sagiv (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych Beneficjenci (2) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko TEL AVIV UNIVERSITY Izrael Wkład UE € 1 492 240,00 Adres RAMAT AVIV 69978 Tel Aviv Zobacz na mapie Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Lea Pais (Ms.) Kierownik naukowy Shmuel (Mooly) Sagiv (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych ALBERT-LUDWIGS-UNIVERSITAET FREIBURG Niemcy Wkład UE € 84 960,00 Adres FAHNENBERGPLATZ 79098 Freiburg Zobacz na mapie Region Baden-Württemberg Freiburg Freiburg im Breisgau, Stadtkreis Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Christian Jäger (Mr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych