Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,978,417 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
2014
2014
Mothers’ Perceptions of their Relationship with their Children Following Dyadic Art Therapy
Galit Shapira
,
Atr
,
Ma. Prof. Rachel Lev-Wiezel
,
A. Raz
2014
Corpus ID: 26883592
This qualitative study examines mothers’ perceptions of their relationship with their children following dyadic therapy through…
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
FROM HISTORICAL ANALYSIS TO CLASSROOM WORK: FUNC TION VARIATION AND LONG-TERM DEVELOPMENT OF FUNCTIONAL THINKING
Renaud Chorlay
2010
Corpus ID: 146702180
We present the outline and first elements of the second phase of our work on mathematical understanding in function theory. The…
Expand
2007
2007
Painless Trigonometry : a tool-complementary school mathematics project
Jesús Jiménez-Molotla
,
A. Gutiérrez-Gómez
,
A. I. Sacristán
2007
Corpus ID: 18722052
Since 2001-02, we have been working in our mathematics classrooms with the materials and digital tools provided by a government…
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
2007
2007
Argumentation in a Geometry Class : Aligned with the Teacher ’ s Conception of Proof 1
AnnaMarie Conner
2007
Corpus ID: 53975679
While a straightforward relationship between argumentation and proof is not universally accepted, it is reasonable that…
Expand
2002
2002
Cuatro cuestiones en torno al aprendizaje de la demostración
Marcelino J. Ibañes Jalón
2002
Corpus ID: 169459258
En este trabajo pretendemos dar respuesta a algunas cuestiones que surgen al reflexionar sobre el aprendizaje -en el ambito del…
Expand
1980
1980
Algebraic semantics and program logics: Algorithmic logic for program trees
P. Enjalbert
Logic of Programs
1980
Corpus ID: 28572909
The aim of this paper is to ground Algorithmic (or Dynamic) Logic on Algebraic semantics in the french acceptation of the term, i…
Expand