Introduction to the special issue of the SIGPLAN Notices on the Object-Oriented Programming Workshop

1986 ◽  
Author(s):  
Peter Wegner ◽  
Bruce Shriver
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Special Issue

scholarly journals Foreword

1999 ◽  
Vol 9 (3) ◽  
pp. 225-226
Author(s):  
J. P. Bahsoun ◽  
J. L. Fiadeiro ◽  
D. Galmiche
Keyword(s):  
System Development ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Theoretic Approach ◽  
Special Issue ◽  
Mathematical Structures ◽  
Object Based ◽  
Operational Interpretation ◽  
Points Of View ◽  
The One

There are various logic-based approaches to modelling concurrent programming. The use of logic for system development concerns both the specification step and the study of the operational aspects (through proof analysis and construction) of such development. This means that we have to consider different logical systems for different uses of logic. Moreover, we can also consider concurrency from both points of view: we want to reason and to specify systems where some concurrency aspects are involved, but also to have some operational interpretation of concurrency within logic (focusing on the concept of proof). For this purpose, it seems clear that we have to identify and to study, on the one hand, the role and the treatment of objects (representation, inheritance, modularity, communication, and so on) in this context, and, on the other hand, the interaction of work on proofs and concurrency with the Object-Oriented Programming paradigm.The ECOOP’96 workshop on ‘Proof Theory of Concurrent Object-Oriented Programming’ took place in Linz, Austria, in July 1996. Its objective was to provide an integrated forum for the presentation of research and the exchange of ideas and experiences in the topics concerned with proofs, concurrency and object-oriented programming (specification, proof development, and so on). The call for papers for this Special Issue of Mathematical Structures in Computer Science can be considered to have been a natural scientific continuation of the workshop.The papers selected for this Special Issue address some of the topics discussed in the workshop. They present different alternative frameworks that are effectively based on a proof-theoretic approach. They illustrate, from different points of view, the interest, potentialities and difficulties of dealing with such an approach in the design of object-based concurrent systems.

scholarly journals Introduction to the special issue on Prolog systems

2011 ◽  
Vol 12 (1-2) ◽  
pp. 1-4 ◽  
Author(s):  
BART DEMOEN ◽  
MARIA GARCIA DE LA BANDA
Keyword(s):  
Logic Programming ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Probabilistic Logic ◽  
Special Issue ◽  
Web Interfaces ◽  
Real World Applications ◽  
Developer Tools ◽  
Reliability And Robustness ◽  
Programming Paradigms

It has now been 40 years since the birth of the Prolog language and of its first implementation by A. Colmerauer and P. Roussel. Since then, a large number of Prolog systems have been implemented. While the core of the Prolog language has not changed much in these 40 years, Prolog systems have undergone an extraordinary evolution that stems from two main sources. One is the trend to extend Prolog to incorporate ideas from other language paradigms that have proved useful in real-world applications. This includes concurrency, parallelism, higher order predicates, object-oriented programming, Web interfaces, processing of large amounts of data, and flexible developer tools that enhance reliability and robustness through assertions. A second source of change is the exploration of ideas for which Prolog systems are uniquely suitable and that have led to the creation of new programming paradigms. This includes tabling, constraint logic programming, answer set programming, and probabilistic logic programming.

scholarly journals Introduction to the special issue: Languages and software in robotics

Robotica ◽  
1997 ◽  
Vol 15 (1) ◽  
pp. 1-2
Author(s):  
J. A. Rose
Keyword(s):  
Neural Networks ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Wide Field ◽  
Special Issue ◽  
Practical Applications ◽  
Simulation And Modelling ◽  
Potential Applications ◽  
Important Field

Section A of the special issue consisting of 13 papers covering a wide field is devoted to the topic of languages and software in robotics, with an emphasis on practical applications. Diverse themes are analysed and discussed, such as neural networks, fuzzy approaches, object-oriented programming, simulation and modelling, graphical robot languages and other pertinent topics. Authors from a number of countries have contributed papers describing recent research and different approaches to this important field, particularly in view of the potential applications in various areas.

Sign in / Sign up

Export Citation Format

Share Document