Examples of intensional

intensional isn’t in the Cambridge Dictionary yet. You can help!
In other words, the set of possible worlds (contexts) for this intensional language is the set of lists of natural numbers.
We believe that a similar potential exists in the area of intensional functional programming.
The distinguishing characteristic of intensional languages is that they have context switching operators.
An intensional interpretation called eduction is then given to programs which introduces the implicit parameters more explicitly.
As the current knowledge base lacks a representation for plans and the intentions they underlie, the inference scheme failed to recognize subgoals or intensional information.
Intensional programming is a programming paradigm that is based on intensional logic.
The overall structure of the rest of the paper has as follows: section 2 introduces intensional logic and intensional programming languages.
As we have seen in the previous sections, the algorithm transforms a significant class of higher-order programs into multidimensional zero-order intensional programs.
It examines the differences between the extensional computing model, which is usually implemented using reduction, and the intensional one, implemented using eduction.
Most of the aforementioned approaches are intensional (schema-based) and symmetric; none is both asymmetric and extensional (element-based).
We are far from a final resolution of these questions which, because of their intensional character, may not have tidy answers.
Type analysis is 'intensional' when types are analyzed by their structure, rather than by what terms they contain.
The intensional database corresponds to the set of deductive rules which define the semantics of the ontology language.
Both the head and body may contain a list of variables (names of relations in the intensional or extensional database).
The equivalence relation that only considers the public interface will be more useful to the programmer than intensional equality, because it is more permissive.
Intensional logics of various types have already proven useful in different areas of computer science, but mainly in artificial intelligence and verification (temporal logics).
The intensional operators that appear in intermediate steps of the transformation are generally higherorder.
Conversely, the intensional aspects, such as space consumption and evaluation order, are harder to understand.
On a more general level, the definition and study of our framework is somewhat complicated by our use of an intensional type theory.
However, the intensional structure of powerful notion of induction that is used in the following arguments.

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。