Filters








222,335 Hits in 4.5 sec

Mixing source and bytecode

Lennart C.L. Kats, Martin Bravenboer, Eelco Visser
2008 SIGPLAN notices  
Language extensions can often be realized through translation to the base language, supported by preprocessors and extensible compilers.  ...  However, various kinds of extensions require further adaptation of a base compiler's internal stages and components, for example to support separate compilation or to make use of low-level primitives of  ...  By avoiding direct compiler extension, their implementation only requires basic knowledge of a language's structure and semantics, not of its compiler.  ... 
doi:10.1145/1449955.1449772 fatcat:agsp3ctqk5fjlp3tqr7s6xoopi

Mixing source and bytecode

Lennart C.L. Kats, Martin Bravenboer, Eelco Visser
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
By avoiding direct compiler extension, their implementation only requires basic knowledge of a language's structure and semantics, not of its compiler.  ...  This design allows a straightforward implementation of the extension, no longer requiring implementation-level knowledge of the open compiler it builds on.  ... 
doi:10.1145/1449764.1449772 dblp:conf/oopsla/KatsBV08 fatcat:t2iu5lofofbalea6ojvi57h43y

An extensible knowledge base management system for supporting rule-based interoperability among heterogeneous systems

Stanley Y. W. Su, Herman Lam, Javier Arroyo-Figueroa, Tsae-Feng Yu, Zhidong Yang
1995 Proceedings of the fourth international conference on Information and knowledge management - CIKM '95  
the attainment of some common goals.  ...  The main objective of a virtual enterprise (VE) is to allow a number of organizations to rapidly develop a working environment to manage a collection of resources contributed by the organizations toward  ...  A Compilation Approach to Rule-based lnteroperability The technique used to achieve the rule-based interoperability is to use the ECAA rule specifications in NCL together with the NCL'S method specifications  ... 
doi:10.1145/221270.221280 dblp:conf/cikm/SuLAYY95 fatcat:p6ntmq2uajehdkalwy3yq4keni

A kind of logical compilation for knowledge bases

Philippe Mathieu, Jean-Paul Delahaye
1994 Theoretical Computer Science  
We propose a compilation system for knowledge bases, which we call logical compilation, which allows us to compute the two-valued consequence literals of a knowledge base (i.e. set of rules) using a forward  ...  chaining on the compiled base with any extensional knowledge base (i.e. set of basic facts) added.  ...  This defines what we call a logical compilation of a knowledge base because achievement is obtained just once and from then on the user can change the extensional knowledge base as he wants without any  ... 
doi:10.1016/0304-3975(94)90095-7 fatcat:5wcolosadngbreuwcl26eafrki

User-Extensible Simplification—Type-Based Optimizer Generators [chapter]

Sibylle Schupp, Douglas Gregor, David Musser, Shin-Ming Liu
2001 Lecture Notes in Computer Science  
In this paper our aim is to address this level-of-abstraction barrier by showing how a compiler can be organized so that it can make use of semantic information about an ADT at its natural abstract level  ...  The new simplifier is connected to the Gnu C++ compiler and currently performs optimizations at very high level in the front end.  ...  We thank Sun Chan, Alex Stepanov, and Bolek Szymanski for their encouragement and help in defining a suitable focus for the project; Sun was also directly involved in the first stages of the simplifier  ... 
doi:10.1007/3-540-45306-7_7 fatcat:tyswsbaszrgxzlgajrrfiw2uxy

CoLab: A hybrid knowledge representation and compilation laboratory

Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer
1995 Annals of Operations Research  
It will be used as the source of examples throughout the paper when discussing t he enhanced formalisms, the hybrid representation architecture, and the compilers.  ...  We pursue a declarative-compilative approach to knowledge engineering.  ...  Acknow ledgements The research presented in this paper and the development of COLAB have been carried out by the knowledge-compilation group of the ARC-TEC project at the DFKI, supported by the BMFT under  ... 
doi:10.1007/bf02031716 fatcat:djzxr64dgvce5bdiug7sdfgoca

Production Compilation: A Simple Mechanism to Model Complex Skill Acquisition

Niels A. Taatgen, Frank J. Lee
2003 Human Factors  
INTRODUCTION In such diverse environments as air traffic control and nuclear power plant operation, researchers in human factors have accumulated extensive empirical knowledge of human performance in complex  ...  We use production compilation to develop a detailed model of learning in a simulated air traffic control task.  ...  To model this shift from using declarative knowledge to procedural knowledge, Anderson proposed a learning mechanism he called knowledge compilation, which became part of the ACT* cognitive architecture  ... 
doi:10.1518/hfes.45.1.61.27224 pmid:12916582 fatcat:di6hnpsxq5bzjb3kkjydgcmwva

Automated Analysis of Security Protocols

Michael Rusinowitch
2003 Electronical Notes in Theoretical Computer Science  
The compiler: The CASRUL compiler performs a static analysis to check the executability of the protocol (i.e. whether each principal has enough knowledge to compose the messages he is supposed to send)  ...  , and then compiles the protocol and intruder activities into an Intermediate Format based on first-order multiset rewriting.  ...  The compiler: The CASRUL compiler performs a static analysis to check the executability of the protocol (i.e. whether each principal has enough knowledge to compose the messages he is supposed to send)  ... 
doi:10.1016/s1571-0661(04)80690-x fatcat:7ef4ilufrzbcforkbch4gfgwl4

Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML [chapter]

Sumit Bhansali, Benjamin N. Grosof
2005 Lecture Notes in Computer Science  
The original use case & design pattern for Description Logic Programs (DLP).  ...  strong semantic equivalence -Platform with pluggability and automatic tool composition • Supports Correct Negation-As-Failure in Production Rules, via new techniques • Newly Uses Courteous Compiler to  ... 
doi:10.1007/11580072_10 fatcat:oiggkbrgsbafjasxrgisxmbia4

Review: Popular Northern Sotho Dictionary

K Mashamaite
2010 Lexikos  
This information includes: -3 000 new words added extensively revised new edition look up words directly -no knowledge of grammatical rules presupposed revised spelling With the inclusion of new commonly  ...  The stem-base arrangement is extremely user-friendly, since no knowledge of grammatical rules is presupposed.  ... 
doi:10.4314/lex.v10i1.51286 fatcat:d7gs3fdkdrasbbzvinus53wnqi

Reusability library framework (RLF)

J. J. Solderitsch, M. A. Simos, K. C. Wallnau
1988 Proceedings of the conference on TRI-Ada '88 - TRI-Ada '88  
Application Rules enable the statement of rules that can interact with the operations available within the application that is using AdaTAU, and thereby update the state of the knowledge base for the application  ...  AdaTAU is a rule-based inferencer, and may be used as a stand-alone knowledge representation system, or in conjunction with AdaKNET (as in the Librarian application).  ...  The RLF includes a semantic network subsystem and a rule-driven inferencing subsystem which are used to record domain knowledge and heuristics in a form suitable for use within Ada applications.  ... 
doi:10.1145/76619.76630 fatcat:rjpsb66pyrhm5ossue6rh36eqa

Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation [chapter]

Neil V. Murray, Erik Rosenthal
2003 Lecture Notes in Computer Science  
Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation.  ...  Full dissolvents are linkless NNF formulas that do not in general have the latter property. However, many of the applications of DNNF can be obtained with full dissolvents.  ...  Acknowledgement The authors are indebted to the reviewers for their careful reading of the paper; a number of corrections and improvements resulted.  ... 
doi:10.1007/978-3-540-45206-5_14 fatcat:kf3fvoem6redvixgbgtqykmpre

T.J. Kriel (original compiler), D.J. Prinsloo and B.P. Sathekge (compilers revised edition). Popular Northern Sotho Dictionary

Kwena J. Mashamaite
2011 Lexikos  
This information includes: 3 000 new words added extensively revised new edition look up words directly -no knowledge of grammatical rules presupposed revised spelling With the inclusion of new commonly  ...  The stem-base arrangement is extremely user-friendly, since no knowledge of grammatical rules is presupposed.  ... 
doi:10.5788/10-0-904 fatcat:xphdrd73yjdw5h55gpkqgifqqm

Using knowledge-based techniques on loop parallelization for parallelizing compilers

Chao-Tung Yang, Shian-Shyong Tseng, Cheng-Der Chuang, Wen-Chung Shih
1997 Parallel Computing  
A rule-based system, called the K-Test, is developed by repertory grid and attribute ording table to construct the knowledge base.  ...  The K-Test chooses an appropriate testing algorithm according to some features of the input program by using knowledge-based techniques, and then applies the resulting test to detect data dependences for  ...  Acknowledgements We would like to thank the anonymous reviewers for suggesting of improvements, and offering of encouragements.  ... 
doi:10.1016/s0167-8191(96)00090-7 fatcat:7kibxezduvcfvhwtphy75hkjdy

Prolog and deductive databases

M.H. Williams, G. Chen, D. Ferbrache, P. Massey, S. Salvini, H. Taylor, K.F. Wong
1988 Knowledge-Based Systems  
However,c urrent Prologi mplementations are limited, and the database examples used have all consisted of relatively small sets of clauses.  ...  The second aim is to implement a deductive database management system in Prolog, while a thirdisto evaluate the effectiveness of parallel logic languagesf or implementing database applications.  ...  ACKNOWLEDGEMENTS The authors wish to acknowledge the support received from ICL, and from the Science and Engineering Research Council under the Alvey initiative,w ho are currently funding the project.  ... 
doi:10.1016/0950-7051(88)90077-9 fatcat:zfbzzpzmgffsbojqshay4j4sca
« Previous Showing results 1 — 15 out of 222,335 results