ASIS-for-GNAT: A Report of Practical Experiences
نویسندگان
چکیده
What are the main difficulties met when implementing ASIS, what are the problems when using ASIS, are there any missing features in ASIS, e.g. when it comes to object-oriented programming, these are some of the topics dealt with in this experience report.
منابع مشابه
ASIS for GNAT: From the Prototype to the Full Implementation
This article is about the implementation of the Ada Semantic Interface Specification (ASIS) for the GNAT Ada 95 compilation system (ASIS-forGNAT). It discusses implementation problems and their solutions. It explains the interaction of ASIS-for-GNAT with GNAT and its internal data structures. Finally, it describes the current state of ASIS-for-GNAT.
متن کاملA Framework for CFG-Based Static Program Analysis of Ada Programs
The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based representations of arbitrary Ada programs. The generated data holds extensive information about the original Ada source, such as visibility, package structure and type definitions and provides means for complete interprocedural analysis....
متن کاملEvaluation of Spasticity Using the Ashworth Scale with Intermediate Scores (ASIS)
Objectives: The main purpose of this research was to study and contribute to an accurate test of spastic limb. The intra, inter rater reliability of the test was examined. Methods: The present study was carried out in two parts In the first part of the study, the modified Ashworth Scale with Intermediate Scores (ASIS) was studied. During the second part of the study the intra, inter rater re...
متن کاملNEUROFIBROMATOSIS PRESENTING AS SCROTAL ELEPHANTI ASIS
Neurofibromatosis being manifested as scrotal elephantiasis is a very rare condition and in review of the literature no such presentation was found. Here we report a 20 year old man who presented with scrotal elephantiasis and consequently, a pathological diagnosis of neurofibromatosis was reached.
متن کاملAbstract Interface Types in GNAT: Conversions, Discriminants, and C++
Interface Types in GNAT: Conversions, Discriminants, and C++ Javier Miranda1 and Edmond Schonberg2 1 [email protected] Applied Microelectronics Research Institute University of Las Palmas de Gran Canaria Spain and AdaCore 2 [email protected] AdaCore 104 Fifth Avenue, 15th floor New York, NY 10011 Abstract. Ada 2005 Abstract Interface Types provide a limited and practical form of multip...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000