OASIS

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