540 search results - page 26 / 108 » Protection in Programming-Language Translations |
ERSHOV
2009
Springer
15 years 4 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...
UML
2001
Springer
15 years 1 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...
TCS
2010
14 years 7 months 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...
IGPL
2011
14 years 28 days 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...
OOPSLA
2007
Springer
15 years 3 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...