Sciweavers

5090 search results - page 431 / 1018
» Constructing Strategies for Programming
Sort
View
XSYM
2004
Springer
89views Database» more  XSYM 2004»
16 years 5 days ago
A Runtime System for XML Transformations in Java
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
Aske Simon Christensen, Christian Kirkegaard, Ande...
ERSHOV
2003
Springer
16 years 2 days ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker
ESOP
2001
Springer
15 years 11 months ago
Encoding Intensional Type Analysis
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
Stephanie Weirich
IFIP
2001
Springer
15 years 11 months ago
A Standardized Co-simulation Backbone
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
Braulio Adriano de Mello, Flávio Rech Wagne...
WCRE
1996
IEEE
15 years 11 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia