Filters








93 Hits in 4.3 sec

PlexC

Yann G. Le Gall, Adam J. Lee, Apu Kapadia
2012 Proceedings of the 17th ACM symposium on Access Control Models and Technologies - SACMAT '12  
We take advantage of several recent user studies to identify a set of language requirements and features, providing the expressive power to accommodate information sharing in dynamic environments.  ...  risks in the current technological landscape.  ...  PlexC allows users to create concise policies for exposure management, and it inherits many desirable traits from Datalog (e.g., unambiguous semantics and tractable evaluation).  ... 
doi:10.1145/2295136.2295174 dblp:conf/sacmat/GallLK12 fatcat:qhsg7av34jearbcgcabdbqt42m

Scaling abstraction refinement via pruning

Percy Liang, Mayur Naik
2011 SIGPLAN notices  
We also prove that the pruned analysis is both sound and complete, that is, it yields the same results as an analysis that uses a more expensive abstraction directly without pruning.  ...  In this paper, we introduce a new technique called pruning that uses client feedback in a different way.  ...  Acknowledgments We thank Mooly Sagiv and Hongseok Yang for discussion and useful feedback. We also thank the anonymous reviewers for their insightful comments.  ... 
doi:10.1145/1993316.1993567 fatcat:7p6shnyrmvazrdrubez4c2cxfi

Scaling abstraction refinement via pruning

Percy Liang, Mayur Naik
2012 SIGPLAN notices  
We also prove that the pruned analysis is both sound and complete, that is, it yields the same results as an analysis that uses a more expensive abstraction directly without pruning.  ...  In this paper, we introduce a new technique called pruning that uses client feedback in a different way.  ...  Acknowledgments We thank Mooly Sagiv and Hongseok Yang for discussion and useful feedback. We also thank the anonymous reviewers for their insightful comments.  ... 
doi:10.1145/2345156.1993567 fatcat:kb4xy3pqljdazintm43mszduju

Scaling abstraction refinement via pruning

Percy Liang, Mayur Naik
2011 Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11  
We also prove that the pruned analysis is both sound and complete, that is, it yields the same results as an analysis that uses a more expensive abstraction directly without pruning.  ...  In this paper, we introduce a new technique called pruning that uses client feedback in a different way.  ...  Acknowledgments We thank Mooly Sagiv and Hongseok Yang for discussion and useful feedback. We also thank the anonymous reviewers for their insightful comments.  ... 
doi:10.1145/1993498.1993567 dblp:conf/pldi/LiangN11 fatcat:5i3ms6yxjrdwhahx4ntkz3xek4

Inline Evaluation of Hybrid Knowledge Bases [chapter]

Guohui Xiao, Thomas Eiter
2011 Lecture Notes in Computer Science  
In F-Logic, one can express many features in object oriented languages, such as object identity, complex objects, inheritance, polymorphism, and encapsulation.  ...  Experiments We present the details of experiments in this section. Firstly, in Section 7.2.1 we introduce five benchmark scenarios used in the evaluation.  ... 
doi:10.1007/978-3-642-23580-1_28 fatcat:xnzzbf2imngshokm36ni5vuzni

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

John Whaley, Monica S. Lam
2004 SIGPLAN notices  
This paper shows that pointer analysis, and many other queries and algorithms, can be described succinctly and declaratively using Datalog, a logic programming language.  ...  We applied our algorithm to the most popular applications available on Sourceforge, and found that the largest programs, with hundreds of thousands of Java bytecodes, can be analyzed in under 20 minutes  ...  Acknowledgments This material is based upon work supported by the National Science Foundation under Grant No. 0086160 and an NSF Graduate Student Fellowship.  ... 
doi:10.1145/996893.996859 fatcat:eed7ymqlpfedvj3taqxwr45kra

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

John Whaley, Monica S. Lam
2004 Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04  
This paper shows that pointer analysis, and many other queries and algorithms, can be described succinctly and declaratively using Datalog, a logic programming language.  ...  We applied our algorithm to the most popular applications available on Sourceforge, and found that the largest programs, with hundreds of thousands of Java bytecodes, can be analyzed in under 20 minutes  ...  Acknowledgments This material is based upon work supported by the National Science Foundation under Grant No. 0086160 and an NSF Graduate Student Fellowship.  ... 
doi:10.1145/996841.996859 dblp:conf/pldi/WhaleyL04 fatcat:pqe33q27dndtjijr6zndm6ezua

Fibonacci: A programming language for object databases

Antonio Albano, Giorgio Ghelli, Renzo Orsini
1995 The VLDB journal  
Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations  ...  A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases.  ...  I am an employee"; end; toEmployee(john; "Quality Management") ; john. Introduce --+ "My name is John Daniels and I was born in 1967.  ... 
doi:10.1007/bf01231643 fatcat:if63zbvo4vczpdxx2x7v6g3wka

Fibonacci: A Programming Language for Object Databases [chapter]

Antonio Albano, Giorgio Ghelli, Renzo Orsini
2000 Fully Integrated Data Environments  
Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations  ...  A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases.  ...  I am an employee"; end; toEmployee(john; "Quality Management") ; john. Introduce --+ "My name is John Daniels and I was born in 1967.  ... 
doi:10.1007/978-3-642-59623-0_5 fatcat:o7rhbv42abc25akrejf2t66rli

Whiteoak

Joseph Gil, Itay Maman
2008 SIGPLAN notices  
The compilation process starts by parsing the JTL code and translating it into DATALOG in the manner described in Section 2.3.1. We then build an in-memory representation of this DATALOG program.  ...  We present (Section 3.2) a catalog of micro patterns, organized in 8 categories, including idioms for a particular and intentionally restricted use of inheritance, immutability, wrapping and data management  ...  invokes on itself are only those that are inherited or overridden.  ... 
doi:10.1145/1449955.1449771 fatcat:gehhgajvmbaljjcuma72fm57ay

Whiteoak

Joseph Gil, Itay Maman
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
The compilation process starts by parsing the JTL code and translating it into DATALOG in the manner described in Section 2.3.1. We then build an in-memory representation of this DATALOG program.  ...  We present (Section 3.2) a catalog of micro patterns, organized in 8 categories, including idioms for a particular and intentionally restricted use of inheritance, immutability, wrapping and data management  ...  invokes on itself are only those that are inherited or overridden.  ... 
doi:10.1145/1449764.1449771 dblp:conf/oopsla/GilM08 fatcat:tl6bydglirduzeyp5bpz665acm

Theoretical Foundations for OODB's - a Personal Perspective

Catriel Beeri
1991 IEEE Data Engineering Bulletin  
There is also an equivalent model-theoretic semantics since, given these axioms, the model is unique.  ...  The semantics of such a database was delineated in works by Reiter, that introduced additional, implicit, axioms, and defined the meaning of a database as the logical closure of the explicit and the implicit  ...  Abiteboul and P. Kanellakis who defined an object-oriented data model AK89] from which we took inspiration.  ... 
dblp:journals/debu/Beeri91 fatcat:3iq2wecakzhd5oqmnvzbruhfpi

Logical foundations of object-oriented and frame-based languages

Michael Kifer, Georg Lausen, James Wu
1995 Journal of the ACM  
These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others.  ...  F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory.  ...  We are grateful to Alexandre Lefebvre and Heinz Upho for pointing out a problem with an earlier version of the semantics for inheritance.  ... 
doi:10.1145/210332.210335 fatcat:ksgocyxiqrhrnhmiidre6sb3xa

Bulk Types: Built-in or Add-On? [chapter]

Florian Matthes, Joachim W. Schmidt
2000 Fully Integrated Data Environments  
Our long-term experience with bulk types in the DBPL language and system clearly shows the limitation of the built-in approach: built-in Advanced Bulk, as elaborate as it may be, frequently does not cover  ...  In searching for an answer we first distinguish two substantially different levels on which bulk types are supported.  ...  Acknowledgements The authors would like to thank Malcolm Atkinson, Catrieel Beeri and Peter Buneman for stimulating comments on this work and the referees for their constructive remarks on an earlier version  ... 
doi:10.1007/978-3-642-59623-0_16 fatcat:t6qmrfzzabhnhfrz5yb56f6754

From model to implementation: a network algorithm programming language

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
2020 Science China Information Sciences  
The expressiveness and performance of NAPL are demonstrated in various industrial scenarios originating from practical network management.  ...  In contrast to several state-of-the-art languages, NAPL provides a range of critical high-level network programming features: (1) topology-based network modeling and visualization; (2) fast abstraction  ...  FML inherits the logical programming paradigm of Datalog [20] , wherein users can specify the maximum values of latency, jitter, and bandwidth.  ... 
doi:10.1007/s11432-019-2644-8 fatcat:3pxvjexhpjcafa5ddcxruiaegq
« Previous Showing results 1 — 15 out of 93 results