Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ellner, Stephan"'
Autor:
Ellner, Stephan J.
As visual programming languages become both more expressive and more popular in the domains of real-time and embedded software, the need for rigorous techniques for reasoning about programs written in these languages becomes more pressing. Indeed, du
Externí odkaz:
http://hdl.handle.net/1911/17671
Autor:
Cooper, Lyndon, Felton, David A., Kugelberg, Carl F., Ellner, Stephan, Chaffee, Nancy, Molina, Anthony L., Moriarty, John D., Paquette, David, Palmqvist, Ulf
Publikováno v:
International Journal of Oral & Maxillofacial Implants; Mar/Apr2001, Vol. 16 Issue 2, p182-192, 11p, 9 Color Photographs, 4 Black and White Photographs, 3 Charts, 4 Graphs
Autor:
Ellner, Stephan, Taha, Walid
Publikováno v:
Proceedings of the 2007 ACM SIGPLAN Symposium: Partial Evaluation & Semantics-based Program Manipulation; 1/15/2007, p122-133, 12p
Autor:
Shute, Jeff, Oancea, Mircea, Ellner, Stephan, Handy, Ben, Rollins, Eric, Samwel, Bart, Vingralek, Radek, Whipkey, Chad, Chen, Xin, Jegerlehner, Beat, Littlefield, Kyle, Tong, Phoenix
Publikováno v:
Proceedings of the 2012 ACM SIGMOD International Conference Management of Data; 5/20/2012, p777-778, 2p