Search: bertrandmeyer.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Introduction to the Theory of Programming Languages (1991)

bertrandmeyer.com

4 years ago

199 points

2.

Celebrating Tony Hoare's mark on computer science

bertrandmeyer.com

3 months ago

140 points

3.

Why not program right?

bertrandmeyer.com

8 years ago

133 points

4.

Lampsort: Leslie Lamport's Non-recursive Quicksort

bertrandmeyer.com

12 years ago

93 points

5.

New Paper: Theory of Programs

bertrandmeyer.com

11 years ago

63 points

6.

Soundness and Completeness: With Precision

bertrandmeyer.com

7 years ago

54 points

7.

The one sure way to advance software engineering

bertrandmeyer.com

17 years ago

40 points

8.

Your IP: does Google care?

bertrandmeyer.com

13 years ago

34 points

9.

"Object Success" now available

bertrandmeyer.com

3 years ago

32 points

10.

Doing it right or doing it over?

bertrandmeyer.com

13 years ago

24 points

11.

Scenarios versus OO Requirements

bertrandmeyer.com

3 years ago

21 points

12.

The theory and calculus of aliasing

bertrandmeyer.com

16 years ago

11 points

13.

Programming Is Simple Mathematics

bertrandmeyer.com

a year ago

11 points

14.

bertrandmeyer.com

15 years ago

8 points

15.

A fundamental duality of software engineering

bertrandmeyer.com

14 years ago

7 points

16.

Yes, AI is intelligent. Prove me wrong

bertrandmeyer.com

3 months ago

6 points

17.

A Paean to Programming

bertrandmeyer.com

a year ago

6 points

18.

Domain Theory: the forgotten step in program verification

bertrandmeyer.com

14 years ago

6 points

19.

Yes, AI is intelligent. Prove me wrong. by Bertrwnd Meyer

bertrandmeyer.com

4 months ago

5 points

20.

Introduction to the Theory of Programming Languages (1991) now freely available

bertrandmeyer.com

4 years ago

5 points

21.

bertrandmeyer.com

2 years ago

4 points

22.

Why not program right?

bertrandmeyer.com

8 years ago

4 points

23.

The CPU Clock principle of software releases

bertrandmeyer.com

17 years ago

3 points

24.

Why code matters

bertrandmeyer.com

12 years ago

3 points

25.

A fundamental duality of software engineering

bertrandmeyer.com

14 years ago

3 points

26.

Obituary of Niklaus Wirth

bertrandmeyer.com

a year ago

3 points

27.

Horribly Transparent

bertrandmeyer.com

2 years ago

3 points

28.

First law of branching in version control

bertrandmeyer.com

12 years ago

2 points

29.

The laws of branching (part 1)

bertrandmeyer.com

13 years ago

2 points

30.

Thanks for your help but I write my own texts

bertrandmeyer.com

8 months ago

2 points