SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
Franco Turini
Latest
A framework for specifying and verifying the behaviour of open systems
Coordinating interaction patterns
On the Interplay between Reactivity and Computation
Dynamic composition of parameterised logic modules
Programming by Combining General Logic Programs
The Use of Renaming in Composing General Programs
Composing General Logic Programs
Fully Abstract Composition Semantics for an Algebra of Logic Programs
Amalgamating Language and Meta-language for Composing Logic Programs
Implementations of Program Composition Operations
Modular Logic Programming
Semantics of Meta-Logic in an Algebra of Programs
Meta for Modularising Logic Programming
Metalogic for State Oriented Programming
Metalogic for Knowledge Representation
Theory Construction in Computational Logic
Logic Programming within a Functional Framework
Universal Quantification by Case Analysis
Cite
×