17 papers:
SIGAda-2009-RosenT #ada #semantics- The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
- SIGAda-2005-AusdenN #c++ #using
- Using ASIS to generate C++ bindings (HA, KAN), pp. 23–30.
AdaEurope-2001-KuchumovRS #ada #library #named #object-oriented- OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.
- SIGAda-2001-LaskiSP #database #query
- Beyond ASIS: program data bases and tool-oriented queries (JWL, WS, PP), pp. 81–90.
- AdaEurope-2000-CloshenH #ada #implementation #programming #using
- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.
- AdaEurope-2000-HovaterMB #design #documentation #generative #interface #using
- Generation of Interface Design Description Documents Using ASIS (SVH, WM, AB), pp. 138–148.
- AdaEurope-2000-RybinSFK #case study #experience #named
- ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.
- SIGAda-1999-Colket #analysis #realtime #using
- Code analysis of saftey-critical and real-time software using ASIS (WCC), pp. 67–76.
- SIGAda-1999-Wisniewski #ada
- Transitioning an ASIS application: version 1 to Ada95 2.0 (JRW), pp. 53–65.
- AdaEurope-1998-StrohmeierFRB #named #testing
- Quality-for-ASIS: A Portable Testing Facility for ASIS (AS, VF, SR, SB), pp. 163–175.
- SIGAda-1998-PritchettR #static analysis
- An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.
- TRI-Ada-1997-FofanovRS #interactive #interpreter #named
- ASIStint: An Interactive ASIS Interpreter (VF, SR, AS), pp. 205–209.
- AdaEurope-1996-RybinSKF #implementation #prototype
- ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.
- TRI-Ada-1996-RybinS #ada #difference
- Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
- AdaEurope-1995-RybinSZ #implementation #problem
- ASIS for GNAT: Goals, Problems and Implementation Strategy (SR, AS, EZ), pp. 139–151.
- TRI-Ada-1993-White #ada #interface #semantics #specification #using
- A Universal Delogger Using the Ada Semantic Interface Specification (ASIS) (MW), pp. 347–353.
- TRI-Ada-C-1992-BlakeB #ada #case study #experience #interface #perspective #semantics #specification
- Experiences with The Ada Semantic Interface Specification (ASIS): Developing a Tool with a View (SJB, JBB), pp. 458–468.
