单词 intensional 释义 BETA

Examples ofintensional

Dictionary> Examples ofintensionalintensionalisn’t in the Cambridge Dictionary yet. You can help!Add a definitionIn other words, the set of possible worlds (contexts) for thisintensionallanguage is the set of lists of natural numbers.From theCambridge English CorpusWe believe that a similar potential exists in the area ofintensionalfunctional programming.From theCambridge English CorpusThe distinguishing characteristic ofintensionallanguages is that they have context switching operators.From theCambridge English CorpusAnintensionalinterpretation called eduction is then given to programs which introduces the implicit parameters more explicitly.From theCambridge English CorpusAs the current knowledge base lacks a representation for plans and the intentions they underlie, the inference scheme failed to recognize subgoals orintensionalinformation.From theCambridge English CorpusIntensionalprogramming is a programming paradigm that is based onintensionallogic.From theCambridge English CorpusThe overall structure of the rest of the paper has as follows: section 2 introducesintensionallogic andintensionalprogramming languages.From theCambridge English CorpusAs we have seen in the previous sections, the algorithm transforms a significant class of higher-order programs into multidimensional zero-orderintensionalprograms.From theCambridge English CorpusIt examines the differences between the extensional computing model, which is usually implemented using reduction, and theintensionalone, implemented using eduction.From theCambridge English CorpusMost of the aforementioned approaches areintensional(schema-based) and symmetric; none is both asymmetric and extensional (element-based).From theCambridge English CorpusWe are far from a final resolution of these questions which, because of theirintensionalcharacter, may not have tidy answers.From theCambridge English CorpusType analysis is 'intensional' when types are analyzed by their structure, rather than by what terms they contain.From theCambridge English CorpusTheintensionaldatabase corresponds to the set of deductive rules which define the semantics of the ontology language.From theCambridge English CorpusBoth the head and body may contain a list of variables (names of relations in theintensionalor extensional database).From theCambridge English CorpusThe equivalence relation that only considers the public interface will be more useful to the programmer thanintensionalequality, because it is more permissive.From theCambridge English CorpusIntensionallogics of various types have already proven useful in different areas of computer science, but mainly in artificial intelligence and verification (temporal logics).From theCambridge English CorpusTheintensionaloperators that appear in intermediate steps of the transformation are generally higherorder.From theCambridge English CorpusConversely, theintensionalaspects, such as space consumption and evaluation order, are harder to understand.From theCambridge English CorpusOn a more general level, the definition and study of our framework is somewhat complicated by our use of anintensionaltype theory.From theCambridge English CorpusHowever, theintensionalstructure of powerful notion of induction that is used in the following arguments.From theCambridge English Corpus

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.