Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,541,825 papers from all fields of science
Search
Sign In
Create Free Account
S-expression
Known as:
S-expressions
, S-exp
, S expression
Expand
In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Arc (programming language)
Base64
Binary tree
Block (programming)
Expand
Broader (1)
Lisp
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Conditional Differential Cryptanalysis of Grain-128a
Michael Lehmann
,
W. Meier
Cryptology and Network Security
2012
Corpus ID: 13599603
Grain-128a is a new version of the stream cipher Grain-128. To analyse the security of the cipher, we study the monomial…
Expand
2010
2010
Characteristics analysis of joint space inverse mass matrix for the optimal design of a 6-DOF parallel manipulator
Hongzhou Jiang
,
Jingfeng He
,
Zhizhong Tong
2010
Corpus ID: 16164360
Review
2006
Review
2006
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions
David W. Currie
,
Xiushan Feng
,
M. Fujita
,
Alan J. Hu
,
Mark Kwan
,
S. Rajan
International journal of parallel programming
2006
Corpus ID: 16096971
Symbolic simulation and uninterpreted functions have long been staple techniques for formal hardware verification. In recent…
Expand
2005
2005
Language and Religion
W. Keane
2005
Corpus ID: 142925838
Religion and language are among the most complex, defining, and intensely felt symbolic expressions of humankind. Can the study…
Expand
2002
2002
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report
D. Pearce
,
Vladimir Sarsakov
,
Torsten Schaub
,
H. Tompits
,
S. Woltran
Non-Monotonic Reasoning
2002
Corpus ID: 1357994
Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies…
Expand
2002
2002
Approximate Symbolic Analysis of Hierarchically Decomposed Analog Circuits
O. Guerra
,
E. Roca
,
Francisco V. Fernández
,
Á. Rodríguez-Vázquez
2002
Corpus ID: 58077399
This paper presents a methodology for the symbolic analysis of large analog integrated circuits using a hierarchical approach…
Expand
2000
2000
Symbolic Cache Analysis for Real-Time Systems
Johann Blieberger
,
T. Fahringer
,
Bernhard Scholz
Real-time systems
2000
Corpus ID: 14123465
Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history…
Expand
2000
2000
Subsymbolic methods for data mining in hydraulic engineering
A. Minns
2000
Corpus ID: 60661968
This paper describes the results of experiments with artificial neural networks (ANNs) and genetic programming (GP) applied to…
Expand
1982
1982
Surface-enhanced second-harmonic generation at a metallic grating
G. Agarwal
,
S. S. Jha
1982
Corpus ID: 73705400
The theory of surface-enhanced second-harmonic generation at a metallic grating is developed. Using the form of the nonlinear…
Expand
Highly Cited
1971
Highly Cited
1971
Pair Grammars, Graph Languages and String-to-Graph Translations
T. W. Pratt
Journal of computer and system sciences (Print)
1971
Corpus ID: 205894879
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