Yuri Gurevich, Wolfram  Home/Search
Context
Related
| microsoft.com/~gurevich/Opera...145.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: microsoft.com/~gurevi...annotated (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Our goal is to provide a rigorousmeor d,cleG notation and convevPG t tool support for high-levx syste dete and analysis. For this purpose we use abstractstate machine (ASMs).HeM we deCGP e a particularcase study: modeDj1 ade3jjCv of a stackbase runtime em vironme t.The study provide edejGj for ASMs be6G asuitable tool for building executable modeD of software systeC on various abstraction lestra withprevD revDG treDCjvx63C6G connevx63 the mode1P High lehv ASM modeD of prop orevD36D6 programs... (Update)
Active bibliography (related documents): More All
0.0: Applying Patterns and Frameworks to Develop Object-Oriented.. - Schmidt (1997) (Correct)
0.0: On the Implementation of OOD Frameworks in COM - Shui Ming Ho (2001) (Correct)
0.0: Applying Model-Integrated Computing to Provision.. - Wang, Schmidt.. (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ wolfram-usingabstra,
author = "Yuri Gurevich Wolfram",
title = "UsingAbstra Star Ma hinesa Microsoft: ACa Study MikeBarnett, Egon Borger",
url = "citeseer.ist.psu.edu/753337.html" }
Citations (may not include all citations):115 Essential COM (context) - Box - 1998
2 SigbjornFinne DaanLenvD ErikMekvD and Simon PeGC Jone HDirev.. (context) - ErikMekvD, GC et al. - 1998
2 SigbjornFinne DaanLenvD ErikMekvD and Simon PeGj Jone Callin.. (context) - ErikMekvD, Gj et al. - 1999
1 Mike BarneDG Egon BorgeP YuriGure/ h (context) - http, haskell - 2000
1 Re ort practical application ASM software deDC InTh Volume (context) - PeD, Joachim et al.
http://www.tydo.de/AsmGofer/
http://www.research.microsoft.com/foundations/
Documents on the same site (http://research.microsoft.com/~gurevich/annotated.html): More
Spectra of Monadic Second-Order Formulas with One Unary Function - Gurevich, Shelah (2003) (Correct)
The Results - One Of The (Correct)
Evolving Algebras and Partial Evaluation - Gurevich, Huggins (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC