Search Results for "contracts" - Page 3

...It works by inspecting a binary’s call graph and providing detailed breakdowns of which functions are included and how they are interconnected, allowing developers to trace dependencies and identify unnecessary code paths. This makes Twiggy particularly useful in performance-sensitive environments such as web applications, embedded systems, and blockchain smart contracts, where minimizing binary size is critical. The tool offers multiple analysis modes that answer questions like why a function is present, how much space it consumes, and what dependencies pull it into the final binary. By surfacing insights about symbol sizes and call relationships, Twiggy enables developers to optimize builds, remove dead code, and improve load times.

...The main usage of the ChainKit is to unify top blockchains interfaces into a single normalized API interface, therefore you can build blockchain dApps easily without digging into blockchain complex infrastructure. Bi-directional on-chain transactions (inbound and outbound). Build dApps connecting to smart contracts using chain kit agnostic connector. Quick intuitive code deployments by using a special mechanism that will deploy smart contracts and dApp services where code changed. Silent deployments, no interruption for the current functionality (really useful on production). One single command to simultaneously deploy all available functions on your project where code changed from the last deployment. ...

A container with the required dependencies configured can be found here. The image is however outdated. We are working on pushing the latest image to dockerhub for your convenience. If you experience any issues with this image, please try to build a new docker image by pulling this codebase before open an issue. A collection of the utilities that were developed for the paper are in misc_utils. Use them at your own risk - they have mostly been disposable. This is an improved version of the...

jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.

This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing (and reuse) of individual Java components, parts of distributed networked application. ...

Java Assertions to Code (JAC) is the tool which is used to generate the code from contracts of the method in Java. COFOJA is used to write contracts and JDT is used to create abstract syntax tree for parsing and manipulation of Java file.

...Its syntax and features inspired from Objective-C and CLOS provide: uniform object model, generic functions, fast multimethods & delegation, introspection, exceptions & contracts...

The "Java Declarative Programming API" (JDPA) provides declarative programming support for Java using annotations, allowing developers to define parameter constraints, interface contracts, transformations, interceptors and more.

xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.

JContractS, Java Contract Suite, allows you to easily add contracts to your Java classes. Contracts are specified in Javadoc comments and processed at build time. It is a resurrection of the iContract tool from Reliable Systems.

This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.

Soya is an open-source implementation of the SSDL specification, built on top of the Windows Communictaion Foundation (WCF) (formerly Indigo). it provides a programming model and runtime environment for creating and enacting SSDL contracts.

Theodolite is an Enterprise Service Bus that allows non-instrusive data marshalling for components without requiring any framework dependencies. It provides orchestration of high level strongly typed interface-based service contracts between components.

Main purpose of this project is to create an Eclipse editor for specifying OCL contracts. The OCL language is used to specify pre-, post-conditions and invariants. The project also contains a parser to check the syntactical and semantical correctness.

This project is the reference/bootstrap compiler for the Aglaia programming language. The language is object oriented and supports garbage collection, contracts, etc. Care is taken to ensure consistent and clean syntax, and to reduce programmer errors,

Firefly is a multi-user professional help desk system with several additional applications including company and contact management, knowledge database management, and contracts management. Firefly is also an application framework providing services such

A small testing framework for PHP based off some of .net's nUnit contracts. It uses a static assertion class rather than protects/public methods on an extended class.

Open eSign allows software developers and technical parties in a company to create secure, online (web-based) forms and documents that follow a business process flow and enable legally recognized electronic signatures using digital signature technology.