Sciweavers

7139 search results - page 382 / 1428
» Language Engineering in Practice
Sort
View
172
Voted
PEPM
2009
ACM
16 years 4 months ago
Linear logical approximations
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
Robert J. Simmons, Frank Pfenning
165
Voted
KBSE
2008
IEEE
16 years 1 months ago
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Diego Ordóñez Camacho, Kim Mens
CLEF
2004
Springer
16 years 28 days ago
Data Fusion for Effective European Monolingual Information Retrieval
For our fourth participation in the CLEF evaluation campaigns, our first objective was to propose an effective and general stopword list and a light stemming procedure for the Port...
Jacques Savoy
SCAM
2003
IEEE
16 years 24 days ago
CPP Denotational Semantics
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
Jean-Marie Favre
PPPJ
2003
ACM
16 years 23 days ago
A Java implemented key collision attack on the data encryption standard (DES)
A Java implementation of a key collision attack on DES suggested by Eli Biham, [1], is discussed. Storage space minimization and fast searching techniques to speed up the attack a...
John Loughran, Tom Dowling