Sciweavers

1105 search results - page 79 / 221
» From Languages to Systems: Understanding Practical Applicati...
Sort
View
SOFSEM
2009
Springer
14 years 4 months ago
From Outermost Termination to Innermost Termination
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
René Thiemann
MA
2000
Springer
125views Communications» more  MA 2000»
13 years 11 months ago
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
Ichiro Satoh
HICSS
2003
IEEE
109views Biometrics» more  HICSS 2003»
14 years 1 months ago
Towards a Structurational Theory of Information Systems: A Substantive Case Analysis
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
Jeremy Rose, Ray Hackney
PEPM
2010
ACM
14 years 4 months ago
Clone detection and elimination for Haskell
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
Christopher Brown, Simon Thompson
JUCS
2002
131views more  JUCS 2002»
13 years 7 months ago
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Develop
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
Alexander Fronk