Filters








348,785 Hits in 5.0 sec

Mixing source and bytecode

Lennart C.L. Kats, Martin Bravenboer, Eelco Visser
2008 SIGPLAN notices  
To allow for a more loosely coupled approach, we propose an open compiler model based on normalization steps from a high-level language to a subset of it, the core language.  ...  Language extensions can often be realized through translation to the base language, supported by preprocessors and extensible compilers.  ...  Language Design Key to compilation by normalization is the notion of a core language that is -often incrementally -extended with new abstractions to form a rich, high-level language.  ... 
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  
Language Design Key to compilation by normalization is the notion of a core language that is -often incrementally -extended with new abstractions to form a rich, high-level language.  ...  This normalization ensures that other rules only have to deal with the latter form.  ... 
doi:10.1145/1449764.1449772 dblp:conf/oopsla/KatsBV08 fatcat:t2iu5lofofbalea6ojvi57h43y

Implementing Java modeling language contracts with AspectJ

Henrique Rebêlo, Sérgio Soares, Ricardo Lima, Leopoldo Ferreira, Márcio Cornélio
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java applications.  ...  The paper includes a comparative study to demonstrate the quality of the final code generated by our compiler. The size of the code is compared against the code generated by an existent JML compiler.  ...  In order to overcome this limitation, this paper proposes an approach to implement a new JML compiler with support for Java ME applications.  ... 
doi:10.1145/1363686.1363745 dblp:conf/sac/RebeloSLFC08 fatcat:7vbrpwg2k5gpthn65jrv5njvz4

A JML Compiler Based on AspectJ

Henrique Reb, Ricardo Lima, M Corn, S Soares
2008 2008 International Conference on Software Testing, Verification, and Validation  
The paper also includes a comparative study to demonstrate the quality of the final code generated by our compiler.  ...  In order to overcome this limitation, we propose the use of AspectJ to implement a new JML compiler, which generates an instrumented bytecode compliant with both Java SE and Java ME applications.  ...  It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family [4] of interface specification languages, with some elements of the refinement calculus  ... 
doi:10.1109/icst.2008.14 dblp:conf/icst/RebeloLCS08 fatcat:zxhvz5zx3vcxpjvf4ybkqmysg4

Layout-oblivious compiler optimization for matrix computations

Huimin Cui, Qing Yi, Jingling Xue, Xiaobing Feng
2013 ACM Transactions on Architecture and Code Optimization (TACO)  
We evaluated our approach on an Intel 8-core platform using two source-to-source compiler infrastructures, Pluto and EPOD.  ...  Therefore separately optimizing the operations and the data layout of a computation could dramatically enhance the effectiveness of compiler optimizations compared with the conventional approaches of using  ...  THE OVERALL APPROACH (1) Matrix normalization.  ... 
doi:10.1145/2400682.2400694 fatcat:24fhy46qvbgc7g3webltf4b5hi

Layout-oblivious optimization for matrix computations

Huimin Cui, Qing Yi, Jingling Xue, Xiaobing Feng
2012 Proceedings of the 21st international conference on Parallel architectures and compilation techniques - PACT '12  
compilers optimizations.  ...  be much more accurately analyzed and optimized through varying state-of-the-art compiler technologies.  ...  With our layoutoblivious optimization approach, the computational kernels which originally cannot be analyzed by compilers can benefit from normalizing its data accesses and become optimizable.  ... 
doi:10.1145/2370816.2370880 dblp:conf/IEEEpact/CuiYX012 fatcat:er53czfd3rfcjof544gd56dmru

Synthesis of Floating-Point Addition Clusters on FPGAs Using Carry-Save Arithmetic

Amit Verma, Ajay K. Verma, Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne
2010 2010 International Conference on Field Programmable Logic and Applications  
Similar to Altera's floating-point data path compiler, it performs normalization once, at the output of the cluster operation.  ...  Compared to Altera's floating-point datapath compiler, our method reduces the critical path delay by as much as 20%, and area by as much as 29% on Altera Stratix III FPGAs.  ...  Compared to Altera's compiler [1, 2] our approach improves critical path delay up to 20% and area up to 29%. II. PRELIMINARIES A.  ... 
doi:10.1109/fpl.2010.15 dblp:conf/fpl/VermaVPBI10 fatcat:r2ycy2sukje6dkteqhk5ikw5xe

Compiling Diderot: From Tensor Calculus to C [article]

Charisee Chiw and Gordon L. Kindlmann and John Reppy
2018 arXiv   pre-print
This paper describes our approach to this challenge, which is based around the careful design of an intermediate representation (IR), called EIN, and a number of compiler transformations that lower the  ...  We describe the challenges in compiling a language like Diderot, the design of EIN, and the transformation used by the compiler.  ...  terms in normal form.  ... 
arXiv:1802.06504v1 fatcat:nfwsuvl5z5g6nlycm3haxbxyr4

ORC-OpenMP: An OpenMP Compiler Based on ORC [chapter]

Yongjian Chen, Jianjiang Li, Shengyuan Wang, Dingxing Wang
2004 Lecture Notes in Computer Science  
This approach improves the code quality by reducing runtime overhead and code size.  ...  Different from other open source OpenMP compilation system, this compiler has the following characteristics: First, it's integrated into the backend optimization compiler that mainly exploits Instruction  ...  We also want to thank the ORC group members for their work on ORC.  ... 
doi:10.1007/978-3-540-24688-6_55 fatcat:izjj34utd5civnvc7y4n7wncjq

A facility for the downward extension of a high-level language

Thomas N. Turba
1982 Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82  
This facility has been implemented in a systems-programming language and was designed to provide access to facilities not directly available in the language.  ...  Extensions are specified in an assembler-like language that is used at compile time to produce executable code to be combined with compiler-generated code.  ...  In the design of the system described here, it was felt that the normal case would be for a code sequence to be used repeatedly in many places.  ... 
doi:10.1145/800230.806988 dblp:conf/sigplan/Turba82 fatcat:eiojy2vhe5gmdf6s33rnr5pfgq

Security through obscurity: An approach for protecting Register Transfer Level hardware IP

Rajat Subhra Chakraborty, Swarup Bhunia
2009 2009 IEEE International Workshop on Hardware-Oriented Security and Trust  
The modified gate-level design is then decompiled to generate an obfuscated version of the RTL.  ...  In this paper, we propose a key-based security through obscurity approach for protecting RTL hardware IPs.  ...  RTL compilation was performed using Synopsys Design Compiler.  ... 
doi:10.1109/hst.2009.5224963 dblp:conf/host/ChakrabortyB09 fatcat:jes6bipc3rcjje6djkafcftkm4

Accelerating information experts through compiler design

Aaron W. Hsu
2015 Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2015  
The design of the Co-dfns compiler, itself an APL program, possesses a unique architecture that permits implementation without branching, recursion, or other complex forms of control flow.  ...  The Co-dfns compiler project aims to reduce the overheads involved in creating high-performance code in APL.  ...  It also uses the nanopass style of compiler design and includes a macro system on top of it to reduce the number of core forms the compiler must consider.  ... 
doi:10.1145/2774959.2774968 dblp:conf/pldi/Hsu15 fatcat:t6jtgdp2hrbwtcrikaybqh2owi

Applying knowledge compilation techniques to model-based reasoning

R.M. Keller
1991 IEEE Expert  
of approaches ranging from more compiled to less compiled.  ...  According to Davis, compilation work seeks to improve tractability by changing the form of a model -rather than its content.  ... 
doi:10.1109/64.79715 fatcat:zenfepdcqzedlky7rypm3ej22u

Towards a Compiler for Business-IT Systems [chapter]

Jana Koehler, Thomas Gschwind, Jochen Küster, Hagen Völzer, Olaf Zimmermann
2011 Lecture Notes in Computer Science  
We describe a set of ten research problems that we see as critical to bring our compiler vision to reality.  ...  To overcome this fragmentation, we propose the vision of a compiler for Business-IT systems that takes business process specifications described at various degrees of detail as input and compiles them  ...  A compiler-oriented approach helps to solve the business problems and to address the technical challenges around BPM/SOA.  ... 
doi:10.1007/978-3-642-22386-0_1 fatcat:auc4n76a7nfxdaiind34fcqpiy

Developing Correct Systems

J. Bowen, E.-R. Olderog, M. Franzle, A.P. Ravin
1993 Fifth Euromicro Workshop on Real-Time Systems  
parallel programs Compilation of programs to hardware and Compilation of real-time programs to conventional processors.  ...  This survey paper introduces novel speci cation languages and veri cation techniques for four levels of development: Requirements de nition and design Program speci cations and their transformation to  ...  The normal form approach is based on work on proving software compilation correct 16, 1 7 ] .  ... 
doi:10.1109/emwrt.1993.639088 dblp:conf/ecrts/BowenOFR93 fatcat:mzk3tebgingh3ftgawd2qwd2pu
« Previous Showing results 1 — 15 out of 348,785 results