Abstract+Expressionist

 More results for "Abstract+E..." in  VIDEOS DOCUMENTS AUDIOS GROUPS STAGES/PROFILES ALL

• 

• Abstract Combining Higher-Order Abstract Syntax with First-Order Abstr...
• Encodings based on higher-order abstract syntax represent the variables of an object-language as the variables of a meta-language. Such encodings allow for the reuse of a-conversion, substitution and ...
• Rating:        Views: (1026)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Abstract Higher-Order Abstract Syntax
• We describe motivation, design, use, and implementation of higher-order abstract syntax as a central representation for programs, formulas, rules, and other syntactic objects in program manipulation a...
• Rating:        Views: (1029)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Abstract papers submitted by abstract presenters at NITA's tenth annua...
• Rating:        Views: (17)     Pages: ()     Uploaded: 1982-7-1
•  

• 

• Abstract Generation of Abstract Programming Interfaces from Syntax Def...
• This paper describes how an Abstract Programming Interface (api) and its implementation can be generated from the syntax definition of a data type. In particular we describe how a grammar (in Sdf) can...
• Rating:        Views: (1028)     Pages: ()     Uploaded: 22-01-08
•  

• 

• Coordination of Abstract Machines Extended Abstract 1997
• ) Rapha#l Couturier and Dominique M#ry Universit# Henri Poincar# & CRIN - CNRS URA 262 BP 239, 54506 Vand#uvre-l#s-Nancy France email: (couturie,mery)@loria.fr 1 Introduction The B method [1] is based...
• Rating:        Views: (1029)     Pages: ()     Uploaded: 13-05-09
•  

• 

• ABSTRACT Integrity Constraints in Trust Management Extended Abstract
• We introduce the use, monitoring, and enforcement of integrity constraints in trust management-style authorization systems. We consider what portions of the policy state must be monitored to detect vi...
• Rating:        Views: (1023)     Pages: ()     Uploaded: 22-01-08
•  

• 

• Abstract FCS?03 Preliminary Version Encryption as an abstract data-typ...
• At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic. The linear logic setti...
• Rating:        Views: (1028)     Pages: ()     Uploaded: 22-01-08
•  

• 

• Abstract Hierarchical Cache Consistency in a WAN Extended Abstract
• This paper explores ways to provide strong consistency for Internet applications scaling to millions of clients. We make four contributions. First, we identify the ways in which specific characteristi...
• Rating:        Views: (1026)     Pages: ()     Uploaded: 08-04-09
•