Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,025,612 papers from all fields of science
Search
Sign In
Create Free Account
Algorithmic logic
Algorithmic logic is a calculus of programs which allows the expression of semantic properties of programs by appropriate logical formulas. It…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Algorithm
Dynamic logic (modal logic)
First-order logic
Software framework
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
On the role of student understanding of function and rate of change in learning differential equations
Kuster
,
G. Emil
2016
Corpus ID: 124911110
Review
2015
Review
2015
Algorithmic Logic-Based Verification with SeaHorn
A. Gurfinkel
Symposium on Symbolic and Numeric Algorithms for…
2015
Corpus ID: 3238421
In this tutorial, I will present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its…
Expand
2011
2011
Task-oriented System Engineering
A. Zonnenshain
,
Avi Harel
2011
Corpus ID: 267887493
Traditional system engineering (SE) is technology driven. In the design of interactive systems we typically assume that the human…
Expand
2010
2010
Revisiting the functions of proof in mathematics classrooms: A view from a theory of instructional exchanges
P. Herbst
,
Takeshi Miyakawa
,
D. Chazan
2010
Corpus ID: 37830547
Work reported in this paper has been done with the support of the US National Science Foundation (NSF), grant ESI-0353285 to the…
Expand
2008
2008
Abstraction in Algorithmic Logic
W. Aitken
,
J. Barrett
Journal of Philosophical Logic
2008
Corpus ID: 34677018
We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is…
Expand
2007
2007
Introducing Squeak Etoys To Enhance Science And Mathematics Learning
Mohamad Yatim
,
Maizatul Hayati
2007
Corpus ID: 143423599
There is a greater emphasis on teaching children as young as possible to prepare them for their future. We believe that the best…
Expand
1989
1989
Recursive (omega)o-Rule for Proof Systems
S. Yoccoz
Information Processing Letters
1989
Corpus ID: 20958354
1984
1984
Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types
J. Makowsky
1984
Corpus ID: 60502583
1981
1981
On logic of complex algorithms
H. Rasiowa
International Symposium on Fundamentals of…
1981
Corpus ID: 33649225
An algebraic approach to programs called recursive coroutines — due to Janicki [3] — is based on the idea to consider certain…
Expand
1980
1980
The Role of Finite Automata in the Development of Modern Computing Theory
R. Constable
1980
Corpus ID: 58286266
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