Sciweavers

7139 search results - page 330 / 1428
» Language Engineering in Practice
Sort
View
IUI
2006
ACM
16 years 1 months ago
Topic modeling in fringe word prediction for AAC
Word prediction can be used for enhancing the communication ability of persons with speech and language impairments. In this work, we explore two methods of adapting a language mo...
Keith Trnka, Debra Yarrington, Kathleen F. McCoy, ...
VSTTE
2005
Springer
16 years 23 days ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
AOSD
2004
ACM
16 years 22 days ago
Advice weaving in AspectJ
This paper describes the implementation of advice weaving in AspectJ. The AspectJ language picks out dynamic join points in a program's execution with pointcuts and uses advi...
Erik Hilsdale, Jim Hugunin
AADEBUG
1997
Springer
15 years 11 months ago
Assertions for Dynamic Shape Analysis of List Data Structures
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
Mikhail Auguston, Miu Har Hon
WCRE
2010
IEEE
15 years 5 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu