Clik here to view.
What Is Boho Interior Design
Boho Style Interior Design 2024 In recent years, you can see an upsurge in people using the Bohemian Style, from fashion down to interior design. What makes this design always on the top of most...
View ArticleClik here to view.
What Is Greek Chic Interior Design
Greek Interior Design and Decor Ideas Greece is undeniably one of the most beautiful islands in the world. Perhaps this is the reason why there is so much appeal to Greek-style interior homes. It’s a...
View ArticleClik here to view.
What Is Industrial Minimalism?
Industrial Minimalist Design Ideas Ever wonder if you can mix two schools of designs into one cohesive and distinct design? The minimalist and industrial designs have been gaining traction among...
View ArticleClik here to view.
What Is Classic Interior Design?
Classic Interior Design Style 2024 What makes the Classic interior design style so endearing and enduring? Perhaps it’s paying homage to classicism rooted in Vitruvian proportions as seen in classical...
View ArticleClik here to view.
What Is Biophilic Interior Design
Biophilic Interior Design 2024 Humans have adapted to their environment. This is the principle behind the Biophilic interior design. With its focus on getting people to be closer to nature through the...
View ArticleClik here to view.
Art Nouveau Interior Design and Style 2024
Sinuous lines, flowing curves, and whimsical elements define the Art Nouveau interior design. Considered as one of the more feminine schools of design, Art Nouveau gets much of its inspiration from...
View ArticleClik here to view.
Art Deco Interior Design Style Explained
Art Deco interior design is an ornate design style with art deco motifs popularised in the 1920s. The Art Deco design has a jewel-like, playful vibe that speaks glamour and elegance. This article...
View ArticleClik here to view.
What Is Zen Interior Design?
Zen is a philosophy that covers practically everything. It comes as no surprise when modern Zen interior design became a trend a few years back (and still is). What makes Zen tremendously popular...
View ArticleClik here to view.
What Is Balinese Interior Design
A tropical paradise situated on a magical island, people who have been to Bali, Indonesia, are enchanted by its lush greenery, rich heritage, and breathtaking landscapes. Bali is often referred to as...
View ArticleClik here to view.
Interior Designer Tricks: What Is the Golden Ratio in Interior Design
Did it occur to you that many interior designers know what layout or furniture design can hit it on the nail and what elements can mean disaster to the aesthetics of your room? While some may have the...
View ArticleClik here to view.
Negative variables: new version
I have mentioned this paper before (see the earlier blog entry here) but it is now going to be published [1] and has been significantly revised, both to take referee comments into account and because...
View ArticleLASER 2014 (Elba, September)
2014 marks the 10-th anniversary (11th edition) of the LASER summer school. The school will be held September 7-14, 2014, and the detailed information is here. LASER (the name means Laboratory for...
View ArticleEiffel as an expression language
A functional-programming style, or more generally a style involving more expressions and fewer instructions, is possible in Eiffel. In particular, Eiffel’s agent mechanism embeds a full...
View ArticleNew article: contracts in practice
For almost anyone programming in Eiffel, contracts are just a standard part of daily life; Patrice Chalin’s pioneering study of a few years ago [1] confirmed this impression. A larger empirical study...
View ArticleCode matters
(Adapted from an article previously published on the CACM blog.) Often, you will be told that programming languages do not matter much. What actually matters more is not clear; maybe tools, maybe...
View ArticleAttached by default?
Opinions requested! See at end. A void call, during the execution of an object-oriented program, is a call of the standard OO form x·some_routine (…)...
View ArticleNon-morganatic specifications
I have temporarily withdrawn this article because the specific case it used as an example has changed. I will re-publish it as soon as the situation has stabilized. The post Non-morganatic...
View ArticleDetecting deadlock automatically? (New paper)
To verify sequential programs, we have to prove that they do the right thing, but also that they do it within our lifetime — that they terminate. The termination problem is considerably harder with...
View ArticleFraming the frame problem (new paper)
Among the open problems of verification, particularly the verification of object-oriented programs, one of the most vexing is framing: how to specify and verify what programs element do not change....
View ArticleNew paper: Theory of Programs
Programming, wrote Dijkstra many years ago, is a branch of applied mathematics. That is only half of the picture: the other half is engineering, and this dual nature of programming is part of its...
View Article