540 search results - page 26 / 108 » Protection in Programming-Language Translations |
115
Voted
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
136
Voted
UML
2001
Springer
15 years 7 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
133
click to vote
TCS
2010
15 years 27 days ago
2010
Horn⊃ is a logic programming language which extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a form of s...
141
Voted
IGPL
2011
14 years 6 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
114
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...