background preloader


Facebook Twitter

VISUALG 3.0. Verified Software Toolchain. Yale FLINT Group: VERIML. Last modified: Wed Apr 4 01:05:14 2012 GMT.


Authors Antonis StampoulisZhong Shao Abstract Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explicit machine-checkable proof objects. Unfortunately, large scale proof development in these proof assistants is still an extremely difficult and time-consuming task. The Voodoo Programming Language - Annon Inglorion. Projects/Vala. Introduction Vala is a new programming language that aims to bring modern programming language features to GNOME developers without imposing any additional runtime requirements and without using a different ABI compared to applications and libraries written in C.


News About Vala Using Vala Contributing There is a mailing list for developer and general discussions. Jürg Billeter <j at bitron dot ch> (blog) CategoryProject. Nerds Central: VSPL - A Very Simple Programming Language. VSPL - So simple an amoeba can understand it!

Nerds Central: VSPL - A Very Simple Programming Language

Click here for the VSPL/Language development index page. VSPL - Just How Simple Can A Programming Language Be? Introduction Please search the blog under tag 'VSPL' for more on VSPL, this page is a good start but not definitive. VIX API Reference Documentation. The Virgil Programming Language. What is Virgil? Virgil is an new, light-weight object-oriented 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. How is software for embedded systems different? Software in this environment has very different requirements than traditional desktop and server computers. How can new language technology help? The Viz Programming Language. Visage - Declarative language for expressing user interfaces. Visage is a domain specific language (DSL) designed for the express purpose of writing user interfaces.

visage - Declarative language for expressing user interfaces

A Visage application models the user interface you are designing both in appearance and function. For example, the following Visage code will create a simple application that prints the text "Hello World": The above code demonstrates the proposed syntax for how Visage will work with the JavaFX platform. The Visage language has the following benefits: Declarative Object Construction - Code looks like the UI it is representing. If you would like to help out with this project, please join the Google Group. Apress generously contributed the rights to the Visage Language Guide, which is originally from the Pro JavaFX Platform book title.

HowDonationsWork. Verse - Home.


Visual Batch - FrameWork For The Visual Batch Language. Vulcan.NET Home. Vulcan.NET is the next generation of the xBase family of languages. Vulcan.NET provides a high level of backwards-compatibility with the Visual Objects language, while at the same time bringing it into the 21st century with all the features you would expect in a modern programming language. In addition, Vulcan.NET brings all the benefits of the .NET platform to the Visual Objects language, opening up a whole new world of opportunities for xBase programmers. Vulcan.NET is fully CLS compliant and supports the vast majority of features available to .NET languages, including method and operator overloading, strongly typed arrays, reference and value types, enumeration types, low level pointer operations, and more. Vala. Vbcc. Vbcc is a highly optimizing portable and retargetable ISO C compiler.


It supports ISO C according to ISO/IEC 9899:1989 and a subset of the new standard ISO/IEC 9899:1999 (C99). It is split into a target-independent and a target-dependent part, and provides complete abstraction of host- and target-arithmetic. Therefore, it fully supports cross-compiling for 8, 16, 32 and 64bit architectures. Embedded systems are supported by features like different pointer-sizes (e.g. differently sized function- and object-pointers or near- and far-pointers), ROM-able code, inline-assembly, bit-types, interrupt-handlers, section-attributes, stack-calculation and many others (depending on the backend). vbcc provides a large set of aggressive high-level optimizations as well as target-specific optimizations to produce faster or smaller code.

Anybody interested in additional backends or writing an own backend, should contact me by mail. AmigaOS related Download/link area. V-language - concatenative language V. A tiny concatenative language implemented for experimentation.

v-language - concatenative language V

The source is under Public Domain (un-copyrighted.) The full featured language has two implementations now, One is implemented over JVM and the other is native. (drop me a note [rnair6-iit edu] if you are interested) To run the jvm implementation, extract the distribution in any directory, Voodoo Compiler - Annon Inglorion. Hanshoglund/vitry. Viper Programming Language - Browse Files. Varkon.Org.