Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,238,975 papers from all fields of science
Search
Sign In
Create Free Account
Higher-Order and Symbolic Computation
Known as:
Lisp and Symbolic Computation
Higher-Order and Symbol Computation (formerly LISP and Symbolic Computation; print: ISSN 1388-3690, online: ISSN 1573-0557) is a computer science…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Computer science
Fundamental Concepts in Programming Languages
Harry Mairson
InfoTrac
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Timed CTL Model Checking in Real-Time Maude
D. Lepri
,
E. Ábrahám
,
P. C. Ölveczky
Workshop on Rewriting Logic and Its Applications
2012
Corpus ID: 17721349
This paper presents a timed CTL model checker for Real- Time Maude and its semantic foundations. In particular, we give a timed…
Expand
Highly Cited
2011
Highly Cited
2011
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
A. Miné
European Symposium on Programming
2011
Corpus ID: 14248185
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work…
Expand
2008
2008
Logics for Low-Level Code and Proof-Preserving Program Transformations
Ando Saabas
2008
Corpus ID: 62734739
The Proof-Carrying Code (PCC) paradigm has emerged as a way of instilling trust in the code user about the properties of the code…
Expand
2008
2008
Effectively Checking the Finite Variant Property
Santiago Escobar
,
J. Meseguer
,
R. Sasse
International Conference on Rewriting Techniques…
2008
Corpus ID: 7349574
An equational theory decomposed into a set Bof equational axioms and a set Δof rewrite rules has the finite variant(FV…
Expand
2006
2006
Optimizing Pattern Matching by Program Transformation
E. Balland
,
Pierre-Etienne Moreau
2006
Corpus ID: 12192874
In this paper we present a new compilation method based on program transformation. The principle is to separate the compilation…
Expand
2005
2005
LISP AND SYMBOLIC COMPUTATION : An International Journal , ? , ? ? { ? ?
Harry BRETTHAUERy
2005
Corpus ID: 10133515
The challenge for the metaobject protocol designer is to balance the con-icting demands of eeciency, simplicity, and…
Expand
2004
2004
Modeling Secure Information Flow with Boolean Functions
S. Genaim
,
R. Giacobazzi
,
Isabella Mastroeni
2004
Corpus ID: 12036317
In this paper we describe two uses of Boolean functions in the context of secure information flow analysis. The first…
Expand
1999
1999
Tracing and debugging lazy functional computations
Jan Sparud
1999
Corpus ID: 60656661
Functional programming languages have many advantages over the conventional alternative of procedural languages. For example…
Expand
1996
1996
Efficient Resource Scheduling in Multiprocessors
Soumen Chakrabarti
1996
Corpus ID: 60805027
Abstract : As multiprocessing becomes increasingly successful in scientific and commercial computing, parallel systems will be…
Expand
1993
1993
LISP AND SYMBOLIC COMPUTATION : An International Journal , ? , ? ? { ? ?
Peter Lee
1993
Corpus ID: 267812848
This paper examines the transformation of call-by-need terms into continuation passing style (CPS). It begins by presenting a…
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