1710 search results - page 27 / 342 » High-Level Programs and Program Conditions |
SIAMJO
2010
13 years 2 months ago
2010
Abstract: In this paper, we study KKT optimality conditions for constrained nonlinear programming problems and strong and Mordukhovich stationarities for mathematical
KBSE
2002
IEEE
14 years 25 days ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
AGP
1997
IEEE
14 years 4 days ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
IFIP
2007
Springer
14 years 2 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
CN
1998
13 years 7 months ago
1998
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...