Filters








3 Hits in 0.95 sec

Program extrapolation with jennisys

K. Rustan M. Leino, Aleksandar Milicevic
2012 SIGPLAN notices  
The technique proceeds by obtaining sample input/output values from concrete models and then extrapolating programs from the sample points.  ...  This paper presents an object-based language, called Jennisys, where programming is done by introducing an abstract model, defining a concrete data representation for the model, and then being aided by  ...  execute Jennisys specifications (i.e., obtain concrete program heaps that satisfy such a specification), and (2) verify the correctness of programs extrapolated from those concrete heaps.  ... 
doi:10.1145/2398857.2384646 fatcat:3kbn3e6ed5gnfnzp7eyket6yvu

Program extrapolation with jennisys

K. Rustan M. Leino, Aleksandar Milicevic
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
The technique proceeds by obtaining sample input/output values from concrete models and then extrapolating programs from the sample points.  ...  This paper presents a language, called Jennisys, where programming is done by introducing an abstract model, defining a concrete data representation for the model, and then being aided by automatic synthesis  ...  Jennisys also extrapolates programs from examples, but the examples are not supplied by users but are instead sample points from specifications supplied by users.  ... 
doi:10.1145/2384616.2384646 dblp:conf/oopsla/LeinoM12 fatcat:b6hbiikvcfgrvioagsgsevtznq

The End of History? Using a Proof Assistant to Replace Language Design with Library Design *

Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, Katherine Ye, Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross (+4 others)
2017 15 Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum für Informatik   unpublished
Functionality of software systems has exploded in part because of advances in programming-language support for packaging reusable functionality as libraries.  ...  Domain-specific languages may be viewed as an evolution of the power of reusable interfaces, when those interfaces become so flexible as to deserve to be called programming languages.  ...  The first author was inspired to start a project in this research area by conversations with Daniel S. Wilkerson and Simon Goldsmith about their unpublished work.  ... 
fatcat:mtfpc64vu5blhlotmk6xot2uiq