Developing a Declarative Analysis Language: LINQToROOT
نویسندگان
چکیده
منابع مشابه
Using a Declarative Language to Build an Experimental Analysis Tool
In this paper we give a brief summary of our experience in using a declarative language, Prolog, to develop an experimental formal analysis tool, the NRL Protocol Analyzer, which was updated and modiied over the years to incorporate new theories and techniques. We discuss the beneets of using such an approach, and also some of the downsides... . The application of formal methods to cryptographi...
متن کاملChimera: A Declarative Language for Streaming Network Traffic Analysis
Intrusion detection systems play a vital role in network security. Central to these systems is the language used to express policies. Ideally, this language should be powerful, implementation-agnostic, and cross-platform. Unfortunately, today’s popular intrusion detection systems fall short of this goal. Each has their own policy language in which expressing complicated logic requires implement...
متن کاملDeclarative Mark-Up Language as a Tool for Developing Educational Hypermedia
Web ever-growing generalization and its use in educational settings is impelling the development of high-quality educational hypermedia applications. Hypermedia systems complexity has promoted the use of abstract hypermedia models to capture the most relevant characteristics of these systems. Current models put the stress on hypermedia components and its hyperlinking structure (e.g. Dexter Mode...
متن کاملAdding Search to a Declarative Modelling Language
Modellers would like to automatically translate a declarative conceptual model of a constrained combinatorial problem into an efficient design model. However, for efficiency, most solving techniques require a model-specific search strategy, which is inherently procedural and, thus, difficult to integrate with the declarative conceptual model. This paper describes a small, non-intrusive extensio...
متن کاملDebugging for a Declarative Programming Language
This paper investigates debugging in declarative programming languages, concentrating specifically on the integrated functional and logic programming language Escher. The Escher language has types and modules, higher-order and meta-programming facilities, and declarative input/output. It also has a collection of system modules, providing numerous operations on standard data types such as intege...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPJ Web of Conferences
سال: 2019
ISSN: 2100-014X
DOI: 10.1051/epjconf/201921406039