Вы здесь

Главная

аннотация

Связанные издания:

A Functional Scenario for Bytecode Verification of Resource Bounds
An Active Functional Intensional Database
An approach to construction and analysis of a corpus of short Russian texts intended to train a sentiment classifier
Annotating, Extracting and Reasoning about Time and Events: Revised Papers/International Seminar. Dagstuhl Castle, Germany, April 2005
Containment of Relational Queries with Annotation Propagation
Decidability of Type-Checking in the Calculis of Algebraic Constructions with Size Annotations
F@BOOL@: Towards a Simple Verifying Compiler Based on SAT-Solvers
Fuzzy Logic and Applications: Proc./10th International Workshop, WILF 2013, Genoa, Italy, November 2013
Knowledge Processing and Data Analysis: Revised Selected Papers/1st Int Conf, KONT 2007, Novosibirsk, Russia, September 2007 and 1st Int Conf, KPP 2007, Darmstadt, Germany, September 2007
Multi-prover Verification of C Programs
Multi-Stage Programming with Explicit Annotations
On Logics of Aliasing
Provenance and Annotation of Data and Processes: Proc./6th International Provenance and Annotation Workshop, IPAW 2016, McLean,VA,USA, June 2016
Provenance and Annotation of Data and Processes: Proc./8th and 9th International Provenance and Annotation Workshop, IPAV 2020 + IPAV 2021, Virtual Event, July 2021
Provenance and Annotation of Data: Revised Selected Papers/International Provenance and Annotation Workashop, IPAW 2006. Chicago, IL, USA, May 2006
Semantic Multimedia: Revised Selected Papers/5th International Conference on Semantic and Digital Media Technologies, SAMT 2010, Saarbrucken, Germany, December 2010
Temporal Logic and Annotated Constraint Logic Programming
The Study of Argumentative Relations in Popular Science Discourse
Transactions on Large-Scale Data-and Knowledge-Centered Systems IV. Special Issue on Database Systems for Biomedical Applications
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXVII
Verifying the Standard C Library: the C-light Approach
Worldwide Languauge Service Infrastructure: Revised Selected Papers/2nd Internatuuional Workshop, WLSI 2015, Kyoto, Japan, January 2015
Атрибутные аннотации и их применение в дедуктивной верификации С-программ
Динамическая верификация программ на языке Паскаль с исполняемыми аннотациями
О свойстве полноты механизма аннотаций директив