「Semantics」の共起表現一覧(1語左で並び替え)
該当件数 : 278件
| A | semantics is a mathematical characterization of a poss |
| ing the same month the UML Partners formed a | Semantics Task Force, chaired by Cris Kobryn, to final |
| More abstract | semantics are then derived; for instance, one may cons |
| With Peter Mosses he developed action | semantics, a combination of denotational semantics, op |
| Action | Semantics aims to be pragmatic. |
| Action | semantics is a framework for the formal specification |
| The Action | Semantics framework was originally developed at the Un |
| r a highly efficient implementation of Actor | semantics. |
| It happens that defining Actor | semantics as in Clinger [1981] does not require solvin |
| , Joachim (1971), Torsion theories, additive | semantics, and rings of quotients, With an appendix by |
| They are also related to Heyting algebra | semantics in intuitionistic logic. |
| l modal algebras is the equivalent algebraic | semantics of the modal logic K in the sense of abstrac |
| e of denotational, operational and algebraic | semantics. |
| In mathematical logic, algebraic | semantics is a formal semantics based on algebras stud |
| n programming language theory, the algebraic | semantics of a programming language is a form of axiom |
| alternative | semantics of default logic; |
| a formal language that provides a syntax and | semantics for the Web Service Modeling Ontology (WSMO) |
| -readable and intuitive, but the nesting and | semantics of the XML document are still clear. |
| ther areas of linguistics such as syntax and | semantics. |
| uropean language (PIE), their morphology and | semantics, have been reconstructed by modern linguists |
| Newsqueak's syntax and | semantics are influenced by the C language, but its ap |
| introduced his adaptive Universal Syntax and | Semantics Analyzer (USSA) in 1992. |
| al basis, i.e. they have a formal syntax and | semantics, and can be mapped to an existing formal lan |
| etical computer science (lambda-calculus and | semantics) and higher dimensional algebra. |
| ended to specify the encoding, structure and | semantics of a patient summary clinical document for e |
| will associate the same characteristics and | semantics with the modeling elements to ensure models |
| S defines a system architecture, syntax, and | semantics for representation of presence information a |
| nguage are used to represent both syntax and | semantics, and function is assigned in hard to grasp w |
| der it possible to comprehend the syntax and | semantics of both kinds of language within a single na |
| Program Verification and | Semantics: Further Work (2004) |
| tics, philosophy of mind and psychology, and | semantics. |
| ilored to expose the topics, terminology and | semantics of individual document collections. |
| The syntax and | semantics of the language are explicit in the behavior |
| Its syntax and | semantics are based on procedural (imperative) and fun |
| Steve Reeves, Revising Z: Part I - Logic and | Semantics. |
| ng languages conform to rules for syntax and | semantics. |
| tics up to phonology, morphology, syntax and | semantics. |
| Superstructure that defines the notation and | semantics for diagrams and their model elements |
| The syntax and | semantics of concatenative languages form the algebrai |
| fer from the original one on both syntax and | semantics. |
| primarily concerned with syntax, grammar and | semantics of programming languages. |
| d operations on a type, including syntax and | semantics. |
| is a framework for describing the syntax and | semantics of natural languages. |
| and STEP-NC aim to build the information and | semantics into the tool. |
| However, many believed that the syntax and | semantics of table:formula was not defined in sufficie |
| ge, and utilizes most of the same syntax and | semantics. |
| mn, in which he comments on how language and | semantics influence culture and political discourse. |
| spreadsheet functions, including syntax and | semantics, should be created to augment these examples |
| for further processing, but does not assign | semantics to the element types or establish expectatio |
| to A(I,K), assuming the multiple assignment | semantics are left to right. |
| ved recursive descent parser that associates | semantics with tokens instead of grammar rules. |
| bed, and SDT provides a simple way to attach | semantics to any such syntax. |
| ink this is incredibly disingenuous to bandy | semantics by calling it so. |
| anguage (especially the relationship between | semantics and syntax), but he claims, "I'm probably be |
| Political Philosophy, Philosophy of Biology, | Semantics, Critical Race Theory and Postcolonialism. |
| gramming language) is a future with blocking | semantics as defined above. |
| an example of the usefulness of categorical | semantics. |
| litigation against such companies as Circuit | Semantics, Inc. (CSI), Technology Modeling Associates, |
| pers and articles on his theory of cognitive | semantics, first called Three-Dimensional Semantics an |
| s spurred on by the development of Cognitive | Semantics, beginning in 1975 and extending through the |
| UDC from DDC: an emphasis on a compositional | semantics that allows new items to be expressed in ter |
| The combination of a compositional | semantics with a syntax that mirrors such a semantics |
| ge, since each of them has its own concepts, | semantics and terminology; the term may not even be ap |
| For instance, the concrete | semantics of an imperative programming language may as |
| ations that exist in the industry containing | semantics compatible with leading business process mod |
| of values or Types of objects with deep copy | semantics. |
| scheme which forms the basis of the Crystal | Semantics technology upon which certain products for t |
| re David Crystal was a co-founder of Crystal | Semantics Limited. |
| of Language (1964) and Harman and Davidson's | Semantics of Natural Language (1972). |
| into consideration when defining the default | semantics of the feature. |
| theory of discourse interpretation, Default | Semantics, in which she breaks away from the tradition |
| Default | Semantics: Foundations of a Compositional Theory of Ac |
| iding a common interface usable for defining | semantics applicable toward arbitrary language binding |
| issue in the development of the denotational | semantics of concurrency, and later became part of res |
| In denotational | semantics an object function f : A → B can be modelled |
| both functional programming and denotational | semantics. |
| A denotational | semantics guarantees the soundness of this definition. |
| It shows how denotational | semantics, operational semantics and algebraic semanti |
| Selinger gives a denotational | semantics for these languages in a category of superop |
| He was one of the founders of denotational | semantics, and a pioneer in programming language desig |
| Denotational | semantics concerns itself with finding more appropriat |
| ience, where T0 spaces occur in denotational | semantics. |
| ves two operations, with simple denotational | semantics defined in terms of lambda calculus. |
| grammars can be understood as a denotational | semantics where the target language is simply the orig |
| OWL Full is based on a different | semantics from OWL Lite or OWL DL, and was designed to |
| e two separate statements may have different | semantics (especially with respect to statement trigge |
| t-) of each operator with slightly different | semantics. |
| I have no interest in discussing | semantics with you. |
| tain application-specific or domain-specific | semantics. |
| The appeal of this approach is the elegant | semantics: a change in the axioms has a well-defined c |
| and Sons of Beaches together with their EP, | Semantics. |
| ming language with throw and catch exception | semantics much like in ML. |
| so interpret the model to provide executable | semantics and perform complex analyses. |
| programming language isolates the execution | semantics of a computer architecture from the specific |
| ecifying the new language features execution | semantics in terms of simple instructions: basic actio |
| level adds expressibility to the expression | semantics, but either loses some desirable property or |
| d to assume the server to have crash failure | semantics. |
| o assume the server to have omission failure | semantics. |
| Failure | Semantics is a concept used in distributed computing t |
| Formal | semantics: Description by mathematics. |
| Formal | Semantics for VHDL, pp. |
| he original, relative to a particular formal | semantics and in fewer cases the transformations resul |
| Main article: Formal | semantics of programming languages |
| In the formal | semantics of programming languages, two terms M and N |
| s one of the founders of contemporary formal | semantics. |
| he study of interpretations is called formal | semantics. |
| Main articles: Formal | semantics (logic) and Interpretation (logic) |
| Well-defined formal | semantics and support for formal analysis |
| Standard ML, a dialect of ML with a formal | semantics |
| The formal | semantics of CTL* formulae are defined with respect to |
| f the OWL family have model theoretic formal | semantics, and so have strong logical foundations. |
| Vereofy uses constraint automata as formal | semantics for the components behavior and for Reo Coor |
| tions in the study of modal logic and formal | semantics, and is author of Modal Logic for Philosophe |
| Aside from formal | semantics, attribute grammars have also been used for |
| The formal | semantics of a language is given by a mathematical mod |
| g Z: A Specification Language and its Formal | Semantics, Cambridge University Press, Cambridge Tract |
| rrectness of the program based on the formal | semantics of program statements. |
| ing environment, the colors simplify Forth's | semantics, speed compiling, and are said to aid Moore' |
| FP84's | semantics is embodied in an underlying algebra of prog |
| In the standard or full | semantics, quantifiers over higher-type objects range |
| , algorithm interchangeability, and function | semantics. |
| Functional | Semantics: A Theory of Meaning, Structure and Tense in |
| ed a leading role in the development of game | semantics, and its applications to the semantics of pr |
| veloper of domain theory in logic form, game | semantics and categorical quantum mechanics |
| tive topos (within topos theory) and on game | semantics. |
| These models are based on game | semantics (Hyland and Ong, 2000; Abramsky, Jagadeesan, |
| The game-theoretic | semantics for FOL treats a FOL formula as a game of pe |
| ment of bunched logic has been given a games | semantics. |
| d Korzybski founded the Institute of General | Semantics at the former Richardson mansion in Lime Roc |
| aught English, creative writing, and general | semantics at San Francisco State College, where he was |
| Not to be confused with General | semantics. |
| (1879-1950) founded the Institute of General | Semantics at a country estate in the Salisbury hamlet |
| Ghinnawa | semantics are well-defined only in context, because of |
| n both Hindi and English, about the grammar, | semantics, and dialectology of Hindi. |
| y Chomskyan linguistics, phonology, grammar, | semantics. |
| In particular, HOL with Henkin | semantics has all the model-theoretic properties of fi |
| In Henkin | semantics, a separate domain is included in each inter |
| McDowell, eds., Truth and Meaning: Essays in | Semantics, Oxford University Press, 1976. |
| His interests include | semantics, reference, naturalism, and relativism. |
| ntactic approach, which does not incorporate | semantics of the assertions. |
| ther related dialects, their interpretation, | semantics, and compilation and contains code for 11 in |
| the language (including a description of its | semantics) for a subset of Modula-2. |
| Although deriving much of its | semantics from Scheme and other Lisps-some implementat |
| the COMEFROM statement and an expert on its | semantics. |
| In Kripke | semantics for relevant logic, the implication operator |
| tegorical models corresponding to the Kripke | semantics. |
| Natural Language | Semantics Markup Language is a markup language for pro |
| a formal description of programming language | semantics, typically using denotational semantics. |
| In programming language | semantics, normalisation by evaluation (NBE) is a styl |
| tion of continuation in programming language | semantics. |
| e grammar is an approach to natural language | semantics, named after American logician Richard Monta |
| Natural Language | Semantics Markup Language is currently a World Wide We |
| ifically: Computational linguistics, Lexical | semantics, Knowledge representation, temporal reasonin |
| Morphology and lexical | semantics. |
| roposed Generative Lexicon theory in lexical | semantics. |
| hology interface, and morphology and lexical | semantics. |
| Linguistic | Semantics: An introduction (1995) |
| It had largely Lisp-like | semantics and Algol 60-like syntax. |
| It has first-order logic | semantics, and includes machinery for reasoning, inclu |
| orithm development through open mathematical | semantics standardization. |
| carried out in Carl Hewitt's Message-Passing | Semantics Group at Massachusetts Institute of Technolo |
| amming system, implementing the stable model | semantics under the Answer set programming paradigm. |
| th continuous-time and event-driven modeling | semantics, and so is suitable for analog, digital, and |
| Natural | semantics (or big-step semantics) ... |
| ctional programming language with non-strict | semantics. |
| multiple inheritance, with novel | semantics |
| ent in that BPDM provides a specification of | semantics integrated in a metamodel, and it includes a |
| Regardless of | semantics, nothing came of the week at Goodison Park, |
| The cognitive linguistics view of | semantics is that any definition of a word ultimately |
| The Journal of | Semantics is a leading international peer-reviewed jou |
| protocarnivorous is essentially a matter of | semantics. |
| ency grammars in that it is also a theory of | semantics (information). |
| d Sense Development, a non-technical work on | semantics. |
| nglish linguist, most famous for his work on | semantics. |
| Their work has spawned work on | semantics, connections between classical logic and com |
| essor Victor Raskin, a father of ontological | semantics and noted international authority in the fie |
| tion mix from the disciplines of ontological | semantics, fuzzy logic, computational linguistics, and |
| a de facto standard in defining operational | semantics. |
| e when extending denotational or operational | semantics, which may require reformulation of the enti |
| f the search tree and produce an operational | semantics that is more efficient than Prolog's resolut |
| oriented and inductive, view on operational | semantics. |
| graphs by extending the typical operational | semantics to manipulate and use them. |
| An operational | semantics that does not require programs to be accompa |
| A Structural Approach to Operational | Semantics by G.D. Plotkin (1981) |
| r his introduction of structural operational | semantics (SOS) and his work on denotational semantics |
| To prove that a particular operational | semantics for a language satisfies the logical formula |
| otes on A Structural Approach to Operational | Semantics of 1981 were very influential. |
| ut transition systems as used in operational | semantics. |
| his research in type theory and operational | semantics. |
| mally defined using a structured operational | semantics in the style invented by Gordon Plotkin. |
| a-3 is defined with a structured operational | semantics and with a set of static type rules. |
| CSP possesses a formally defined operational | semantics, which includes an embedded functional progr |
| ALF's operational | semantics is based on the resolution rule to solve lit |
| can therefore provide different meaning, or | semantics, for an operation, as well as differing impl |
| two objects, especially systems of axioms or | semantics for them, are called cryptomorphic if they a |
| MSC propose a weak partial ordering | semantics that makes it impossible to capture some beh |
| ting to Object ^ will remove the overloading | semantics. |
| ing and four are language skills: phonology, | semantics, syntax and discourse. |
| The most precise | semantics, describing very closely the actual executio |
| g Theories of Programming deals with program | semantics. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
