Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy,

First Page		Document Content
Date: 2018-01-15 07:35:42 Computing Software engineering Mathematics Functions and mappings Abstract interpretation Variable Limit of a function Derivative Combinatory logic Scala Exponentiation Integral		Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy, Add to Reading List Source URL: perso.univ-perp.fr Download Document from Source Website File Size: 429,03 KB Share Document on Facebook

	Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors DocID: 1xVKz - View Document
	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xVoG - View Document
	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov DocID: 1xUHd - View Document
	PDF Document DocID: 1w4Ii - View Document
	Case Study Twilio Improves Mean Time To Resolution (MTTR) by 92% with LightStep [x]PM Founded in 2008, Twilio’s mission is to fuel the future of communications. Twilio lowers engineering costs with its flexible, scala DocID: 1uYet - View Document