3706 search results - page 198 / 742 » The Transformational Approach to Program Development |
133
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
109
click to vote
IEE
2008
15 years 3 months ago
2008
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...
111
Voted
EICS
2010
ACM
15 years 7 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
136
click to vote
APBC
2003
15 years 4 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
110
click to vote
WSC
2004
15 years 4 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...