Sciweavers

4666 search results - page 171 / 934
» Equations on Timed Languages
Sort
View
ECOOPW
1997
Springer
15 years 9 months ago
Design Patterns vs. Language Design
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
Joseph Gil, David H. Lorenz
147
Voted
ER
2008
Springer
102views Database» more  ER 2008»
15 years 6 months ago
On Temporal Cardinality in the Context of the TOWL Language
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
Viorel Milea, Michael Mrissa, Kees van der Sluijs,...
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
15 years 11 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
157
Voted
ICALP
2001
Springer
15 years 10 months ago
On the Approximability of Average Completion Time Scheduling under Precedence Constraints
Abstract. We consider the scheduling problem of minimizing the average weighted job completion time on a single machine under precedence constraints. We show that this problem with...
Gerhard J. Woeginger
136
Voted
ESOP
1990
Springer
15 years 9 months ago
From Interpreting to Compiling Binding Times
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
Charles Consel, Olivier Danvy