Loops in Static Analysis, Part 2(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 6 months ago

This story illustrates how aspects of loop handling in the NStatic static analysis tool. read more...

add a comment |category: C# |Views: 3

tags: another

Methods in Static Analysis, Part 1(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 6 months ago

Virtual methods are handled elegantly in the upcoming static analysis tool, NStatic. read more...

add a comment |category: C# |Views: 2

tags: another

Equation Solving with Static Analysis(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 7 months ago

With the static analysis tool NStatic, it is easy to solve various types of equations. read more...

add a comment |category: C# |Views: 5

tags: another

Continuation Passing Style & Anonymous Methods(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 11 months ago

C# anonymous methods allow programming in the versatile continuation passing style to be done conveniently, concisely and elegantly. read more...

2 comments |category: C# |Views: 59

tags: AnonymousMethods another

Anonymous Recursion(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 11 months ago

Anonymous recursion for lambda expressions and anonymous delegates in C# can be implemented using an implementation of the Y Combinator as well as a more efficient procedural approach with assignment. This article also explains how the use of the technique for representation lambda expressions renditions of values changed by loops in the static analysis tool, NStatic. read more...

1 comment |category: C# |Views: 45

tags: AnonymousRecursion LamdaExpressions C# Recursion another

Smart C# Static Analysis Tool(wesnerm.blogs.com)

submitted by wesnerm(220) 5 years ago

A presentation was recently given at a user group meeting about smart new static analysis tool for C#. read more...

1 comment |category: C# |Views: 465

tags: another