PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Theoretical Computer Science
Vulcan: logical concurrent objects
Research directions in object-oriented programming
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A logical analysis of modules in logic programming
Journal of Logic Programming
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Automated deduction in nonclassical logics
Automated deduction in nonclassical logics
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Logic and objects
Concurrent constraint programming
Concurrent constraint programming
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
On proof normalization in linear logic
MFPS '92 Selected papers of the conference on Meeting on the mathematical foundations of programming semantics, part I : linear logic: linear logic
Proof theoretic approach to specification languages
Proof theoretic approach to specification languages
Logic programming in intuitionistic linear logic: theory, design, and implementation
Logic programming in intuitionistic linear logic: theory, design, and implementation
Forum: a multiple-conclusion specification logic
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Communicating sequential processes
Communications of the ACM
A Theory of Objects
A lambda calculus of objects and method specialization
Nordic Journal of Computing
Objects in a Logic Programming Framework
Proceedings of the First Russian Conference on Logic Programming
Foundations of Proof Search Strategies Design in Linear Logic
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Higher-Order Concurrent Linear Logic Programming
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Programming in Lygon: An Overview
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Proofs, Concurrent Objects, and Computations in a FILL Framework
OBPDC '95 Selected papers from the Workshop, on Object-Based Parallel and Distributed Computation
The pi-Calculus as a Theory in Linear Logic: Preliminary Results
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
A Logic for Reasoning with Higher-Order Abstract Syntax
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |
This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming. A well-founded combination of higher-order logic programming and linear logic will be used to give an accurate encoding of the traditional features of concurrent object-oriented programming languages, whose corner-stone is the notion of encapsulation.