ExCAPE Annual Report of Activities April 2014 to MarchOverview

First Page		Document Content
Date: 2016-01-31 09:37:33 Theoretical computer science Electronic engineering Digital electronics Music Electronic design automation Formal verification Logic in computer science High-level synthesis Robotics Domain-specific language Finite-state machine Model checking		ExCAPE Annual Report of Activities April 2014 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Download Document from Source Website File Size: 322,60 KB Share Document on Facebook

	Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M DocID: 1xViQ - View Document
	Topsl: A domain-specific language for on-line surveys Mike MacHenry Northeastern University Jacob Matthews University of Chicago DocID: 1uD8B - View Document
	Declarative Language Design for Interactive Visualization Jeffrey Heer and Michael Bostock Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By se DocID: 1uz7h - View Document
	Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille) DocID: 1updg - View Document
	OctDiderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis Gordon Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, John Reppy DocID: 1u6GE - View Document