Sciweavers

959 search results - page 101 / 192
» Fundamental Concepts in Programming Languages
Sort
View
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 9 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
ICCS
2004
Springer
15 years 9 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
ERSHOV
2009
Springer
15 years 10 months ago
Privacy Preserving Modules for Ontologies
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...
Thomas Studer
ICALP
2004
Springer
15 years 9 months ago
Extensional Theories and Rewriting
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
Grigore Rosu
IDEAS
2003
IEEE
120views Database» more  IDEAS 2003»
15 years 9 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