OnlineWoerterBuecher.de
Internes

Lexikon


ASL+


An {algebraic specification language} by David Aspinall of the {University of Edinburgh}. ASL+ has rules for proving the satisfaction of specifications. It can also be viewed as a type theory with subtyping, featuring contravariant refinement for Pi-abstracted specifications and a notion of stratified equality for higher-order objects. (1994-09-14)

In addition suitable contents:
[ = ] [ ag ] [ ai ] [ al ] [ algebra ] [ algebraic ] [ am ] [ an ] [ ar ] [ arc ] [ AS ] [ as ] [ ASL ] [ at ] [ av ] [ b ] [ be ] [ bj ] [ br ] [ bs ] [ bt ] [ by ] [ ca ] [ cat ] [ ch ] [ ci ] [ co ] [ con ] [ D ] [ de ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ es ] [ fact ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gh ] [ gu ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ language ] [ Lex ] [ li ] [ ls ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ng ] [ ni ] [ no ] [ ns ] [ object ] [ pe ] [ ph ] [ ping ] [ pr ] [ quality ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ S ] [ sa ] [ se ] [ si ] [ sit ] [ SL ] [ so ] [ spec ] [ specification ] [ spin ] [ st ] [ su ] [ subtyping ] [ th ] [ theory ] [ tr ] [ type ] [ ua ] [ va ] [ var ] [ ve ] [ vi ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (5516 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.1935 Seconds, with 17 Database-Queries
Zurück zur Startseite