Sciweavers

5536 search results - page 108 / 1108
» Programming Languages for Distributed Applications
Sort
View
ECOOP
1992
Springer
15 years 8 months ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
Svend Frølund
CC
2010
Springer
144views System Software» more  CC 2010»
15 years 11 months ago
The Polyhedral Model Is More Widely Applicable Than You Think
Mohamed-Walid Benabderrahmane, Louis-Noël Pou...
TGC
2007
Springer
15 years 10 months ago
A Protocol Compiler for Secure Sessions in ML
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
Ricardo Corin, Pierre-Malo Deniélou
MODELLIERUNG
2001
15 years 6 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
15 years 8 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen