H N Y 9 7 3 4 8 :

93 Mikhail Augustson

us
lt
web page

Languages:

References:

  • Auguston, Mikhail (1987) Auguston, Mikhail "Programming Language RIGAL as a Compiler Writing Tool", Inst of Math and CS of Latvia U, 1987.  E A
  • Auguston, Mikhail (1987) Auguston, Mikhail "Rigal Programming System: Language Description" University of Latvia, Institute of Mathematics and Computer Science 1987  E A Abstract Extract: Description
  • Auguston, Mikhail (1990) Auguston, Mikhail "Programming language RIGAL as a compiler writing tool", ACM  E A
          in [SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(12) December 1990  E
  • Auguston, Mikhail (1991) Auguston, Mikhail "RIGAL - a programming language for compiler writing", Baltic Computer Science, Selected Papers LNCS 502, Springer Verlag, 1991, pp.529-564.  E A
          in [SIGPLAN] (1990) [SIGPLAN] SIGPLAN Notices 25(12) December 1990  E
  • M. Auguston, (1991) M. Auguston, "FORMAN -- A Program Formal Annotation Language"  E A
          in [Proceedings] (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, Gerclia, May 1991, IEEE Computer Society Press  E
  • Auguston, Mikhail and Vadim Engelson, (1994) Auguston, Mikhail and Vadim Engelson, "The Programming Language RIGAL, a Tool for Compiler Writing" pp.167-176  E A Abstract Extract: Survey of CCSs Extract: Overview of the RIGAL language CiteSeer
          in [Proceedings] (1994) Proceedings of Nordic Workshop on Programming Environment Research, Lund, June 1-3, 1994  E
  • M. Auguston, (1995) M. Auguston, "Program Behavior Model Based on Event Grammar and its Application for Debugging Automation", in Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint-Malo, France, May 1995.  E A Abstract
          in [Proceedings] (1994) Proceedings of Nordic Workshop on Programming Environment Research, Lund, June 1-3, 1994  E
  • Auguston, M.; P. Fritzson, (1996) Auguston, M.; P. Fritzson, "PARFORMAN -- an Assertion Language for Specifying Behavior when Debugging Parallel Applications", pp609-640  E A Citeseer Abstract
          in (1996) International Journal of Software Engineering and Knowledge Engineering 6(4) 1996  E
  • Auguston, Mikhail (1996) Auguston, Mikhail "The V experimental visual programming language"; New Mexico State University, CS Department, Technical Report NMSU-CSTR-9611 1996  E A ps Extract:
          in (1996) International Journal of Software Engineering and Knowledge Engineering 6(4) 1996  E
  • Auguston, Mikhail (1996) Auguston, Mikhail "Building Program Behaviour Models"  E A Abstract
          in (1996) International Journal of Software Engineering and Knowledge Engineering 6(4) 1996  E
  • Auguston, Mikhail and A. Delgado (1997) Auguston, Mikhail and A. Delgado "The V experimental visual programming language"  E A ps Extract: Intro
          in [Proceedings] (1997) Proceedings of the NASA URC Technical Conference, Albuquerque, NM, February 1997  E
  • Auguston, Mikhail (1997) Auguston, Mikhail "Visual Programming Languages"  E A Abstract
          in (1997) Albuquerque Software Process Improvement Network September 18, 1997  E
  • Auguston, Mikhail; A. Delgado, (1997) Auguston, Mikhail; A. Delgado, "Iterative Constructs in the Visual Data Flow Language"  E A Abstract Extract: Introduction
          in [Proceedings] (1997) Proceedings of the 13th International Symposium on Visual Languages, VL'97, IEEE Computer Society Press, 1997  E
  • Mikhail Auguston, Ravindra Mathur (1998) Mikhail Auguston, Ravindra Mathur "Compiling Data Flow Diagrams into Functional Programs" 1998  E A Abstract Extract: Introduction
          in [Proceedings] (1997) Proceedings of the 13th International Symposium on Visual Languages, VL'97, IEEE Computer Society Press, 1997  E
  • Auguston, Mikhail (1999) Auguston, Mikhail "Tools for Program Dynamic Analysis, Testing, and Debugging Based on Event Grammars" 1999  E A
          in [Proceedings] (1997) Proceedings of the 13th International Symposium on Visual Languages, VL'97, IEEE Computer Society Press, 1997  E
  • Auguston, M. (2000) Auguston, M. "Lightweight semantics models for program testing and debugging automation" pp23-31  E A
          in Proceedings of the 7th Monterey Workshop on (2000) Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000  E
  • Mikhail Auguston, Clinton Jeffery, Scott Underwood (2002) Mikhail Auguston, Clinton Jeffery, Scott Underwood: A Framework for Automatic Debugging NMSU-CS-2002-004.  E A Abstract
          in Proceedings of the 7th Monterey Workshop on (2000) Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000  E
  • Auguston, M; Jeffery, C; Underwood, S (2003) Auguston, M; Jeffery, C; Underwood, S "A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization" 14 Oct 2003  E A
          in Proceedings of the 7th Monterey Workshop on (2000) Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000  E