Sciweavers

4231 search results - page 359 / 847
» Using Language More Responsibly
Sort
View
HASKELL
2009
ACM
16 years 1 months ago
Finding the needle: stack traces for GHC
Even Haskell programs can occasionally go wrong. Programs calling head on an empty list, and incomplete patterns in function definitions can cause program crashes, reporting littl...
Tristan O. R. Allwood, Simon Peyton Jones, Susan E...
UML
2005
Springer
16 years 5 days ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
SAIG
2001
Springer
15 years 11 months ago
Short Cut Fusion: Proved and Improved
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
Patricia Johann
153
Voted
ECOOPW
1999
Springer
15 years 11 months ago
J-Kernel: A Capability-Based Operating System for Java
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...
Thorsten von Eicken, Chi-Chao Chang, Grzegorz Czaj...
HICSS
1996
IEEE
136views Biometrics» more  HICSS 1996»
15 years 11 months ago
Applications of Multilingual Text Retrieval
The recent enormous increase in the use of networked information access and on-line databases has led to more databases being available in languages other than English. The Center...
W. Bruce Croft, John Broglio, Hideo Fujii