Group items tagged

" Monitoring-Oriented Programming, abbreviated MOP, is a software development and analysis framework aiming at reducing the gap between formal specification and implementation by allowing them together to form a system. In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors during execution. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code from information logging to runtime recovery. One can understand MOP from at least three perspectives: as a discipline allowing one to improve safety, reliability and dependability of a system by monitoring its requirements against its implementation at runtime; as an extension of programming languages with logics (one can add logical statements anywhere in the program, referring to past or future states); and as a lightweight formal method. "

" Object-oriented programming was supposed to unify the perspectives of the programmer and the end user in computer code: a boon both to usability and program comprehension. While objects capture structure well, they fail to capture system action. DCI is a vision to capture the end user cognitive model of roles and interactions between them. "

"If you are a developer that writes asynchronous code for composite applications in the cloud, you know what we are talking about, for everybody else Rx Extensions is a set of libraries that makes asynchronous programming a lot easier. As Dave Sexton describes it, "If asynchronous spaghetti code were a disease, Rx is the cure.""

"C# is a great programming language, but there's still a bevy of features in other programming languages that I often wish were in C#. I'm doing quite a bit of work in F# nowadays, and I thought it would be fun to jot down a few F# features that I really miss when I come back to C#."

"Come hear how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. See how they work together so that your code has fewer defects. Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation."

" Sadek Drobi talks about abstracting the control syntax (glue), giving examples from mainstream and FP languages: Null, propagating errors, events, asynchronous programming, lists, streams, channels, functors, monads, and custom abstractions. "

" Concurrency and Coordination Runtime (CCR) is a managed code library, a Dynamically Linked Library (DLL), accessible from any language targeting the .NET Common Language Runtime (CLR). The CCR addresses the need of service-oriented applications to manage asynchronous operations, deal with concurrency, exploit parallel hardware and deal with partial failure. It enables the user to design applications so that the software modules or components can be loosely coupled; meaning they can be developed independently and make minimal assumptions about their runtime environment and other components. This approach changes how the user can think of programs from the start of the design process and deals with concurrency, failure and isolation in a consistent way."

"Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs."

" I would be willing to place a bet that most computer programmers have, on multiple occasions, expressed an opinion about the desirability of certain kinds of type systems in programming languages. Contrary to popular conception, that's a great thing! Programmers who care about their tools are the same programmers who care about their work, so I hope the debate rages on. "

"In todays programming IDEs, web development and JavaScript were little more than an afterthought. With their roots dating back to the 90's, they haven't adjusted to the current needs of internet application development, they are difficult to extend and they use far too many resources. Cloud9 is a state-of-the-art IDE that runs in your browser and lives in the cloud, allowing you to run, debug and deploy applications from anywhere, anytime. A complete game-changer that will change the way we develop applications forever."

" Don Syme overviews some of the basic features of functional languages, presenting why and when they are useful for parallel programming: simplicity, composability, immutability, lightweight reaction, translations, data parallelism, using F# examples but addressing the larger spectrum of functional languages including Haskell, Erlang, Clojure and JavaScript. "

" Ian Robinson considers that programming for the web requires a different architectural approach than for applications: clients are interested only in URIs, clients are responsible for the integrity of a sequence of requests, and one should implement application protocols as protocol resources , not domain resources. "

" In this interview Ryan discusses Clojure with author Chris Houser. They cover Clojure's approach to classes, comparing and contrasting it with Java. Chris delves into they type of programming problem sets Clojure is best suited for, especially in relation to parallelism as the number of cores in computers increases and Clojure's applicability as or research language. "

" Guy L. Steele Jr. believes that it should not be the programmer's job to think about parallelism, but languages should provide ways to transparently run tasks in parallel. This requires a new approach in building languages supporting algorithms built on independence and build-and-conquer principles rather than on linear decomposition of problems. "

" Ulf Wiger advocates for a programming model change based on the actor model which more accurately reflects old human concurrency patterns that we have used in our daily lives for thousands of years. "

" Howard Lewis Ship talks about Clojure, a language more concise, testable, and readable than Java, letting the developer to focus on his work rather than a verbose syntax. "

" Julie Lerman is recognized as the foremost expert outside of Microsoft on Microsoft's ADO.NET Entity Framework."