Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,668,860 papers from all fields of science
Search
Sign In
Create Free Account
Applicative programming language
Known as:
Applicative
, Applicative language
, Applicative programming
In the classification of programming languages, an applicative programming language is designed to support the development of programs as giving the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
ACL2
Applicative computing systems
Applicative universal grammar
Common Lisp
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Rapid estimation of notch stress intensity factors in 3D large-scale welded structures using the peak stress method
A. Campagnolo
,
G. Meneghetti
2018
Corpus ID: 73617525
The Peak Stress Method (PSM) is an engineering, FE-oriented application of the notch stress intensity factor (NSIF) approach to…
Expand
2014
2014
Open research issues on Computational Techniques for Financial Applications
F. Neri
2014
Corpus ID: 155310617
We present in the following the state of the art for computational techniques for financial applications both from the…
Expand
2012
2012
K-Periodic schedules for evaluating the maximum throughput of a Synchronous Dataflow graph
Bruno Bodin
,
Alix Munier Kordon
,
B. Dinechin
International Conference / Workshop on Embedded…
2012
Corpus ID: 15281517
Synchronous Dataflow graphs, introduced by Lee and Messerschmitt in 1987, are a well-known formalism commonly used to model data…
Expand
2007
2007
Collective Annotation: Perspectives for Information Retrieval Improvement
G. Cabanac
,
M. Chevalier
,
C. Chrisment
,
C. Julien
RIAO Conference
2007
Corpus ID: 3173915
Nowadays we enter the Web 2.0 era where people's participation is a key principle. In this context, collective annotations enable…
Expand
Highly Cited
2004
Highly Cited
2004
Cross-linguistic and cross-categorial variation of datives*
E. Anagnostopoulou
2004
Corpus ID: 55302126
This paper investigates goal and beneficiary arguments introduced by the preposition se in Greek. I argue that dative arguments…
Expand
Highly Cited
2000
Highly Cited
2000
Phases and the syntax of applicatives
M. McGinnis
2000
Corpus ID: 17266678
Until recently, cross-linguistic differences in the syntax of applicative constructions have been attributed to arbitrary…
Expand
1994
1994
On absolute stability of neural networks
M. Forti
,
A. Liberatore
,
S. Manetti
,
M. Marini
International Symposium on Circuits and Systems
1994
Corpus ID: 37819533
The aim of this paper is to discuss the role of Absolute Stability (ABST) in the design of neural optimization solvers and to…
Expand
1994
1994
Predicative Recurrence in Finite Types
D. Leivant
Symposium on Logical Foundations of Computer…
1994
Corpus ID: 44855265
We consider the functionals defined using an extension to higher types of predicative recurrence, introduced in [Lei90b, BC92…
Expand
1992
1992
Modeling data flow and control flow for high level memory management
M.F.X.B. van Swaaij
,
F. Franssen
,
F. Catthoor
,
H. de Man
[] Proceedings The European Conference on Design…
1992
Corpus ID: 12302596
The goal of this paper is to advocate a control flow independent modeling of data flow in applicative algorithm specifications…
Expand
1992
1992
The Sprite Input Language-an intermediate format for high level synthesis
T. Krol
,
J. van Meerbergen
,
C. Niessen
,
W. Smits
,
J. Huisken
[] Proceedings The European Conference on Design…
1992
Corpus ID: 61240423
Describes a simple and powerful input language (intermediate format) for high level synthesis. The language belongs to the class…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE