MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
  • DSpace@MIT Home
  • MIT Open Access Articles
  • MIT Open Access Articles
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Euler: A System for Numerical Optimization of Programs

Author(s)
Chaudhuri, Swarat; Solar-Lezama, Armando
Thumbnail
DownloadEuler-description.pdf (1.499Mb)
OPEN_ACCESS_POLICY

Open Access Policy

Creative Commons Attribution-Noncommercial-Share Alike

Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Abstract
We give a tutorial introduction to Euler, a system for solving difficult optimization problems involving programs.
Date issued
2012
URI
http://hdl.handle.net/1721.1/90881
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Journal
Computer Aided Verification
Publisher
Springer-Verlag
Citation
Chaudhuri, Swarat, and Armando Solar-Lezama. “Euler: A System for Numerical Optimization of Programs.” Lecture Notes in Computer Science (2012): 732–737.
Version: Original manuscript
ISBN
978-3-642-31423-0
978-3-642-31424-7
ISSN
0302-9743
1611-3349

Collections
  • MIT Open Access Articles

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.