Ada Semantic Interface Specification
- Ada Semantic Interface Specification
The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries.
References
* "ISO/IEC 15291: Information technology — Programming languages — Ada Semantic Interface Specification (ASIS)"
* [http://www.acm.org/sigada/WG/asiswg/specs/asis20s.txt ASIS 2.0 specification]
External links
* [http://www.acm.org/sigada/WG/asiswg/ ASIS Working Group]
See also
* Ada programming language
Wikimedia Foundation.
2010.
Look at other dictionaries:
Ada (programming language) — For other uses of Ada or ADA, see Ada (disambiguation). Ada Paradigm(s) Multi paradigm Appeared in 1980 Designed by MIL STD 1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft Stable release … Wikipedia
List of ISO standards — This is a list of ISO standards that are discussed in Wikipedia articles. For a list of all the more than 16,000 ISO standards (as of 2007), see the [http://www.iso.org/iso/en/CatalogueListPage.CatalogueList ISO Catalogue] .About 300 of the… … Wikipedia
ASIS — may refer to:* Australian Secret Intelligence Service * Ada Semantic Interface Specification (ISO/IEC 15291) * American Society for Information Science and Technology, sometimes known as the American Society for Information Science (ASIS) * ASIS… … Wikipedia
ASIS — Die Abkürzung ASIS steht für: Australian Secret Intelligence Service, einen australischen Geheimdienst ISO/IEC 15291: Ada Semantic Interface Specification Ausbildungs Stellen Informations Service Arbeitsgemeinschaft Sicherheit im Sport Asís ist… … Deutsch Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Web accessibility — For Wikipedia s accessibility guideline, see Wikipedia:Accessibility. Disability … Wikipedia
C (programming language) — C The C Programming Language[1] (aka K R ) is the seminal book on C … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
