OnlineWoerterBuecher.de
Internes

Lexikon


ASL+


Nguage, specificatioN> 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)

N="left">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 - (5614 Reads)

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

Page Generation in 0.0946 Seconds, with 16 Database-Queries
Zurück zur Startseite