Sciweavers

1552 search results - page 117 / 311
» Concepts and Concept-Oriented Programming
Sort
View
FM
2006
Springer
97views Formal Methods» more  FM 2006»
14 years 1 months ago
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
Ioannis T. Kassios
TCS
2002
13 years 9 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus
ERSHOV
1999
Springer
14 years 2 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...
ECOOP
1998
Springer
14 years 2 months ago
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohana...
IFIP
2000
Springer
14 years 1 months ago
Information Systems Conceptual Foundations: Looking Backward and Forward
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
Gordon B. Davis