Simone Contiero  Home/Search
Context
Related
| di.unipi.it/phd/tesi/te...TD399.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unipi.it/phd/tesi/tesi_1999 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The construction of complex systems out of (possibly existing) software components is one of the crucial issues in the development of modern computer systems. In this respect, it is becoming more and more evident that the activity of building software is moving from writing lines of code in some programming language to writing "gluing " software (in some meta-language) to put existing programs at work together. To address such an issue, a reasonably simple formalism enjoying firm mathematical... (Update)
Similar documents (at the sentence level):
16.1%: A Program Specialiser for Meta-level Compositions of Logic.. - Brogi, Contiero (1996) (Correct)
Active bibliography (related documents): More All
0.2: The Use of Renaming in Composing General Programs - Brogi, Contiero, Turini (1999) (Correct)
0.2: Programming by Combining General Logic Programs - Brogi, Contiero, Turini (1997) (Correct)
0.0: Flexible Optimization And Evolution Of Underwater.. - Eberbach, Brooks, Phoha (1999) (Correct)
Similar documents based on text: More All
0.3: Basic theory of F-bounded quantification - Baldan, Ghelli, Raffaetà (1999) (Correct)
0.2: A Proposal for an Abstract Neural Machine - Sona (2002) (Correct)
0.2: Modular Formal Frameworks for Module Systems - Ancona (1998) (Correct)
BibTeX entry: (Update)
@misc{ contiero-logicbased,
author = "Simone Contiero",
title = "Logic-Based Composition of Software",
url = "citeseer.ist.psu.edu/contiero99logicbased.html" }
Citations (may not include all citations):94 Why interaction is more powerful than algorithms - Wegner - 1997
4 Compositionality of normal logic programs (context) - Verbaeten, Denecker et al. - 1997
Documents on the same site (http://www.di.unipi.it/phd/tesi/tesi_1999.html):
Self-Diagnosis of Grid-Interconnected Systems, with Application.. - Chessa (1999) (Correct)
Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC