7139 search results - page 55 / 1428 » Language Engineering in Practice |
APSEC
2003
IEEE
15 years 3 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
101
click to vote
POPL
1999
ACM
15 years 4 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
COLING
1996
15 years 1 months ago
1996
Language engineering implenicnts functions of a language and inforillation via computers. '['he need for language engineering plattbrms has been generally recognized and...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...