Skip navigation
Help

Objective-C

warning: Creating default object from empty value in /var/www/vhosts/sayforward.com/subdomains/recorder/httpdocs/modules/taxonomy/taxonomy.pages.inc on line 33.

snydeq writes "Fatal Exception's Neil McAllister sees Microsoft's Project Roslyn potentially reinventing how we view compilers and compiled languages. 'Roslyn is a complete reengineering of Microsoft's .NET compiler toolchain in a new way, such that each phase of the code compilation process is exposed as a service that can be consumed by other applications,' McAllister writes. 'The most obvious advantage of this kind of "deconstructed" compiler is that it allows the entire compile-execute process to be invoked from within .NET applications. With the Roslyn technology, C# may still be a compiled language, but it effectively gains all the flexibility and expressiveness that dynamic languages such as Python and Ruby have to offer.'"

Read more of this story at Slashdot.

0
Your rating: None

GREE International Inc. is owned by GREE Inc., the fastest growing tech company in Japan, offering leading social mobile games. With our OpenFeint platform, our goal is to reach 200 million users. We are looking for an experienced Unity Software Engineers to join our start-up team to develop next-generation mobile social gaming experiences to users.

The position title and level are flexible; we are looking for the right person and will adjust the position as needed.

0
Your rating: None

GREE International Inc. is owned by GREE Inc., the fastest growing tech company in Japan, offering leading social mobile games. With our OpenFeint platform, our goal is to reach 200 million users. We are looking for an experienced Unity Software Engineers to join our start-up team to develop next-generation mobile social gaming experiences to users.

The position title and level are flexible; we are looking for the right person and will adjust the position as needed.

0
Your rating: None


LLBMC: The Low-Level Bounded Model Checker

Google Tech Talk (more info below) February 22, 2011 Presented by Carsten Sinz, Stephan Falke, & Florian Merz, Karlsruhe Institute of Technology, Germany. ABSTRACT Producing reliable and secure software is time consuming and cost intensive, and still many software systems suffer from security vulnerabilities or show unintended, faulty behavior. Testing is currently the predominant method to ascertain software quality, but over the last years formal methods like abstract interpretation or model checking made huge progress and became applicable to real-world software systems. Their promise is to reach a much higher level of software quality with less effort. In this talk we present a recent method for systematic bug finding in C programs called Bounded Model Checking (BMC) that works fully automatic and achieves a high level of precision. We present our implementation, LLBMC, which---in contrast to other tools---doesn't work on the source code level, but employs a compiler intermediate representation (LLVM IR) as a starting point. It is thus easily adaptable to support verification of other programming languages such as C++ or ObjC. LLBMC also uses a highly precise (untyped) memory model, which allows to reason about heap and stack data accesses. Moreover, we show how LLBMC can be integrated into the software development process using a technique called Abstract Testing.
From:
GoogleTechTalks
Views:
1009

5
ratings
Time:
01:10:30
More in
Science & Technology

0
Your rating: None