Objects in concurrent logic programming languages

Kahn, Ken; Tribble, Eric Dean; Miller, Mark S.; Bobrow, Daniel G.

doi:10.1145/323648.323739

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1990

1996

Publication Types

Select...

Article4

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 14 publications

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Declarative specification of the architecture of a software development environment

1995

View full text Add to dashboard Cite

There is an increasing interest in the study of software architectures; however, it still unclear which kind of formalisms and techniques should be used in their design. We study the suitability of a rule‐based, parallel logic language in the specification of the architecture of a complex software system, i.e. a software development environment. We have used as a case study SMILE, an environment for programming‐in‐the‐large. Because of the declarative, concurrent and object‐oriented features of parallel logic programming, we have been able to design a software architecture that emphasizes the dynamics of co‐ordination inside the software development environment. The result of this experience shows the usefulness and some weaknesses of logic languages for specifying and prototyping the software architecture of a distributed interactive system.

show abstract