「Semantics」の共起表現一覧(2語右で並び替え)
該当件数 : 229件
| the language (including a description of its | semantics) for a subset of Modula-2. |
| programming language isolates the execution | semantics of a computer architecture from the specific |
| The possibility of giving a type-erasure | semantics is a kind of abstraction principle, ensuring |
| ended to specify the encoding, structure and | semantics of a patient summary clinical document for e |
| ge specifications has been influenced by the | semantics of a test suite (eg, in the past the specifi |
| ic link to be any type of file) and have the | semantics of a hardlink (i.e., they must be immediatel |
| to an immutable object behaves with the same | semantics as a value type variable-for example, in bot |
| 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 |
| To prove that a particular operational | semantics for a language satisfies the logical formula |
| t whose expertise includes modals, situation | semantics, and a range of topics relating to the synta |
| Action | semantics is a framework for the formal specification |
| The combination of a compositional | semantics with a syntax that mirrors such a semantics |
| The Journal of | Semantics is a leading international peer-reviewed jou |
| of representation which fully determines the | semantics of a sentence. |
| A | semantics is a mathematical characterization of a poss |
| He was one of the founders of denotational | semantics, and a pioneer in programming language desig |
| Failure | Semantics is a concept used in distributed computing t |
| The formal | semantics of a language is given by a mathematical mod |
| (1879-1950) founded the Institute of General | Semantics at a country estate in the Salisbury hamlet |
| e grammar is an approach to natural language | semantics, named after American logician Richard Monta |
| It had largely Lisp-like | semantics and Algol 60-like syntax. |
| In particular, HOL with Henkin | semantics has all the model-theoretic properties of fi |
| UDC from DDC: an emphasis on a compositional | semantics that allows new items to be expressed in ter |
| The well-founded | semantics is also a way of making safe inferences in t |
| For instance, the concrete | semantics of an imperative programming language may as |
| can therefore provide different meaning, or | semantics, for an operation, as well as differing impl |
| Main articles: Formal | semantics (logic) and Interpretation (logic) |
| r his introduction of structural operational | semantics (SOS) and his work on denotational semantics |
| ing and four are language skills: phonology, | semantics, syntax and discourse. |
| , phonetics, morphology, syntax, vocabulary, | semantics, pragmatics, and sociolinguistics. |
| These models are based on game | semantics (Hyland and Ong, 2000; Abramsky, Jagadeesan, |
| bed, and SDT provides a simple way to attach | semantics to any such syntax. |
| men A flies during the day, the well-founded | semantics would assign the proposition ``specimen A is |
| Semantic matching attempts to use | semantics to associate target data with registered dat |
| carried out in Carl Hewitt's Message-Passing | Semantics Group at Massachusetts Institute of Technolo |
| Its syntax and | semantics are based on procedural (imperative) and fun |
| ALF's operational | semantics is based on the resolution rule to solve lit |
| spreadsheet functions, including syntax and | semantics, should be created to augment these examples |
| uropean language (PIE), their morphology and | semantics, have been reconstructed by modern linguists |
| Their work has spawned work on | semantics, connections between classical logic and com |
| Natural | semantics (or big-step semantics) ... |
| der it possible to comprehend the syntax and | semantics of both kinds of language within a single na |
| The | semantics of bunched logic can be given in terms of Kr |
| Formal | semantics: Description by mathematics. |
| In programming language | semantics, normalisation by evaluation (NBE) is a styl |
| ct interpretation consists in giving several | semantics linked by relations of abstraction. |
| pers and articles on his theory of cognitive | semantics, first called Three-Dimensional Semantics an |
| ink this is incredibly disingenuous to bandy | semantics by calling it so. |
| Regardless of | semantics, nothing came of the week at Goodison Park, |
| al basis, i.e. they have a formal syntax and | semantics, and can be mapped to an existing formal lan |
| fact, circumscription is one of the several | semantics that can be given to negation as failure, an |
| veloper of domain theory in logic form, game | semantics and categorical quantum mechanics |
| The appeal of this approach is the elegant | semantics: a change in the axioms has a well-defined c |
| r debate is raging today between traditional | semantics and cognitive linguistics, over the view whe |
| With Peter Mosses he developed action | semantics, a combination of denotational semantics, op |
| ther related dialects, their interpretation, | semantics, and compilation and contains code for 11 in |
| ing environment, the colors simplify Forth's | semantics, speed compiling, and are said to aid Moore' |
| The syntax and | semantics of concatenative languages form the algebrai |
| issue in the development of the denotational | semantics of concurrency, and later became part of res |
| The formal | semantics of CTL* formulae are defined with respect to |
| mn, in which he comments on how language and | semantics influence culture and political discourse. |
| tion of the World Wide Web with well-defined | semantics of data structures, which makes it easy for |
| nd technology for storing and retrieving the | semantics of data elements, terminologies, and concept |
| alternative | semantics of default logic; |
| gramming language) is a future with blocking | semantics as defined above. |
| ge is a programming language with syntax (or | semantics) sufficiently dense and bizarre that any rou |
| ality, restricted higher order logic (Henkin | semantics), restricted deontic and alethic modal logic |
| to a verbal structure; the arguments and the | semantics are determined by the N and the tense marker |
| Superstructure that defines the notation and | semantics for diagrams and their model elements |
| n both Hindi and English, about the grammar, | semantics, and dialectology of Hindi. |
| t, and *-s, are highly widespread, but their | semantics are difficult to reconstruct (Matisoff 2003: |
| An operational | semantics that does not require programs to be accompa |
| In many Wiki markup languages, the | semantics and effect of HTML <blockquote> is different |
| level adds expressibility to the expression | semantics, but either loses some desirable property or |
| FP84's | semantics is embodied in an underlying algebra of prog |
| "Moral | Semantics and Empirical Enquiry," Moral Psychology, ed |
| HOL with these | semantics is equivalent to many-sorted first-order log |
| He was also a part of the trio | Semantics, which explored complex overlapping rhythms |
| The game-theoretic | semantics for FOL treats a FOL formula as a game of pe |
| Hintikka further argues that the standard | semantics of FOL cannot accommodate IF logic because t |
| ing the same month the UML Partners formed a | Semantics Task Force, chaired by Cris Kobryn, to final |
| The | semantics of fork are that it creates a child process |
| hristi," in which he utilized "governmental" | semantics drawn from his training in law and his gener |
| nguage are used to represent both syntax and | semantics, and function is assigned in hard to grasp w |
| A Structural Approach to Operational | Semantics by G.D. Plotkin (1981) |
| Aside from formal | semantics, attribute grammars have also been used for |
| The well-founded | semantics, however, has a built-in mechanism to circum |
| As you can see, the | semantics of hierarchical state decomposition are desi |
| etical computer science (lambda-calculus and | semantics) and higher dimensional algebra. |
| romedia that proposed an integration of SMIL | semantics with HTML and CSS. |
| Semantics aside, I think that your version looks bette | |
| The same holds for the standard | semantics of IF logic, except that the games are of im |
| d) to define an "abstract variable" with the | semantics of imperative variables (namely, with fetch |
| ent in that BPDM provides a specification of | semantics integrated in a metamodel, and it includes a |
| he original, relative to a particular formal | semantics and in fewer cases the transformations resul |
| ves two operations, with simple denotational | semantics defined in terms of lambda calculus. |
| s spurred on by the development of Cognitive | Semantics, beginning in 1975 and extending through the |
| It happens that defining Actor | semantics as in Clinger [1981] does not require solvin |
| It has first-order logic | semantics, and includes machinery for reasoning, inclu |
| CSP possesses a formally defined operational | semantics, which includes an embedded functional progr |
| ilored to expose the topics, terminology and | semantics of individual document collections. |
| Newsqueak's syntax and | semantics are influenced by the C language, but its ap |
| "Structural | Semantics and Instrumental Music". |
| Linguistic | Semantics: An introduction (1995) |
| They are also related to Heyting algebra | semantics in intuitionistic logic. |
| f the search tree and produce an operational | semantics that is more efficient than Prolog's resolut |
| tions in the study of modal logic and formal | semantics, and is author of Modal Logic for Philosophe |
| ed a leading role in the development of game | semantics, and its applications to the semantics of pr |
| Denotational | semantics concerns itself with finding more appropriat |
| Commit or rollback | semantics, also known as strong exception safety or no |
| Natural Language | Semantics Markup Language is a markup language for pro |
| Natural Language | Semantics Markup Language is currently a World Wide We |
| to A(I,K), assuming the multiple assignment | semantics are left to right. |
| ming language with throw and catch exception | semantics much like in ML. |
| Structads are an approach to the | semantics of logic that are based upon generalising th |
| tion mix from the disciplines of ontological | semantics, fuzzy logic, computational linguistics, and |
| MSC propose a weak partial ordering | semantics that makes it impossible to capture some beh |
| graphs by extending the typical operational | semantics to manipulate and use them. |
| e when extending denotational or operational | semantics, which may require reformulation of the enti |
| cing a number of important techniques in the | semantics of model theory, most importantly presenting |
| 2.0 defines a mode of execution in which the | semantics are modified to be as close as possible to X |
| of Language (1964) and Harman and Davidson's | Semantics of Natural Language (1972). |
| nsible for popularizing this approach to the | semantics of natural languages among linguists, especi |
| is a framework for describing the syntax and | semantics of natural languages. |
| His interests include | semantics, reference, naturalism, and relativism. |
| Since Tarskian | semantics does not allow indeterminate truth values, i |
| essor Victor Raskin, a father of ontological | semantics and noted international authority in the fie |
| am changed from being based on state-machine | semantics to now being based on Petri net semantics. |
| In denotational | semantics an object function f : A → B can be modelled |
| f Objects, laying out formal calculi for the | semantics of object-oriented programming languages. |
| Default | Semantics: Foundations of a Compositional Theory of Ac |
| larity) may be based on either the reduction | semantics or on the labelled transition semantics. |
| In logic programming, the well-founded | semantics is one definition of how we can make conclus |
| puter to apply these rules; the well-founded | semantics is one of these ways. |
| l, The Navya-Nyaya Doctrine of Negation: The | Semantics and Ontology of Negative Statements in Navya |
| ciolinguistics, Phonetics/Phonology, Syntax, | Semantics, Pragmatics, Orthography, Historical linguis |
| In the standard or full | semantics, quantifiers over higher-type objects range |
| OWL Full is based on a different | semantics from OWL Lite or OWL DL, and was designed to |
| functional programming language with strict | semantics, implicit parallelism, and efficient array h |
| so interpret the model to provide executable | semantics and perform complex analyses. |
| Jackendoff takes syntax, | semantics and phonology all to be generative, connecte |
| Semantics and Pragmatics: Meaning in Language and Disc | |
| ocument presentations, that assigns specific | semantics and processing expectations to a fixed set o |
| 1993: Powerbill, The | Semantics (songwriter, producer, musician) |
| rrectness of the program based on the formal | semantics of program statements. |
| Main article: Formal | semantics of programming languages |
| The | Semantics of Programming Languages: An Elementary Intr |
| In the formal | semantics of programming languages, two terms M and N |
| primarily concerned with syntax, grammar and | semantics of programming languages. |
| rus" is a famous sentence in relation to the | semantics of proper names. |
| Political Philosophy, Philosophy of Biology, | Semantics, Critical Race Theory and Postcolonialism. |
| The rewrite | semantics for RCGs is rather simple, identical to the |
| In Kripke | semantics for relevant logic, the implication operator |
| This is the | semantics of remote promises in E. |
| S defines a system architecture, syntax, and | semantics for representation of presence information a |
| ifically: Computational linguistics, Lexical | semantics, Knowledge representation, temporal reasonin |
| , Joachim (1971), Torsion theories, additive | semantics, and rings of quotients, With an appendix by |
| aught English, creative writing, and general | semantics at San Francisco State College, where he was |
| Although deriving much of its | semantics from Scheme and other Lisps-some implementat |
| She co-wrote with Irene Heim the | semantics textbook Semantics in Generative Grammar, an |
| It shows how denotational | semantics, operational semantics and algebraic semanti |
| In Henkin | semantics, a separate domain is included in each inter |
| The | semantics is similar to English lord (from hlaford "br |
| th continuous-time and event-driven modeling | semantics, and so is suitable for analog, digital, and |
| f the OWL family have model theoretic formal | semantics, and so have strong logical foundations. |
| aluation, or McCarthy evaluation denotes the | semantics of some Boolean operators in some programmin |
| of Auckland, researcher on language syntax, | semantics and standardology. |
| currency, though the run-to-completion (RTC) | semantics of State machines limited the expressiveness |
| Extension mechanisms allow refining standard | semantics in strictly additive manner, so that they ca |
| ge in the UML family, designed to define the | semantics of subject matters precisely." |
| Well-defined formal | semantics and support for formal analysis |
| anguage (especially the relationship between | semantics and syntax), but he claims, "I'm probably be |
| However, many believed that the syntax and | semantics of table:formula was not defined in sufficie |
| ge, since each of them has its own concepts, | semantics and terminology; the term may not even be ap |
| ecifying the new language features execution | semantics in terms of simple instructions: basic actio |
| The cognitive linguistics view of | semantics is that any definition of a word ultimately |
| 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. |
| d Korzybski founded the Institute of General | Semantics at the former Richardson mansion in Lime Roc |
| independent modeling element may affect the | semantics of the dependent modeling element. |
| ntactic approach, which does not incorporate | semantics of the assertions. |
| ation, since bisimulation cannot capture the | semantics of the 'eventually' (or 'finally') operator |
| into consideration when defining the default | semantics of the feature. |
| "ANSI/ISO C leaves the | semantics of the wide character set to the specific im |
| will associate the same characteristics and | semantics with the modeling elements to ensure models |
| ISO/IEC 26300 specification states that the | semantics and the syntax is dependant on the used name |
| l modal algebras is the equivalent algebraic | semantics of the modal logic K in the sense of abstrac |
| s, in the case of Objective-C because of the | semantics of the #import directive, but more generally |
| for further processing, but does not assign | semantics to the element types or establish expectatio |
| A denotational | semantics guarantees the soundness of this definition. |
| o be efficiency gains that do not change the | semantics of the emitted object code. |
| The syntax and | semantics of the language are explicit in the behavior |
| Vereofy uses constraint automata as formal | semantics for the components behavior and for Reo Coor |
| mally defined using a structured operational | semantics in the style invented by Gordon Plotkin. |
| and STEP-NC aim to build the information and | semantics into the tool. |
| Thus, in standard | semantics, once the set of individuals is specified, t |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
