Словари, Словарь Dictionary
! & ( * , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = @ %
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ { ~
O O& O- O2 OA OB OC OD OE OF OG OH OI OL OM ON OO OP OR OS OT OU OV OW OX OZ

OBJ

 
 
OBJ Joseph Goguen 1976. A family of declarative "ultra high level" languages. Abstract types, generic modules, subsorts (subtypes with ), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (Rewrite Rule Machine). ["Higher-Order Functions Considered Unnecessary for Higher-Order Programming", J.A. Goguen, in Research Topics in Functional Programming].
на заглавную О сайте10 самыхСловариОбратная связь к началу страницы
© 2010 Admin User
словарь
словарь online
online словарь
цитаты chrome
XHTML | CSS
1.8.11