6149 search results - page 45 / 1230 » Revealing the programming process |
GPCE
2004
Springer
14 years 4 months ago
2004
Springer
ASM
2003
ASM
14 years 4 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
ICCAD
1996
IEEE
14 years 3 months ago
1996
IEEE
In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We de ne a class of optimization problems as CH-posynomial programs and reveal a genera...
RR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
SIGSOFT
2002
ACM
14 years 11 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...