Filters








36,568 Hits in 3.8 sec

Modularity and Temporal Reasoning: A Logic Programming Approach

Vitor Nogueira, Salvador Abreu
2007 14th International Symposium on Temporal Representation and Reasoning (TIME'07)  
Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP), we find few examples of their integration.  ...  In this paper we propose the addition of temporal annotations to a modular extension of LP.  ...  Modular Language The modular language is Contextual Logic Programming -CxLP, a simple and powerful extension of logic programming with mechanisms for modularity and object orientation which is partly described  ... 
doi:10.1109/time.2007.53 dblp:conf/time/NogueiraA07 fatcat:jvcbqdsqvrcb7ptlajlamnclqi

Modular Verification for Computer Security

Andrew W. Appel
2016 2016 IEEE 29th Computer Security Foundations Symposium (CSF)  
Here I explain some of the modularity principles that make these verifications possible.  ...  Several recent projects have demonstrated that formal, deductive functional-correctness verification is now possible for kernels, crypto, and compilers.  ...  The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of DARPA  ... 
doi:10.1109/csf.2016.8 dblp:conf/csfw/Appel16 fatcat:7667qxql2ne5dapggwi76wrryq

A Generative Programming Approach to Developing DSL Compilers [chapter]

Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe
2005 Lecture Notes in Computer Science  
Because these tools are high level, they match the needs of a DSL, facilitating the development of the DSL compiler, and making it modular and retargetable.  ...  This paper presents a methodology to develop DSL compilers, centered around the use of generative programming tools.  ...  Our approach modularize the program generation process of a DSL compiler.  ... 
doi:10.1007/11561347_4 fatcat:cv3pptec6nhvpkzoandb3mlgtm

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
Journal of Logic Programming, 1985, 2(4): 295-312.  ...  In: Nori, semantics of constraint logic programs. The Journal of Logic K.V. ed. Foundations of Software Technology and Theoretical Programming, 1998, 37(1-3): 1-46.  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

E 3 : A Framework for Compiling C++ Programs with Encrypted Operands [article]

Eduardo Chielle, Oleg Mazonka, Nektarios Georgios Tsoutsos, Michail Maniatakos
2018 IACR Cryptology ePrint Archive  
At its current version, E3 supports a variety of homomorphic encryption libraries, batching, mixing different encryption schemes in the same program, as well as the ability to combine modular computation  ...  Our framework combines the properties of both bit-level arithmetic and modular arithmetic within the same algorithm.  ...  It solely represents the computational logic of the program.  ... 
dblp:journals/iacr/ChielleMTM18 fatcat:mcobdsgtfjgcthihcvdl64rhiq

Page 31 of Journal of Systems Management Vol. 30, Issue 2 [page]

1979 Journal of Systems Management  
ments of computer time for compiling and debugging, and the ratio of number of statements changed to number of statements compiled is very small.  ...  Structured Programming Structured programming is a form of modular pro- gramming, but it is much more than that.  ... 

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Frederico Alvares, Gwenael Delaval, Eric Rutten, Lionel Seinturier
2017 2017 IEEE International Conference on Autonomic Computing (ICAC)  
From the compilation point of view, we provide a systematical and generative approach to decompose control problems described in the architectural level while relying on mechanisms of modular Discrete  ...  The natural architectural structure of componentbased systems calls for hierarchy and modularity in the design and implementation of composites and their managers, and requires support for coordinated  ...  Compilation Performance Analysis In order to evaluate the compilation performance, we executed a series of compilations of modular and monolithic versions of Ctrl-F programs, each of them was executed  ... 
doi:10.1109/icac.2017.48 dblp:conf/icac/AlvaresDRS17 fatcat:vwydehqpqzeifprq6d42lmtzfe

Making induction manifest in modular ACL2

Carl Eastlund, Matthias Felleisen
2009 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09  
The second novelty consists of the first proofs of soundness and expressivity for Modular ACL2; we also reaffirm the usefulness of our system with updated benchmarks.  ...  In this paper we revise our language, Modular ACL2, to overcome this weakness.  ...  and suggestions, to Sky O'Mara for help with the implementation of Modular ACL2; and to T.  ... 
doi:10.1145/1599410.1599424 dblp:conf/ppdp/EastlundF09 fatcat:gthhirdkfvcdxj233ojumz4ioy

Distributed, Modular HTL

Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova
2009 2009 30th IEEE Real-Time Systems Symposium  
We present a modular abstract syntax and semantics for HTL, modular checks of well-formedness, race freedom, and transmission safety, and modular code distribution.  ...  HTL programs must be checked for well-formedness, race freedom, transmission safety (schedulability of inter-host communication), and time safety (schedulability of host computation).  ...  The modular compiler can also compile HTL programs on the level of individual components.  ... 
doi:10.1109/rtss.2009.9 dblp:conf/rtss/HenzingerKMS09 fatcat:h6e7tcq6rbbk5iuy6xa5f7kcee

Separate compilation and execution of imperative synchronous modules

E. Vecchie, J.-P. Talpin, K. Schneider
2009 2009 Design, Automation & Test in Europe Conference & Exhibition  
The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge.  ...  We propose a new compilation method inspired by traditional sequential code generation techniques to produce coroutines whose hierarchical structure reflects the control flow of the original source code  ...  In the context of a modular execution, the correct compilation of programs requires some minimal knowledge about the modules.  ... 
doi:10.1109/date.2009.5090916 dblp:conf/date/VecchieTS09 fatcat:5bdiqa5vsngzpmexevtysv2d7e

An Overview of the Ciao System [chapter]

Manuel V. Hermenegildo, F. Bueno, M. Carro, P. López-García, R. Haemmerlé, E. Mera, J. F. Morales, G. Puebla
2011 Lecture Notes in Computer Science  
Ciao is a logic-based, multi-paradigm programming system.  ...  The compiler is capable of statically finding violations of these properties or verifying that programs comply with them, and issuing certificates of this compliance.  ...  Abstract Ciao is a logic-based, multi-paradigm programming system.  ... 
doi:10.1007/978-3-642-22546-8_2 fatcat:huy2tgj5lbhs5lq5qehkk3dk6i

ScaffCC: Scalable compilation and analysis of quantum programs

Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi
2015 Parallel Computing  
Our work also integrates a reversible-logic synthesis tool in the compiler to facilitate coding of quantum circuits.  ...  Drawing upon mature compiler technologies, we discuss similarities and differences between compilation of classical and quantum programs, and adapt our methods to optimizing the compilation time and output  ...  [24] , the ScaffCC compiler handles program scale by making heavy use of modularization.  ... 
doi:10.1016/j.parco.2014.12.001 fatcat:sfsq3efzinevbmm3xfxrdwic5a

ScaffCC

Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi
2014 Proceedings of the 11th ACM Conference on Computing Frontiers - CF '14  
Our work also highlights the importance of high-level quantum compilation for logical circuit translation, quantitative analysis of algorithms, and optimization of circuit lengths.  ...  We discuss the similarities and differences between compiling for a quantum computer as opposed to a classical computer, and present a state-of-the-art approach for compilation of classical circuits into  ...  [6] , the ScaffCC compiler handles program scale by making heavy use of modularization.  ... 
doi:10.1145/2597917.2597939 dblp:conf/cf/JavadiAbhariPKHLCM14 fatcat:xgfc54g5cbhslfpdljydtjtodu

Optimizing modular logic languages

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
1998 ACM Computing Surveys  
Modular logic programming has been studied along two orthogonal lines of research (see ] for a survey).  ...  Partial Deduction The application of partial deduction in the optimization of modular logic programming was proposed in ] extending the standard definition of partial deduction in logic programming [Lloyd  ... 
doi:10.1145/289121.289131 fatcat:blxpajjd3nelbjbphypl7paqm4

Page 4932 of Mathematical Reviews Vol. , Issue 99g [page]

1999 Mathematical Reviews  
In this paper, we pro- pose a logic-independent definition of compilation for logic pro- gramming languages.  ...  Summary: “Commercial implementations of logic programming languages are engineered around a compiler based on Warren’s Abstract Machine (WAM) or a variant of it.  ... 
« Previous Showing results 1 — 15 out of 36,568 results