713 search results - page 64 / 143 » Viewcharts: Syntax and Semantics |
122
click to vote
ENTCS
1998
15 years 4 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
149
click to vote
TCS
2002
15 years 3 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
172
click to vote
TACAS
2012
Springer
13 years 12 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
136
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
163
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...