Skip to search formSkip to main contentSkip to account menu

S-expression

Known as: S-expressions, S-exp, S expression 
In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
Arc (programming language)Base64Binary treeBlock (programming)

Broader (1)

Lisp

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
TRANSLATION AND ITS PROBLEMS: AN INTER-PROFESSIONAL PERSPECTIVE AND LESSONS FOR ACCOUNTING
concepts are common in accounting because accounting language is a highly specialised ‘dialect’ or variety of a ‘natural… 
2006
2006
Automatic decomposition for sequential equivalence checking of system level and RTL descriptions
Sequential equivalence checking between system level descriptions of designs and their register transfer level (RTL… 
2002
2002
Approximate Symbolic Analysis of Hierarchically Decomposed Analog Circuits
This paper presents a methodology for the symbolic analysis of large analog integrated circuits using a hierarchical approach… 
2002
2002
Presentation of the linear fractional representation toolbox (LFRT)
This paper presents a toolbox for use with MATLAB for modeling and manipulation of systems in LFT form. With this toolbox, LFT… 
2002
2002
Constructing symbolic models for the input/output behavior of periodically time-varying systems using harmonic transfer matrices
A new technique is presented for generating symbolic expressions for the harmonic transfer functions of linear periodically time… 
2000
2000
Symbolic Cache Analysis for Real-Time Systems
Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history… 
2000
2000
Subsymbolic methods for data mining in hydraulic engineering
This paper describes the results of experiments with artificial neural networks (ANNs) and genetic programming (GP) applied to… 
1995
1995
Symbolic Singular Value Decomposition for Simple Redundant Manipulators and Its Application to Robot Control
Solving the inverse kinematic problem in the vicinity of singu larities by the use of the damped least squares method is one of… 
Highly Cited
1979
Highly Cited
1979
The Application of Program Verification to Hardware Verification
The growing complexity of machine designs and costs of engineering changes are increasing the demand for tools and methods to… 
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)