626 search results - page 69 / 126 » Towards a Unified Programming Language |
IASTEDSE
2004
13 years 11 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
PLILP
1992
Springer
14 years 2 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
BANFF
1995
14 years 1 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
ECOOP
1994
Springer
14 years 2 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...