University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language Sanjai Rayadurgam
Anjali Joshi
Mats Heimdahl
November 2003 In Proc. of the 5th International Conference on Formal Engineering Methods (ICFEM) Critical Systems Research Group PDF icon ICFEM.pdf
A Formal Approach to Parallelizing Compilers Teodor Rus
Eric Van Wyk
March 1997 In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997. Minnesota Extensible Language Tools PDF icon minn_final.pdf
Aspect Oriented Compilers Oege de Moor
Simon Peyton-Jones
Eric Van Wyk
September 1999 In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799 Minnesota Extensible Language Tools
Attribute Grammar-based Language Extensions for Java Eric Van Wyk
Lijesh Krishnan
August Schwerdfeger
Derek Bodin
July 2007 In Proceedings of European Conference on Object Oriented Programming (ECOOP) Minnesota Extensible Language Tools PDF icon vanwyk_ecoop07.pdf
Flexible and Extensible Notations for Modeling Languages Jimin Gao
Mats Heimdahl
Eric Van Wyk
March 2007 In Proceedings of Fundamental Approaches to Software Engineering (FASE). Minnesota Extensible Language Tools PDF icon JGao-FASE07.pdf
Language and Library Support for Climate Data Applications Eric Van Wyk
Vipin Kumar
Michael Steinbach
Shyam Boriah
Alok Choudhary
October 2009 In Proceedings of Workshop on Software Research and Climate Change Minnesota Extensible Language Tools PDF icon wsrcc_van_wyk.pdf
Proceedings of the 1st Doctoral Symposium of the International Conference on Software Language Engineering (SLE-DS-2010) Eric Van Wyk
Steffen Zschaler
October 2010 International Conference on Software Language Engineering (SLE 2010) Minnesota Extensible Language Tools
Integrating attribute grammar and functional programming language features Ted Kaminski
Eric Van Wyk
July 2011 International Conference on Software Language Engineering (SLE 2011) Minnesota Extensible Language Tools PDF icon kaminski11sle_preproceedings.pdf
Flexibility in Modeling Languages and Tools: A Call to Arms Eric Van Wyk
Mats Heimdahl
June 2009 International Journal on Software Tools for Technology Transfer: Volume 11, Issue 3 (2009), Page 203-215 Critical Systems Research Group
Minnesota Extensible Language Tools
PDF icon sttt_final.pdf
Building Extensible Specifications and Implementations of Promela with AbleP Yogesh Mali
Eric Van Wyk
July 2011 International SPIN Workshop on Model Checking of Software (SPIN 2011) Minnesota Extensible Language Tools PDF icon mali11spin.pdf

Pages