11561 search results - page 342 / 2313 » A Language for Biochemical Systems |
190
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
141
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
201
click to vote
TGC
2005
Springer
16 years 9 days ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
184
click to vote
OPODIS
2003
15 years 8 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
180
click to vote
ACL
1990
15 years 8 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...