433 search results - page 23 / 87 » A history of the history of programming languages |
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
SMALLTALK
2007
Springer
15 years 5 months ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
LREC
2010
15 years 1 months ago
2010
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...
VLDB
1994
ACM
15 years 3 months ago
1994
ACM
Making a database system active entails developing an expressive event specification language with well-defined semantics, algorithms for the detection of composite events, and an...
ACL
1998
15 years 1 months ago
1998
The paper presents a language model that develops syntactic structure and uses it to extract meaningful information from the word history, thus enabling the use of long distance d...