Filters








75,248 Hits in 4.8 sec

Foreword

J. P. Bahsoun, J. L. Fiadeiro, D. Galmiche
1999 Mathematical Structures in Computer Science  
The paper entitled A specification logic for concurrent object-oriented programming focuses on the use of linear logic as a language for specifying advanced concepts of programming -in particular the salient  ...  aspects of concurrent object-oriented programming.  ...  We are very grateful to Guiseppe Longo, Editor-in-Chief, who has given us the opportunity to organise this Special Issue on the topic Proof theory of concurrent object-oriented programming.  ... 
doi:10.1017/s0960129599002753 fatcat:7xh2n46uu5gz3cbvfnm3jefhli

Contents [chapter]

1997 Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects  
Object-Orientation 33 3.2 Object-Orientation and Logic Programming vs.  ...  Concurrency . 37 3.2.1 Features of Object-Orientation Supporting Concurrency 37 3.2.2 Inheritance and Concurrency 38 3.2.3 Features of Logic Programming Fostering Concurrency 41 3.3 Motivation for  ... 
doi:10.1515/9783110816013-toc fatcat:imbqllebpbfwppbq4kulypepjq

A rewriting approach to the design and evolution of object-oriented languages

Mark Hills, Grigore Rosu
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
Large subsets of several existing object-oriented languages have been defined, while a new research language, KOOL, has been created as a platform for experimenting with language features and type systems  ...  At the same time, new tools and formalisms aimed specifically at programming languages are being developed.  ...  This has led to a flurry of research activity in the design and formal definition of object-oriented languages and in methods for analyzing programs.  ... 
doi:10.1145/1297846.1297908 dblp:conf/oopsla/HillsR07 fatcat:7d5xtp7dfbg4hhyjn742sgldie

A logical theory of concurrent objects

José Meseguer
1990 SIGPLAN notices  
Maude contains OBJ3 as a functional sublanguage and provides a simple and semantically rigorous integration of functional programming and concurrent object-oriented programming.  ...  A direct fruit of this theory is a new language, called Maude, to program concurrent object-oriented modules in an entirely declarative way using rewriting logic; modules writte:l in this language are  ...  object-oriented modules and a number of issues in concurrent object-oriented programming, including Actors, and gives a model-theoretic semantics for Maude based on a model theory for rewriting logic.  ... 
doi:10.1145/97946.97958 fatcat:xn5kesgm4fgutfwdtrl5atnojy

Editorial

G. Scollo, T. Rus
1995 Theoretical Computer Science  
and applications, algebraic semantics of concurrency, process algebra, modal logics and reactive systems, design and refinement principles, object-oriented design and programming, equational and logic  ...  The author argues that the proper context for dealing with many aspects of object-oriented programming is imperative, whence his framework is built on a memory model.  ... 
doi:10.1016/0304-3975(95)90079-9 fatcat:2m3kjfgr25h5di6qn3tv3d3teq

Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems [chapter]

José Meseguer
2000 IFIP Advances in Information and Communication Technology  
Rewriting logic seems very weH suited as a semantic framework for open object-based distributed systems.  ...  Maude is a high-performance rewriting logic language and system developed at SRI International that supports executable specification and programming, and a flexible variety of formal analyses.  ...  It is therefore a pleasure for me to warmly thank all these colleagues, many of whom are mentioned by name in the body of the paper and in the references, for their many important contributions.  ... 
doi:10.1007/978-0-387-35520-7_5 fatcat:7oy4kfnjxnadxmojkv7jv34t3q

Agent-Oriented Software Engineering: The State of the Art [chapter]

Michael Wooldridgey, Paolo Ciancarini
2001 Lecture Notes in Computer Science  
We then go on to examine a number of prototype techniques proposed for engineering agent systems, including methodologies for agent-oriented analysis and design, formal specification and verification methods  ...  for agent systems, and techniques for implementing agent specifications.  ...  For a collection of articles on the applications of agent technology, see [41] . A comprehensive roadmap of agent technology was published as [40] .  ... 
doi:10.1007/3-540-44564-1_1 fatcat:afxxzbbww5azveaju6vx3kpt7q

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams

F RAMALHO
2004 Electronical Notes in Theoretical Computer Science  
We propose Concurrent Transaction Frame Logic (CTFL), an extension of first-order Horn logic that gives declarative semantics to object-oriented deductive databases, as a language to provide formal semantics  ...  CTFL extends Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives -serial conjunction, concurrent conjunction and atomic modality -that declaratively  ...  UML Class and Activity Diagrams UML is a diagrammatic and textual language for specification and modeling in Object-Oriented Software Engineering (OOSE).  ... 
doi:10.1016/s1571-0661(04)05016-9 fatcat:e6lqe6jkqnhqdf76dl6dokcasq

Preface to special issue: EXPRESS/SOS 2016 + 2017

Kirstin Peters, Simone Tini
2019 Acta Informatica  
Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of  ...  systems, specification of middle-ware and coordination languages, programming language semantics and implementation, static analysis software and hardware verification, semantics for domain-specific languages  ...  Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of  ... 
doi:10.1007/s00236-019-00342-w fatcat:cxm4g7eexbfhtky5awuw6df6l4

Type-theoretic foundations for concurrent object-oriented programing

Naoki Kobayashi, Akinori Yonezawa
1994 SIGPLAN notices  
Based on an analogous view "concurrent object-oriented programming = concurrent calculus + record," we develop a static type system for concurrent objectoriented programming.  ...  A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is "object-oriented programming = X-calculus + record."  ...  We are also thankful to the anonymous referees for helpful comments.  ... 
doi:10.1145/191081.191088 fatcat:7kcexsy7wvgg7buqpbpmojjbnq

Contents and abstracts of the electronic notes in theoretical computer science vol. 4

José Meseguer
1998 Theoretical Computer Science  
There are also several papers on logical and metalogical specification; on reflection and strategies; on applications to object-oriented design, specification and programming; and on applications to constraint  ...  Besides work on models and on concurrency aspects, there are several papers describing the different rewriting logic languages developed so far in Europe and the US, as well as a paper on semantic foundations  ...  As an intermediate step, we use a structured specification in the p-calculus blended with propositions on states appropriate for object-oriented specification.  ... 
doi:10.1016/s0304-3975(97)00247-8 fatcat:3cfgzbipsrenxoh5vxznnvaxl4

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams

Franklin Ramalho, Jacques Robin, Ulrich Schiel
2004 Electronical Notes in Theoretical Computer Science  
the model as an executable, object-oriented logic program.  ...  CTFL extends first-order Horn logic with object-oriented class hierarchy and object definition terms, and with five new logical connectives that declaratively capture temporal and concurrency constraints  ...  UML Class and Activity Diagrams UML is a diagrammatic and textual language for specification and modeling in Object-Oriented Software Engineering (OOSE).  ... 
doi:10.1016/j.entcs.2004.04.007 fatcat:uun5aa6cynar7al4biudsjybtm

AGENT-ORIENTED SOFTWARE ENGINEERING [chapter]

MICHAEL WOOLDRIDGE, PAOLO CIANCARINI
2001 Handbook of Software Engineering and Knowledge Engineering  
Specifically, it will be argued that: (i) the conceptual apparatus of agent-oriented systems is well-suited to building software solutions for complex systems and (ii) agent-oriented approaches represent  ...  a genuine advance over the current state of the art for engineering complex systems.  ...  Models for the temporal logic in which Concurrent MetateM agents are specified are linear discrete sequences of states: executing a Concurrent MetateM agent specification is thus a process of constructing  ... 
doi:10.1142/9789812389718_0021 fatcat:whdzpk2unvbwpmd47l4bgsaojm

Agent-Oriented Software Engineering [chapter]

Nicholas R. Jennings
1999 Lecture Notes in Computer Science  
Specifically, it will be argued that: (i) the conceptual apparatus of agent-oriented systems is well-suited to building software solutions for complex systems and (ii) agent-oriented approaches represent  ...  a genuine advance over the current state of the art for engineering complex systems.  ...  Models for the temporal logic in which Concurrent MetateM agents are specified are linear discrete sequences of states: executing a Concurrent MetateM agent specification is thus a process of constructing  ... 
doi:10.1007/3-540-48437-x_1 fatcat:e2lkvtkfkfcdva4rhlpztbbjvi

Agent-Oriented Software Engineering [chapter]

Nicholas R. Jennings
1999 Lecture Notes in Computer Science  
Specifically, it will be argued that: (i) the conceptual apparatus of agent-oriented systems is well-suited to building software solutions for complex systems and (ii) agent-oriented approaches represent  ...  a genuine advance over the current state of the art for engineering complex systems.  ...  Models for the temporal logic in which Concurrent MetateM agents are specified are linear discrete sequences of states: executing a Concurrent MetateM agent specification is thus a process of constructing  ... 
doi:10.1007/978-3-540-48765-4_2 fatcat:jfdxbmg22fb6dc4fiddmpgvayu
« Previous Showing results 1 — 15 out of 75,248 results