Sciweavers

148 search results - page 20 / 30
» Living it up with a live programming language
Sort
View
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
13 years 11 months ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...
IGPL
2006
130views more  IGPL 2006»
13 years 7 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 7 months ago
A Virtual Logo Keyboard for People with Motor Disabilities
In our society, people with motor impairments are oftentimes socially excluded from their environment. This is unfortunate because every human being should have the possibility to...
Stéphane Norte, Fernando G. Lobo
CAL
2006
13 years 7 months ago
A Case for Compressing Traces with BDDs
Instruction-level traces are widely used for program and hardware analysis. However, program traces for just a few seconds of execution are enormous, up to several terabytes in siz...
Graham D. Price, Manish Vachharajani
ITCC
2002
IEEE
14 years 9 days ago
The Object Behavior of Java Object-Oriented Database Management Systems
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
Chia-Tien Dan Lo, J. Morris Chang, Ophir Frieder, ...