Computer Science
Kai's user avatar
Kai's user avatar
Kai's user avatar
Kai
  • Member for 11 years, 6 months
  • Last seen this week
Profile Activity
Stats
663
reputation
13k
reached
31
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
View all tags
13
Score
4
Posts
13
Posts %
13
Score
2
Posts
6
Posts %
6
Score
5
Posts
16
Posts %
5
Score
5
Posts
16
Posts %
5
Score
2
Posts
6
Posts %
3
Score
3
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
7
Are 2 independent PDAs equivalent to a turing machine?
Aug 31
answer
5
Write Serialization for Cache Coherence in the presence of Store Buffers
Nov 16, 2016
answer
4
Linked Finite State Machine
Sep 14
answer
3
Intuitive explanation of Hoare assignment axiom
Nov 22, 2016
answer
3
How is it that programs can be identified with partial functions for programming language semantics?
Oct 3, 2018
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
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.