1073 search results - page 21 / 215 » Formal Program Development with Approximations |
122
click to vote
ICFP
2003
ACM
16 years 1 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...
116
click to vote
LCTRTS
2001
Springer
15 years 6 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
107
Voted
FMSB
2008
15 years 3 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
97
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
112
Voted
EACL
2006
ACL Anthology
15 years 3 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...