1023 search results - page 136 / 205 » A Formal Method for Program Slicing |
108
click to vote
IFL
2001
Springer
15 years 6 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
106
click to vote
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
ZUM
1992
Springer
15 years 5 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
LDTA
2010
15 years 1 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...