Sciweavers

3516 search results - page 148 / 704
» Programming Languages: Application and Interpretation
Sort
View
POPL
2012
ACM
14 years 17 days ago
The ins and outs of gradual type inference
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
Aseem Rastogi, Avik Chaudhuri, Basil Hosmer
ENTCS
2000
109views more  ENTCS 2000»
15 years 4 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
142
Voted
UM
2005
Springer
15 years 10 months ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
163
Voted
IDEAS
2003
IEEE
120views Database» more  IDEAS 2003»
15 years 10 months ago
A Framework for Customisable Schema Evolution in Object-Oriented Databases
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
Awais Rashid
IFIP
1998
Springer
15 years 9 months ago
Migrating Objects in Electronic Commerce Applications
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
Marko Boger