Posted
by feelie
on Stack Overflow
See other posts from Stack Overflow
or by feelie
Published on 2010-05-29T13:46:44Z
Indexed on
2010/05/29
13:52 UTC
Read the original article
Hit count: 239
When using formal aspects to create some code is there a generic method of determining a loop invariant or will it be completely different depending on the problem?
© Stack Overflow or respective owner
as seen on Stack Overflow
- Search for 'Stack Overflow'
As far as I understand, when you write a for-loop similar to this one
for (int i = 0; i < SOME_NUM; i++) {
if (true)
do_something();
else
do_something_else();
}
The time complexity of this operation is mostly affected by the if (true) statement because the for-loop iterations don't…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I have a while loop to show the replies for a post on my website.
The value for parentID used in the query is $post['postID'] which is an array of details for the post being viewed.
As seen below it outputs the following (each subject is a link to view the full post)
$q = $dbc -> prepare("SELECT…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
Hi, I'd like to find easier way to write loops inside loops.
Here is example code of 3 levels of 'for' loops:
int level = 0;
int value = 0;
bool next = false;
for (int i0 = 0; i0 < 6; i0++)
{
level = 0;
value = i0;
method();
if (next)
for (int i1 = 0; i1 < 6; i1++)
…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I have a program to use the IMDB database and am having very slow performance on my query. It appears that it doesn't use my where condition until after it materializes everything. I looked around for hints to use but nothing seems to work. Here is my query:
SELECT *
FROM name as n1
FULL JOIN…
>>> More
as seen on Oracle Technology Network
- Search for 'Oracle Technology Network'
It's important to know when not to use cursor FOR loops.
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
I've found that my (USA) professors recoil with a near-disgust when I ask them about how to pursue a career in Formal Methods programming.
They say, "Oh, that stuff! That stuff is anal. You don't need that European POS to get a job."
I'm sure I'll get a job without it, but Formal Methods interests…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
Our client wants us to build a web-based, rich internet application for gathering software requirements. Basically it's a web-based case tool that follows a specific process for getting requirements from stakeholders. I'm the project manager and we're still in the early phases of the project.
I've…
>>> More
as seen on Dot net Slackers
- Search for 'Dot net Slackers'
OnI talked about evaluating a candidate architecture in code. This post is dedicated to evaluation on paper.I remember one system I was working on, I was keen on making the architecture asynchronous and message oriented (it was all circa 2001 by the way) However, I was new on the team and my role…
>>> More
as seen on Programmers
- Search for 'Programmers'
Comparing software engineering with civil engineering, I was surprised
to observe a different way of thinking: any civil engineer knows that
if you want to build a small hut in the garden you can just get the
materials and go build it whereas if you want to build a 10-storey house
you need to do quite…
>>> More
as seen on Stack Overflow
- Search for 'Stack Overflow'
What are Formal Methods? pros and cons - Why are Formal Methods Necessary ?
>>> More
