Sciweavers

6740 search results - page 251 / 1348
» Using Classification as a Programming Language
Sort
View
PPDP
2000
Springer
15 years 6 months ago
Declarative event-oriented programming
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
Conal Elliott
RR
2007
Springer
15 years 8 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans

Book
359views
17 years 16 days ago
C++ Annotations
"This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like to know more about, or make the transi...
Frank B. Brokken
146
Voted
POPL
1998
ACM
15 years 6 months ago
Local Type Inference
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
Benjamin C. Pierce, David N. Turner
ECOOP
2008
Springer
15 years 4 months ago
Exploring Role Based Adaptation
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
Sebastian Goetz, Ilie Savga