1021 search results - page 72 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
197
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
UML
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
ICFP
2010
ACM
15 years 9 days ago
2010
ACM
A student learning how to program learns best when the programming language and programming environment cater to her specific needs. These needs are different from the requirement...
COMPSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
130
click to vote
ESOP
1992
Springer
15 years 3 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...