5090 search results - page 417 / 1018 » Constructing Strategies for Programming |
144
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
168
click to vote
GPCE
2003
Springer
16 years 1 days ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
155
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
162
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
208
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...