11561 search results - page 198 / 2313 » A Language for Biochemical Systems |
175
click to vote
CADE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
168
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
192
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
182
click to vote
JCS
2002
15 years 6 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
165
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in the mathematical framework. In...