Firewall Configuration Policies for the Specification and Implementation of Private Zones

2012 ◽  
Author(s):  
Jorge Lobo ◽  
Massimo Marchi ◽  
Alessandro Provetti
Keyword(s):  
Specification And Implementation

CHR grammars

2005 ◽  
Vol 5 (4-5) ◽  
pp. 467-501 ◽  
Author(s):  
HENNING CHRISTIANSEN
Keyword(s):  
Logic Programming ◽  
Integrity Constraints ◽  
Bottom Up ◽  
Context Sensitive ◽  
Language Analysis ◽  
Definite Clause Grammars ◽  
Grammar Rules ◽  
High Flexibility ◽  
Definite Clause ◽  
Specification And Implementation

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena. The formalism extends previous logic programming based grammars with a form of context-sensitive rules and the possibility to include extra-grammatical hypotheses in both head and body of grammar rules. Among the applications are straightforward implementations of Assumption Grammars and abduction under integrity constraints for language analysis. CHR grammars appear as a powerful tool for specification and implementation of language processors and may be proposed as a new standard for bottom-up grammars in logic programming.

Specification and Implementation

2019 ◽  
pp. 189-198
Author(s):  
Giuseppe Primiero
Keyword(s):  
Computing Systems ◽  
Specification And Implementation

This chapter considers the need to understand the relation between specification and implementation of computing systems, and to clarify the problem of miscomputation.

Sign in / Sign up

Export Citation Format

Share Document