Sciweavers

513 search results - page 73 / 103
» Operational and abstract semantics of the query language G-L...
Sort
View
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 2 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
SIGMOD
2007
ACM
159views Database» more  SIGMOD 2007»
15 years 11 months ago
Anatomy of the ADO.NET entity framework
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
Atul Adya, José A. Blakeley, S. Muralidhar,...
FMCO
2004
Springer
15 years 4 months ago
Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
Erika Ábrahám, Marcello M. Bonsangue...
GG
2010
Springer
15 years 5 days ago
Multi-Amalgamation in Adhesive Categories
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
Ulrike Golas, Hartmut Ehrig, Annegret Habel
POPL
1994
ACM
15 years 3 months ago
A Needed Narrowing Strategy
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
Sergio Antoy, Rachid Echahed, Michael Hanus