Integrating Interval Constraints into Logic Programming

Integration of Declarative and Constraint Programming

Interaction and observation, categorically

Interactive Timetabling

Interlanguages and synchronic models of computation

International Solar-Terrestrial Program Data Processing Consortium

Introducing Dynamic Behavior in Amalgamated Knowledge Bases

Introduction to the Report "Interlanguages and Synchronic Models of Computation."

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Iterators, Recursors and Interaction Nets

Jartege: a Tool for Random Generation of Unit Tests for Java Classes

Java-based communication in a High Performance Computing environment

JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming

JavaTA: A Logic-based Debugger for Java

JAZELLE: An enhanced data management system for high energy physics

JSC : A JavaScript Object System

Just-In-Time compilation of OCaml byte-code

jYang : A YANG parser in java

L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

Laboratory