Search Results for "type"

In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct.

...Each module can contain functions and declarations and data. Each function has a signature (parameters and return types), local variables (including function arguments) and instructions. Each local variable has a type which can be only a 64-bit integer, float, double, or long double. Each instruction has an opcode and operands. Operand can be a local variable (or a function argument), immediate, memory, label, or reference. The immediate operand can be a 64-bit integer, float, double, or long double value. There are conversion instructions for conversion between different 32- and 64-bit signed and unsigned values, float, double, and long double values. ...

...Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. Several driver libraries assure that the access to operating system resources such as files, directories, network, clock, keyboard, console and graphics are done in a portable way. ...

XPL compiler as described in the book "A Compiler Generator" by McKeeman, Horning and Wortman. This compiler translates the XPL language to C source code allowing anyone with a working C compiler to run an XPL compiler.

The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...

...With concurrent Ninja builds, a small client project can build flatcc with libraries, generate schema code, link the project and execute a test case in a few seconds, produce binaries between 15K and 60K, read small buffers in 30ns, build FlatBuffers in about 600ns, and with a larger executable also handle optional json parsing or printing in less than 2 us for a 10 field mixed type message. The JSON parser may change the interface for parsing union vectors in a future release which requires code generation to match library versions. This project builds flatcc, a compiler that generates FlatBuffers code for C given a FlatBuffer schema file. This introduction also creates a separate test project with the traditional monster example, here in a C version. ...

A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds....

Multi-language library to deal with multimethod dispatch, disambiguation and type-checking using dispatch tables. This approach yields fast dispatch in constant-time and greatly helps resolving ambiguities.

It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.

The OpenCL Kernel Compiler compiles OpenCL kernel files and presents any compilation errors in a form commonly used by "regular" C/C++ compilers. It is intended to be used as a supporting tool for application developers working with OpenCL. Version 0.3.0 adds additional features for saving compiled binaries and selecting platforms/devices.

Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/

CFront is an ANSI-C (89) front end library. It provides pre-processing, parsing, and type checking, and an powerful API for examining and rewriting.

OS based on Agent based Security with a new type of split kernel and agents platform.

libnaru is a library written in C that supports you to define a type system for a programming language. It is thought to be another lego piece beside lexical and syntax analysis in a compiler project.

Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.