2943 search results - page 278 / 589 » Software Implementation of Synchronous Programs |
208
Voted
DLS
2009
15 years 1 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
122
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
141
Voted
SIGCSE
1999
ACM
15 years 8 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...
126
Voted
FORTE
2008
15 years 5 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
231
Voted
ACMMSP
2006
ACM
15 years 9 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...