Каширин И.Ю.

See other templatesSee other templates

Main Menu

On top of this page, you can see live demonstration of Main Menu with icons and rich text. Icon Arrow Up

Main Menu is very powerful menu built with clean accessible XHTML code structure and effective drop-down submenu panels.

Main Menu Icons

Main Menu Icons

You can attach any of 20 predefined icons to menu items to make them more appealing.

To set up icons, you need to go to menu item settings and add symbol combination jsn-icon-xxx to menu item’s parameter Link CSS Style, where xxx is the icon name.


Main Menu Rich Text

Main Menu Rich Text

You can add descriptive text to menu items to make them much clearer.

To set up descriptive text, you need to go to menu item settings and add descriptive text to menu item’s parameter Link Title Attribute.


Main Menu Icons and Rich Text in combination

Main Menu Rich Text combined with Icons

You can set up menu items to utilize both icons and rich text in combination. Take a look at main menu on this page to see live demonstration.

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