Sciweavers

926 search results - page 50 / 186
» Prolog as the First Programming Language
Sort
View
190
Voted
POPL
2007
ACM
16 years 2 months ago
Assessing security threats of looping constructs
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
Pasquale Malacaria
ECOOP
2005
Springer
15 years 8 months ago
Efficient Multimethods in a Single Dispatch Language
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...
Brian Foote, Ralph E. Johnson, James Noble
ICALP
2000
Springer
15 years 6 months ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla
JWE
2006
101views more  JWE 2006»
15 years 2 months ago
Reactivity on the Web: Paradigms and Applications of the Language XChange
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
François Bry, Michael Eckert, Paula-Lavinia...
143
Voted
ENTCS
2002
83views more  ENTCS 2002»
15 years 2 months ago
Operational Semantics for Functional Logic Languages
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...