Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.390.742 Times

Virgil B-03

  Date Added: August 26, 2010  |  Visits: 762

Virgil

Report Broken Link
Printer Friendly Version


Product Homepage
Download (77 downloads)



Virgil projetc is an new, object-oriented, light-weight programming language that is designed for building software for resource-constrained embedded systems at the lowest level. Microcontroller programmers can now develop complete software systems, including hardware drivers and OS services, in one language, without the need to resort to unsafe libraries or native code. Virgil also provides a whole-program compiler system that applies novel global optimization techniques to produce efficient machine code that runs directly on the hardware, without the need of a virtual machine or a language runtime system. Why are microcontrollers important? Embedded computers are everywhere. While the desktop computer revolution has brought computing to millions of users worldwide, the embedded system revolution has been quietly automating the world we live in--everything from the cars we drive to the roadways we drive them on; from factory production to the goods we use every day. In 2005, nearly 6 billion microcontroller units were manufactured. Today, microcontrollers outnumber people on this planet by more than 5 to 1. Soon, most electronic devices will have a software-programmable embedded computer with capabilities ranging from simple arithmetic to wireless communication, and microcontrollers offer a compelling solution for many of these products. How is software for embedded systems different? Software in this environment has very different requirements than traditional desktop and server computers. First, embedded programs must control devices that sense and interact with the physical world, in contrast to desktop and server software that is driven by databases, websites, and input from users. Second, embedded systems often operate in safety critical real-time scenarios, where software is tasked with controlling physical processes and actuators that can pose physical danger to people, infrastructure, and the environment. Third, the cost of software update for billions of devices makes it largely infeasible, vastly increasing the importance of software verification. How can new language technology help? Advances in programming languages over the past 30 years have yielded demonstrable productivity gains, including better static checking, more expressiveness, and better portability and maintability. Yet these advances have not been put into practical use in developing embedded systems software. The continued use of unsafe, low-level languages that frustrate automated program reasoning and verification poses a significant stumbling block to progress. While no magic bullet exists for software development, we believe that applying modern technology to this problem will produce real, tangible gains in both software quality and efficiency..

Requirements: No special requirements
Platforms: Linux
Keyword: Code Generators Embedded Embedded Systems New Programming Software Systems Virgil Virgil B
Users rating: 0/10

License: Freeware Size: 583.68 KB
USER REVIEWS
More Reviews or Write Review


VIRGIL RELATED
Network & Internet  -  Hop 1.6.0
Hop is a new programming language designed for the Web 2.0. Hop is a higher-order language for programming interactive web applications such as web agendas, web galleries, music players, etc. Hop can be viewed as a replacement for traditional...
655.36 KB  
Database Tools  -  MetaBoss 1.4.0001
MetaBoss is an integrated suite of tools for the design, development, and management of enterprise software systems through modelling. MetaBoss project utilises OMGs Model Driven Architecture concepts and is primarily oriented at enterprises...
36.5 MB  
Education  -  Pradeepkumar.org 1.0.0.0
This app will let you know the lecture notes, how to's, tutorials related to computer science, embedded systems, real time systems, linux programming, java, moodle, wordpress, etc. Requirements: Windows Phone 8.1, Windows Phone 8
2 MB  
Utilities  -  Dconf 0.5.1
Dconf is a tool to collect a systems hardware and software configuration. Dconf allows you to take your system configuration with you and compare systems (like nodes in a cluster) to troubleshoot hardware or software problems. It can also be...
34.82 KB  
Education  -  Dream in code 1.0.0.0
This application provides latest blogs, tutorial, forum discussion, new programming tutorials , game tutorials, scriblings etc from dream in code.net. all the programming tutorials contents can be accessed by tap.... Requirements: Windows...
1024 KB  
Code Management Tools  -  Drums++ 0.95
Drums++ is a programming language I designed for sequencing music through drum machines. Drums++ program uses simple C ideas, for example // and /* */ comments and { } to seperate sections. I tried to make it as simple as possible so even a...
17.41 KB  
Finance  -  JAVA to PDF Source Code Converter New
JAVA to PDF Source Code Converter is a simple Java-based software that can convert your Java source code to PDF. The app will convert all the .JAVA files in the folder you select (and will look for .JAVA recursively in all child folders) and...
 
Development Editors  -  Magda language Milestone 13-12-2011 Alpha
Magda language was specially designed as a new programming language that is based on a thesis research. Magda language contains the core notion of mixin, which defines a building block from which objects are created. The first feature is the...
 
Development Editors  -  Flash Development Toolkit 4.08 Release 00
Renesas Flash Development Toolkit is the dedicated flash programming software for Renesas flash microcomputers, which offers sophisticated and easy-to-use Graphical User Interface. Moreover, when it is used with High-performance Embedded...
 
Specialized Tools  -  SOA Cleaner - web service, wcf test tool 1.3.0.0
The "Web Services" and WCF technology are widely used for providing integration solutions between legacy software systems, as well as a part of a new-generation distributed systems built according to guidelines and principles of the Service...
244 KB  
NEW DOWNLOADS IN PROGRAMMING, CODE MANAGEMENT TOOLS
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  Math::GMPf 0.29
Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.
30.72 KB  
Programming  -  Net::Wire10 1.08
Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...
30.72 KB  
Programming  -  logilab-common 0.56.2
a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...
174.08 KB  
Programming  -  OpenSSL for linux 1.0.0a
The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...
3.83 MB  
Code Management Tools  -  BitNami Review Board Stack 1.6.9-1 (linux)
Review Board is a powerful web-based code review tool that offers developers an easy way to handle code reviews. It scales well from small projects to large companies and offers a variety of tools to take much of the stress and time out of the...
75.97 MB  
Code Management Tools  -  Common Text Transformation Library 2.08
Common Text Transformation Library, CTTL for short, is a set of C++ classes and functions to understand and modify text data. Common Text Transformation Library implementation is based on STL classes and algorithms. Concept of a substring plays...
163.84 KB  
Code Management Tools  -  GMP compiler 1.0.0
GMP compiler tool simplifies the use of GMP, the GNU multiple precision library. It scans a C source file for specially marked GMPS arithmetic expressions and replaces them with plain C. The abbreviation gmpc stands for GMP compiler, or...
276.48 KB  
Code Management Tools  -  phpCodeGenie 3.0.2
phpCodeGenie (PCG) is a code generator for database driven applications. PCG can generate entire working basic database driven applications for you. PCG can generate code from different databases. The database servers it can talk to via ADODB...
1.4 MB  
Code Management Tools  -  idioskopos 0.4.1
idioskopos (Greek: idio- inward, within, private; -skopos look, aim, target) is a C++ library that simplifies (hopefully) the addition of object reflection and introspection. There are numerous libraries that provide object introspection, but...
604.16 KB