Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,849,630 papers from all fields of science
Search
Sign In
Create Free Account
Defunctionalization
In programming languages, defunctionalization refers to a compile-time transformation which eliminates higher-order functions, replacing them by a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Abstract machine
Closure (computer programming)
Compile time
Control flow analysis
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Adding Variety to Simplicity
Nachiappan Valliappan
,
Solène Mirliaz
,
Elisabet Lobo Vesga
,
Alejandro Russo
Leveraging Applications of Formal Methods
2018
Corpus ID: 53115836
Simplicity is a Turing-incomplete typed combinator language for smart contracts with a formal semantics. The design of Simplicity…
Expand
2018
2018
Defunctionalization of Higher-Order Constrained Horn Clauses
Long H. Pham
,
S. Ramsay
,
C. Ong
arXiv.org
2018
Corpus ID: 52941190
Building on the successes of satisfiability modulo theories (SMT), Bj{\o}rner et al. initiated a research programme advocating…
Expand
2017
2017
EFFECT NANOCLAY ADDITION ON THE COMPATIBILITY AND DIFFUSION PROPERTIES OF COMMERCIAL GASOLINE THROUGH POLYMER MEMBRANES
J. Sloan
2017
Corpus ID: 13826221
In this work, we consider the effect of the addition of functionalized clay particles to a poly (tetramethylene oxide) (PTMO…
Expand
2015
2015
Proving properties of functional programs by equality saturation
S. Grechanik
Programming and computer software
2015
Corpus ID: 254898771
The present paper shows how the idea of equality saturation can be used to prove algebraic properties of programs written in a…
Expand
2013
2013
Aspect-Oriented Semantic Framework for Executable Models
D. Mouheb
,
Raha Ziarati
,
M. Debbabi
International Symposium on Theoretical Aspects of…
2013
Corpus ID: 9769550
Aspect-Oriented Modeling (AOM) has gained a lot of attention from researchers. It emerged as an appropriate paradigm to improve…
Expand
2011
2011
Elastomer surface energy modification applying oxygen and nitrogen plasma treatment with laser deactivation of the surface
Gorazd Golob
2011
Corpus ID: 117264633
Cilj doktorske teze je istraživanje povrsinske slobodne energije, hrapavosti i drugih svojstva povrsine NBR i EPDM ofsetnih…
Expand
2007
2007
State-transition machines, revisited
David A. Schmidt
High. Order Symb. Comput.
2007
Corpus ID: 3012667
Abstract History and context are given regarding the development of the WNF-machine, the first example of a Krivine machine.
2004
2004
On the Expressive Power of Extended Process Rewrite Systems
M. Kretínský
,
V. Rehák
,
J. Strejček
2004
Corpus ID: 7489511
We provide a unified view on three extensions of Process rewrite systems (PRS) and compare their and PRS's expressive power. We…
Expand
2003
2003
Time Equations for Lazy Functional (Logic) Languages
E. Albert
,
Josep Silva
,
G. Vidal
APPIA-GULP-PRODE
2003
Corpus ID: 8215557
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution…
Expand
1975
1975
Ureteral reimplantation. The effect of proximal urinary diversion and bladder defunctionalization in dogs.
Belman Ab
1975
Corpus ID: 77593348
: The results of two animal studies are presented in which ureteroneocystostomy is performed in the absence of urinary flow. No…
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