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 29.881.959 Times

Virgil B-03

  Date Added: August 26, 2010  |  Visits: 717

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  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
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  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
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