This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
Tools that perform refactoring are currently under-utilized by programmers. As more advanced refactoring tools are designed, a great chasm widens between how the tools must be use...
Abstract. ShapeShifting TV denotes an approach to interactive television programmes that can adapt during delivery to the preferences of the active viewers. ShapeShifting TV is bas...
Vilmos Zsombori, Marian Florin Ursu, John Wyver, I...
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...