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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”