Каширин И.Ю.

See other templatesSee other templates

Side Menu

Here you can see live demonstration of Side Menu with icons and rich text.

Side Menu is very unique vertical menu with slide-out panels. This menu is extremely efficient when you have complex navigation with a lot of menu items.

To setup Side Menu you just need to configure module parameter “Menu Class Suffix” appropriately and the menu system will take care of the rest. There are very detailed instructions in template documentation.

Side Menu with Icons and Rich Text

Side Menu can present menu items with icons and descriptive text, pretty much like Main Menu.

To setup icons you need to configure menu items appropriately just like Main Menu. There are very detailed instructions in template documentation.

Side Menu with RTL Support

Side Menu works flawlessly even in RTL layout, in which sub-menu panels will slide out from right to left.

See Side Menu in RTL layout

Program machines

The formalism of software machines makes it possible to mathematically strictly describe the concept of the conceptual integrity of a programming languageTo get a formalism focused on analyzing the basic structures of an algorithmic language, let's look his structural components.

Read more...

INTERRELATION

The Program Machines system can be considered in various combinations as higher-level formalisms. The connection between the components can be seen at the level of the structure of the construction of elements of the carrier sets of the algebraic systems discussed above.

Read more...

programming languages

Let's consider the use of algebraic interpretation of language constructs for PL C, Lisp and Prolog as the most well-known algorithmic languages, which are representatives of languages of the universal, functional and logical type, respectively. Optimizing transformations are possible.

 Read more...

UNIFICATION

Excelsior

If the terms s and t represent a formal record of programs some predetermined program machine, then we are talking not simply about unifying or comparing two programs in order to find common fragments in them, but about an attempt to find some third term containing  variables.

Read more...

Go to top