Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Applicative

Related Topics

In the News (Thu 21 Feb 19)

  Applicative Programming with Effects   (Site not responding. Last check: 2007-10-18)
We retrace our steps in this paper, introducing the applicative pattern by diverse examples, then abstracting it to define the Applicative type class and introducing a bracket notation which interprets the normal application syntax in the idiom of an Applicative functor.
Further, we develop the properties of applicative functors and the generic operations they support.
We close by identifying the categorical structure of applicative functors and examining their relationship both with Monads and with Arrows.
www.soi.city.ac.uk /~ross/papers/Applicative.html   (123 words)

 Definition of applicative - Merriam-Webster Online Dictionary
Learn more about "applicative" and related topics at Britannica.com
Find more about "applicative" instantly with Live Search
See a map of "applicative" in the Visual Thesaurus
www.m-w.com /cgi-bin/dictionary?book=Dictionary&va=applicative   (26 words)

  Beyond Alternations: A Constructional Model of the German Applicative Pattern
Alternations play a central role in most current theories of verbal argument structure, which are devised primarily to model the syntactic flexibility of verbs.
Second, applicative verbs are bound by interpretive and argument-realization conditions which cannot be traced to their base forms, if any.
Like verbs of transfer and location, the applicative construction has a prototype-based event-structure representation: diverse implications of applicative predications--including iteration, transfer, affectedness, intensity and saturation--are shown to derive via regular patterns of semantic extension from the topological concept of coverage.
cslipublications.stanford.edu /site/1575863308.html   (237 words)

  Alexandre Kimenyi's Website
The applicative morpheme is added in three predictable environments: (i) between the intensifier morpheme -iir- and the perfective aspect -ye, (ii) on causativized verbs with an applicative suffix, and verbs with the causative suffix -y- which end with the perfective aspect marker, including those which are mistakenly believed to have this causative morpheme.
The applicative suffix is added to the verb stem with the causative morpheme -iish- regardless of aspect if there is another applicative morpheme in the verb (applicative suffix doubling).
In Swahili the applicative suffix is marked by the vowel i or e depending on whether, the preceding vowel is mid or non-mid.
kimenyi.com /kinyarwanda-applicatives-revisited.php   (12689 words)

 Chiesa evangelica valdese - The applicative text of Joint text for the interchurch families of Roman Catholic and ...
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.
The applicative counselling of this document is based on the acknowledgement of the mutual rights and duties of both spouses,on the supportiveness of their churches, and, especially on the respect for the personal freedom of the future husband and wife.
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.
www.chiesavaldese.org /english/pages/documents/txt_applicat_en.html   (5085 words)

 Logic Seminar Abstracts   (Site not responding. Last check: 2007-10-18)
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.
New applicative systems [based on an untyped partial combinatory algebra] are proposed whose provably recursive functions coincide with the functions computable in polynomial time, polynomial space, polynomial time and linear space, as well as linear space.
The applicative systems in question were described at the Feb. 6 meeting, and the lower bound arguments were outlined.
www-logic.stanford.edu /Abstracts/Seminar/Winter01.html   (924 words)

 [No title]
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.
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...).
Applicative and Combinatory Categorial Grammar (ACCG), (Biskri and Desclés 1997) (Biskri and Delisle 1999), explicitly connects phenotype expressions to its underlain representations in the genotype (functional semantic interpretation).
www.uqtr.ca /~biskri/Personnel/articles/flairs2004.doc   (2608 words)

 [No title]
In fact, primitives are essential in a purely applicative system (Joy also relies heavily on primitives (like "dup", "swap", "dip", "map", etc.), rather than fancy constructs; this is in contrast to languages like C and even Haskell, which rely on myriads of fancy constructs).
A purely applicative approach is simpler in the sense that the only constructs needed are primitives and function-application, while the Joy approach needs at least primitives, concatenation, and quotation...
But, in a purely applicative system, this setup seems unnatural; functions are primitive in the system (having connections with the system's application construct) and do not need to be emulated using procedures.
lists.tunes.org /archives/tunes/2000-February.txt   (20665 words)

 CSC 530 Lecture Notes Week 1
Part of the applicative belief system is that applicative languages are a better vehicle for investigation of programming language principles than are imperative languages.
In contrast to an applicative language, functions in imperative languages often have side effects, and the assignment statement is a fundamentally important part of the language.
Viz., applicative languages stem from a foundation in mathematical logic, in which computing is based on a theory of recursive functions.
www.csc.calpoly.edu /~gfisher/classes/530/lectures/1.html   (3776 words)

 Patent 4251861
For further description and discussion of applicative languages reference is made to the Backus papers which are incorporated by reference although not fully set forth herein.
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.
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.
www.freepatentsonline.com /4251861.html   (16332 words)

 applicative bisimulation
I use Howe's method from LICS'89 to show that applicative bisimulation is a congruence, and then prove the validity of a collection of equational properties 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.
We prove equational laws that are analogous to the axiomatic domain theory of LCF and derive a co-induction principle.
www.cis.upenn.edu /~bcpierce/types/archives/1993/msg00111.html   (514 words)

 Verb applicative - Wikipedia, the free encyclopedia
A verb applicative is a morpheme that increases the valency of a verb by adding a new core argument to it.
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.
en.wikipedia.org /wiki/Verb_applicative   (106 words)

 Towards Applicative Relational Programming | Lambda the Ultimate
This 10-page 1992 article, Towards Applicative Relational Programming by Ibrahim and van Enden, has just appeared on ArXiv, which asked the question of how to combine functional and relational programming.
The treatment is nice, and is recommended to LtUers interested in having an arsenal of techniques for bridging the declarative divide.
This link gives me "Towards Applicative Relational Programming".
lambda-the-ultimate.org /node/1337   (760 words)

 Persistent Applicative Heaps and Knowledge Bases
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 fact that the engine is applicative will increase the proportion of inaccessible cells in the workspace and therefore makes a copying strategy more optimal.
Use of an applicative heap creates a high level of structure sharing (especially if old generations of the knowledge base are retained).
www.rbjones.com /rbjpub/rbjcv/papers/wp32.htm   (7215 words)

 applicative - OneLook Dictionary Search
Applicative : Online Plain Text English Dictionary [home, info]
Phrases that include applicative: applicative language for digital signal processing, applicative order, applicative order evaluation, applicative voice, verb applicative
Words similar to applicative: applicable, applicatively, applicatory, more...
www.onelook.com /cgi-bin/cgiwrap/bware/dofind.cgi?word=applicative   (153 words)

 [Haskell] Applicative translucent functors in Haskell
In fact, his paper showed a sample Haskell translation of the most complex and interesting ML module expression: a translucent, applicative functor.
Applications of an applicative functor to type compatible arguments yield type-compatible results.
Both functors are applicative, so that Set1 and Set2 are type compatible.
www.haskell.org /pipermail/haskell/2004-August/014463.html   (1729 words)

Applicative constructions, as I use the term, are productive valence-affecting constructions signalled by overt verbal morphology which involve treating a semantically peripheral object in a more central morphosyntactic (and sometimes discourse) way than would otherwise be expected for it.
In 1998, I designed a sample of languages with applicative constructions for use in a typological survey I conducted as a part of my dissertation (an abstract for the whole thing is here).
If you are a specialist in a language listed here, please contact me (peterson@eva.mpg.de), and I would be happy to send you a prose description of the parts of the language I survey for your consideration.
email.eva.mpg.de /~peterson/applicatives.html   (377 words)

 Process-oriented Applicative Programming   (Site not responding. Last check: 2007-10-18)
Subject of our work (The research for this work has been supported by the Deutsche Forschungsgemeinschaft (German Research Society) as part of a scholarship in the 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.
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.
For this purpose we are going to present and discuss the possibilities to express explicit process-oriented parallelism within existing applicative programming languages.
uebb.cs.tu-berlin.de /cgi/singlelit.cgi?citation=fra93a&   (219 words)

 Debugging in Applicative Languages   (Site not responding. Last check: 2007-10-18)
Applicative programming languages have several properties that appear to make debugging difficult.
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.
This approach is more flexible, extensible and portable than debugging tools that require modification to the language implementation.
www.dcs.gla.ac.uk /~jtod/papers/1987-Debug   (178 words)

 applicative   (Site not responding. Last check: 2007-10-18)
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
www.linuxguruz.com /foldoc/foldoc.php?applicative   (242 words)

 Computing Languages List
APPLICATIVE LANGUAGES- operates by application of functions to values.
The algorithm is hidden in the semantics of the language.
SINGLE ASSIGNMENT LANGUAGE- an applicative language using assignments with the convention that the variable may appear on the left side of an assignment only once within the portion of the program in which it is active.
www.hypernews.org /HyperNews/get/computing/lang-list.html   (17532 words)

 CSC 530 Lecture Notes Week 8
In case you're thinking that call-by-reference parameters and/or pointers might help, these are thrown out as well, as are for-loops, while-loops, and all other iteration constructs.
It is also useful as a vehicle to describe the meaning of both applicative and imperative programming.
It should be noted that Lisp's unusual invocation syntax has nothing whatsoever to do with applicativeness or imperativeness, though there is a good reason for it (and it's a reason you'll certainly appreciate in Assignment 6).
www.csc.calpoly.edu /~gfisher/classes/330/lectures/8.html   (1851 words)

If you register now this message and color will disappear, and ensure that you won't miss any of the unique Wordsmyth features you've come to enjoy.
Sorry, we could not find the word applicative.
In this case, we recommend you try this search at OneLook.
www.wordsmyth.net /live/home.php?script=search&matchtype=exact&matchent=applicative   (181 words)

 Re: [Haskell] Applicative translucent functors in Haskell
RE: [Haskell] Applicative translucent functors in Haskell Simon Peyton-Jones
Re: [Haskell] Applicative translucent functors in Haskell Tomasz Zielonka
Re: [Haskell] Applicative translucent functors in Haskell Chung-chieh Shan
www.mail-archive.com /haskell@haskell.org/msg15251.html   (159 words)

 applicative from FOLDOC
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
ftp.sunet.se /foldoc/foldoc.cgi?applicative   (230 words)

 Gevey Lexicon   (Site not responding. Last check: 2007-10-18)
register: general [object, applicative] âgh.blaj.li.yoo.kuu âgh.blaj.li.yook [from: blajl yook]
register: informal [object, applicative] â.slodh.zda.nuu â.slodh.zdant ~ used for particular memories [from: sloth zdan]
register: general [object, applicative] â.so.vuu â.sov [from: âs]
kalieda.org /gevey/lexicon.php?action=list&letter=a   (392 words)

Try your search on: Qwika (all wikis)

  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.