ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of abstraction compared to the needs of the tool developer. Higher-level interfaces and common libraries for specific needs should therefore be developed. The paper describes a ASIS secondary library providing abstractions and queries for analyzing object-oriented Ada code.

References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Atif, Yacine; Serhani, Mohamed Adel; Campbell, Piers; Mathew, Sujith Samuel: Trusted translation services (2009)
  2. Bergheau, Jean-Michel; Fortunier, Roland: Finite element simulation of heat transfer. Translated from the French original by Robert Meillier (2008)
  3. Chan, Yuen-Yan: Weakest link attack on single sign-on and its case in SAML V2.0 web SSO (2006)
  4. Desai, Michael M.; Nelson, David R.: A quasispecies on a moving oasis (2005)
  5. Ghanshani, Pankaj; Bansal, Tarun: Oasis: A hierarchical EMST based P2P network (2005)
  6. Bocchi, Laura: Compositional nested long running transactions (2004)
  7. Belokosztolszki, András; Eyers, David: Shielding RBAC infrastructures from cyberterrorism (2003)
  8. Papazoglou, Michael P.: The world of e-business: Web-services, workflows, and business transactions (2002)
  9. Pelechano, Vicente; Pastor, Oscar; Insfrán, Emilio: Automated code generation of dynamic specializations: An approach based on design patterns and formal techniques (2002)
  10. Pérez, Jennifer; Carsí, José A.; Ramos, Isidro: ADML: A language for automatic generation of migration plans (2002)
  11. Sánchez, Pedro; Letelier, Patricio; Pastor, Juan A.; Ortega, Juan A.: A framework to translate UML class generalization into Java code (2002)
  12. Bacon, Jean; Moody, Ken; Yao, Walt: Access control and trust in the use of widely distributed services (2001)
  13. Chang, Ben; Scardina, Mark; Karun, K.; Kiritzov, Stefan; Macky, Ian; Novoselsky, Anguel; Ramakrishnan, Niranjan: Oracle XML handbook. Platform independent development of XML documents and applications. Transl. from the English by Doris Heidenberger (2001)
  14. Jang, Sei-Ie; Kim, Joong-Han; Ramakrishna, R. S.: Framework for building mobile context-aware applications (2001)
  15. Kocsor, András; Kuba, András jun.; Tóth, László: An overview of the OASIS speech recognition project (2001)
  16. Kuchumov, Alexei; Rybin, Sergey; Strohmeier, Alfred: OASIS -- an ASIS secondary library for analyzing object-oriented Ada code (2001)
  17. Dahmen, Karin A.; Nelson, David R.; Shnerb, Nadav M.: Life and death near a windy oasis (2000)
  18. Franosch, T.; Nelson, David R.: Population dynamics near an oasis with time-dependent convection (2000)
  19. Hörnlein, H. R. E. M. (ed.); Schittkowski, K. (ed.): Software systems for structural optimization (1993)
  20. Michel, Petra (ed.); Saucier, Gabrielle (ed.): Logic and architecture synthesis. Proceedings of the IFIP TC10/WG10.5 Workshop, Paris, France, 30 May - 1 June 1990 (1991)

1 2 next