Sciweavers

14298 search results - page 143 / 2860
» Dynamic Languages and Applications
Sort
View
120
Voted
EACL
1993
ACL Anthology
15 years 6 months ago
The donkey strikes back: Extending the dynamic interpretation "constructively"
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
Tim Fernando
123
Voted
FASE
2009
Springer
15 years 11 months ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth
ECOOP
2005
Springer
15 years 10 months ago
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
Lee Salzman, Jonathan Aldrich
AOSD
2007
ACM
15 years 9 months ago
Debugging with control-flow breakpoints
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
Rick Chern, Kris De Volder
ICWE
2005
Springer
15 years 10 months ago
Light-Weight Distributed Web Interfaces: Preparing the Web for Heterogeneous Environments
Abstract. In this paper we show an approach that allows web interfaces to dynamically distribute among several interconnected heterogeneous devices in an environment to support the...
Chris Vandervelpen, Geert Vanderhulst, Kris Luyten...