|
| |
| | NodeWorks - Encyclopedia: Applicative |
 | | Applicative refers to a language paradigm for classifying computer programming languages. | | | An applicative language is designed to support the development of programs as giving the result of a function of the combined variables. |
|
http://pedia.nodeworks.com/A/AP/APP/Applicative
|
|
| |
| | CSC 530 Lecture Notes Week 1 |
| | Viz., applicative languages stem from a foundation in mathematical logic, in which computing is based on a theory of recursive functions. | | | An applicative language is one in which the fundamental model of computation is based on the application of side-effect-free functions. | | | The distinction between applicative and imperative languages is one of the most fundamental distinctions in all of computer science. |
|
http://www.csc.calpoly.edu/~gfisher/classes/530/lectures/1.html
|
|
| |
| | [No title] |
| | According to the framework of Applicative and Cognitive Grammar (Desclés 1990, 1996) and Applicative Universal Grammar (Shaumyan 1998), the language analysis has to postulate three levels of representation: The phenotype level, where the particularly characteristics of natural languages are expressed (for example order of words, morphological cases, etc...). | | | The model of Applicative and Combinatory Categorial Grammar The model of Applicative and Combinatory Categorial Grammar (ACCG) falls under a paradigm of language analysis that allows a complete abstraction of grammatical structure from its linear representation due to the linearity of the linguistic signs and a complete abstraction of grammar from the lexicon. | | | This model is included in the general framework of Applicative and Cognitive Grammar with three levels of representation: (i) phenotype (concatened expressions); (ii) genotype (applicative expressions) ; (iii) the cognitive representations (meaning of linguistic predicates). |
|
http://www.uqtr.ca/~biskri/Personnel/articles/flairs2004.doc
|
|
| |
| | Alexandre Kimenyi's Website |
| | In Swahili the applicative suffix is marked by the vowel i or e depending on whether, the preceding vowel is mid or non-mid. | | | The discovery of the multiple applicative suffixes was made possible by the metatheory and by comparative grammar. | | | Within Relational Grammar, the complements of the applicative suffix, is seen as a promotion of oblique objects to the direct object status or a case of objectivization. |
|
http://kimenyi.com/kinyarwanda-applicatives-revisited.php
|
|
| |
| | Applicative Programming |
| | Applicative operators take a function as an input and apply it to the elements of a list. |
|
http://www.eas.asu.edu/~cse240/outline/lisp/applicative.html
|
|
| |
| | Patent 4251861 |
| | An applicative language may have a large number of primitives, but the computational requirements of all of them can be classified into three easily distinguishable categories. | | | It is another object of the present invention to directly and efficiently execute a predetermined class of applicative languages by providing an unbounded degree of parallelism in the execution of any user program. | | | That, however, can be done only after describing how the syntactic and semantic aspects of applicative languages are represented in the processor, because this representation determines, to a large extent, the capabilities the processor must have in order to act as an interpreter for applicative languages. |
|
http://www.freepatentsonline.com/4251861.html
|
|
| |
| | [No title] |
| | I've used "purely applicative" here to distinguish my system from a Joy style ("concatenative") system, which is also based on combinators in a way. | | | My point is only that purely applicative languages are worth considering seriously; actually, the best way I know of to found a system is with a purely applicative language. | | | The purely applicative programming language unlambda, based on combinators, uses ` instead of @ (actually, I fear that unlambda is not so pure, in that it has imperative I/O). |
|
http://lists.tunes.org/archives/tunes/2000-February.txt
|
|
| |
| | Debugging in Applicative Languages |
| | Fortunately, the same features of applicative languages that cause problems for traditional debugging also support an idiomatic applicative style of programming, and effective debugging techniques can be implemented using that style. | | | Applicative programming languages have several properties that appear to make debugging difficult. | | | This approach is more flexible, extensible and portable than debugging tools that require modification to the language implementation. |
|
http://www.dcs.gla.ac.uk/~jtod/papers/1987-Debug
|
|
| |
| | Persistent Applicative Heaps and Knowledge Bases |
| | The fact that the engine is applicative will increase the proportion of inaccessible cells in the workspace and therefore makes a copying strategy more optimal. | | | Thus it is primarily consideration of Artificial Intelligence as a long term objective which has determined the reflexive structure of the proposed system, and these considerations have also been influential in the choice of an applicative infrastructure with both virtual store management, object management and persistence hidden away at as low a level as possible. | | | The problem of knowledge representation and its relation to various "type systems" is discussed. |
|
http://www.rbjones.com/rbjpub/rbjcv/papers/wp32.htm
|
|
| |
| | Computing Languages List |
| | The algorithm is hidden in the semantics of the language. | | | PROCEDURAL LANGUAGES- which states how to compute the result of a given problem.Each statement in the language tells the computer to do something.A procedural program is "a list of instructions". | | | FUNCTIONAL LANGUAGES- in the narrow sense, operates on higher-order functions, building operators that manipulate functions directly without ever appearing to manipulate the data. |
|
http://www.hypernews.org/HyperNews/get/computing/lang-list.html
|
|
| |
| | Logic Seminar Abstracts |
| | The article is concerned with the study of (unramified) bounded applicative theories which have a strong relationship to classes of computational complexity. | | | Abstract (adapted from the author's abstract): The article is concerned with the study of (unramified) bounded applicative theories which have a strong relationship to classes of computational complexity. | | | New applicative systems [based on an untyped partial combinatory algebra] are proposed whose provably recursive functions conicide with the functions computable in polynomial time, polynomial space, polynomial time and linear space, as well as linear space. |
|
http://www-logic.stanford.edu/Abstracts/Seminar/Winter01.html
|
|
| |
| | Gevey Lexicon |
| | register: general [object, applicative] â.so.vuu â.sov [from: âs] | | | register: informal [object, applicative] â.slodh.zda.nuu â.slodh.zdant ~ used for particular memories [from: sloth zdan] | | | register: general [object, applicative] âgh.blaj.li.yoo.kuu âgh.blaj.li.yook [from: blajl yook] |
|
http://kalieda.org/gevey/lexicon.php?action=list&letter=a
|
|
| |
| | applicative |
| | Sometimes used loosely for any declarative language though logic programming languages are declarative but not applicative. | | | ["An Applicative Real-Time Language for DSP - Programming Supporting Asynchronous Data-Flow Concepts", M. Freericks in Microprocessing and Microprogramming 32, N-H 1991]. | | | Nearby terms: Application Visualisation System « applicative language « Applicative Language for Digital Signal Processing « applicative order reduction » APPLOG » APPN » approximation algorithm |
|
http://www.linuxguruz.com/foldoc/foldoc.php?applicative
|
|
| |
| | "Process-oriented Applicative Programming" |
| | Graduiertenkolleg 'Kommunikationsbasierte Systeme' (a post-graduate program on communication-based systems).) is the attempt of an integration of process-oriented and applicative programming aiming for a practical useful programming language. | | | As a side effect we will see that some of the models can be simulated as a modular extension of a modern purely applicative language, such as OPAL. | | | We begin with the design of a process model, that is as far as possible compatible to applicative concepts and supports an adequate modelling of a variety of concurrent system structures. |
|
http://uebb.cs.tu-berlin.de/~thofra/papers/TR93-19-tf.html
|
|
| |
| | Beyond Alternations: A Constructional Model of the German Applicative Pattern |
| | First, while many applicative verbs have transparent base forms, many, including those coined from nouns, do not. | | | Using corpus data from a diverse array of genres, Michaelis and Ruppenhofer propose a unified solution to these two puzzles within the framework of Construction Grammar. | | | These facts suggest that applicative formation is not appropriately modeled as a lexical rule. |
|
http://csli-publications.stanford.edu/site/1575863308.html
|
|
| |
| | [AC1995] Effective Applicative Structures |
| | @inproceedings{AC95CTCS, volume = {953}, title = {Effective Applicative Structures}, editors = {D.Pitt and D.E. Rydeheard}, year = {1995}, booktitle = {Proceedings of the sixth biennal conference on Category Theory in Computer Science (CTCS'95)}, pages = {81-95}, publisher = {}, author = {A. Asperti and A. Ciabattoni}, series = {Lectures Notes in Computer Science}, } |
|
http://www.logic.at/dmgfg2-pub/entry-AC95CTCS.html
|
|
| |
| | Publications |
| | Kladias, TheCOVENproject: exploring applicative, technical and usage dimensions of collaborativevirtual environments, Presence: teleoperators and virtual environments,MIT Press, Vol.8, No2, 1999, pp.218-236. |
|
http://ligwww.epfl.ch/~thalmann/publi.html
|
|
| |
| | Publications at VRlab |
| | Magnenat-Thalmann, S. Raupp-Musse,T. Rodden, M. Slater, G. Smith, A. Steed, D. Thalmann, J. Tromp, M. Usoh,G. Van Liempd, N. Kladias, The COVEN project: exploring applicative, technical and usage dimensions of collaborative virtual environments, Presence: teleoperators and virtual environments, MIT Press, Vol.8, No2, 1999, pp.218-236. |
|
http://vrlab.epfl.ch/Publications/publications_front_index.html
|
|
| |
| | applicative - OneLook Dictionary Search |
| | applicative : WordNet 1.7 Vocabulary Helper [home, info] | | | Phrases that include applicative: applicative language, applicative language for digital signal processing, applicative order reduction, constant applicative form, kent applicative operating system | | | Tip: Click on the first link on a line below to go directly to a page where "applicative" is defined. |
|
http://www.onelook.com/cgi-bin/cgiwrap/bware/dofind.cgi?word=applicative
|
|
| |
| | [Haskell] Applicative translucent functors in Haskell |
| | A few months ago Ken Shan showed a complete translation of that language into System Fw: http://www.eecs.harvard.edu/~ccshan/xlate/ Ken Shan has concluded that languages based on Fw, such as Haskell with common extensions, already support higher-order modular programming. | | | The functor SETF is also applicative -- if Ord1 == Ord2, then SETF(Ord1) == SETF(Ord2). | | | The functor SETF is therefore translucent -- the user can see SET.element (if he can see ORD.el) -- but SET.set is hidden. |
|
http://www.haskell.org/pipermail/haskell/2004-August/014463.html
|
|
| |
| | applicative bisimulation |
| | My recent Cambridge PhD thesis may be of interest. | | | In it I define a small functional language and on it a typed form of applicative bisimulation. | | | We study two senses of operational equivalence, one of which is a form of Abramsky's applicative bisimulation, and show them to be congruences. |
|
http://www.cis.upenn.edu/~bcpierce/types/archives/1993/msg00111.html
|
|
| |
| | boot, applicative program and interrupts |
| | My boot program doesn't used any interrupt, but my applicative downloaded program use them. | | | Well and when you link your programs, you have to tell the linker to place the relocatable objects in the area over 1000H. | | | NB:MyITx() function is fixed in address 40x0H with linker directive |
|
http://www.keil.com/discuss/docs/thread717.htm
|
|
| |
| | Merriam-Webster Online |
| | Now you can take the Eleventh Edition with you anywhere as Franklin's new Speaking Electronic Handheld! | | | For More Information on "applicative" go to Britannica.com | | | Get the Top 10 Search Results for "applicative" |
|
http://www.m-w.com/cgi-bin/dictionary?book=Dictionary&va=applicative
|
|
| |
| | applicatives.html |
| | There are, of course, many other languages which have applicative constructions which I know of. | | | One of my most important ongoing research projects is the study of applicative constructions. | | | And there are surely many other languages with applicative constructions which I do not know about. |
|
http://email.eva.mpg.de/~peterson/applicatives.html
|
|
| |
| | Kent Applicative Operating System - free-definition |
| | The Kent Applicative Operating System was a functional operating system concept to utilise dynamic process creation and inter-process communication. | | | The system is based on earlier work by Will R. Stoye. | | | HTML tag to link this keyword on your website: Kent Applicative Operating System |
|
http://www.free-definition.com/KAOS.html
|
|
| |
| | Chiesa evangelica valdese - The applicative text of Joint text for the interchurch families of Roman Catholic and ... |
| | The object of the Joint Text is to tackle the different aspects of the problem, proffering an acceptable solution to both churches without infringing the spirit of the respective marriage regulations, which moreover, have undergone considerable changes favourable to ecumenical understanding, since 1970. | | | The following "Applicative Text", made up of an introduction and 8 chapters, with a total of 52 paragraphs, is the result of this exacting task, which deeply involved the members of the two commissions. | | | This freedom, which concerns the choice of the marriage ceremony, the community in which the couple decide to baptize their children and the kind of spiritual upbringing they choose to give them, will be expressed in mutual decisions which both faith communities should accept without putting obstacles in their way. |
|
http://www.chiesavaldese.org/english/pages/documents/txt_applicat_en.html
|
|
| |
| | Verb applicative - Wikipedia, the free encyclopedia |
| | Tagalog, like other Filipino languages, has a curious system (called a trigger system) that allows multiple kinds of applicatives on verbs to specify different roles for the main argument. | | | This page was last modified 21:05, 14 May 2005. | | | Over US$180,000 has been donated since the drive began on 19 August. |
|
http://en.wikipedia.org/wiki/Verb_applicative
|
|
| |
| | MEGA - Business Process Analysis and Enterprise Architecture Solutions |
| | MEGA IT city mapping UML modeling and design tool Business Process Modeling and Management Enterprise Application Integration EAI Intelligent Transport System ITS IT city mapping UML modeling and design tool Business Process Modeling and Management Enterprise Application Integration EAI Intelligent Transport System ITS | | | MEGA cartographie applicative outil de développement UML modélisation processus entreprise intégration application EAI conseil organisation systèmes d'information cartographie applicative Outil de développement UML modélisation processus entreprise Intégration application EAI conseil organisation systèmes d'information |
|
http://www.mega.com
|
|
| |
| | Re: [Haskell] Applicative translucent functors in Haskell |
| | Re: [Haskell] Applicative translucent functors in Haskell Chung-chieh Shan | | | Re: [Haskell] Applicative translucent functors in Haskell Tomasz Zielonka | | | RE: [Haskell] Applicative translucent functors in Haskell Simon Peyton-Jones |
|
http://www.mail-archive.com/haskell@haskell.org/msg15251.html
|
|
| |
| | Mary Ruth Wise |
| | Universitet Leiden: Research School of Asian, African, and Amerindian Studies. | | | “Applicative affixes in Peruvian Amazonian languages.” In Mily Crewels, Simon van de Kerke, Sérgio Meira, Hein van der Voort, eds. |
|
http://www.sil.org/sil/roster/wise_maryruth.htm
|
|
|
