As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
Kai's user avatar
Kai's user avatar
Kai's user avatar
Kai
  • Member for 11 years
  • Last seen this week
Profile Activity
Stats
479
reputation
10k
reached
21
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
13
Score
2
Posts
10
Posts %
12
Score
3
Posts
14
Posts %
5
Score
5
Posts
24
Posts %
5
Score
2
Posts
10
Posts %
3
Score
3
Posts
14
Posts %
3
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
10
As a Teacher: Choosing a suitable programming language
Dec 6, 2016
answer
5
Write Serialization for Cache Coherence in the presence of Store Buffers
Nov 16, 2016
answer
3
How is it that programs can be identified with partial functions for programming language semantics?
Oct 3, 2018
answer
2
Intuitive explanation of Hoare assignment axiom
Nov 22, 2016
answer
2
What does it mean to "strengthen the precondition and weaken the postcondition" in Hoare logic?
Jan 15, 2017
answer
2
Race condition, my doubt on Peterson's algorithm vs. C
Mar 3
answer
2
Can a program that terminates have a running time of infinity? (Or not have an upper bound)
Mar 5
answer
1
Using the Consequence Rule
May 19, 2018
answer
1
Proving whether $\bf{K}$(Happy $\lor$Sad) $\implies$ $\neg \bf{K}($Happy) is satisfiable, valid or unsatisfiable
Sep 28, 2018
answer
1
Why is LTL Model Checking in PSPACE
Jan 30, 2019
Top network posts
View all network posts
10
Reasoning about non-deterministically terminating loops
9
Applications of metric structures on posets/lattices in theoryCS
6
Sufficient conditions to guarantee unique fixpoint (not unique least/greatest fixpoint) for monotone functions on complete lattice
6
How to auto-derivate sequential iterative programs from a mathematical specification?
5
What is the theoretical basis of imperative programming?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.