Results 1 to 10 of about 6,146 (173)

A Practical Toolkit for Making Portable Compilers [PDF]

Communications of the ACM, 1983
Keizer, E.G., Staveren, H. van, Stevenson, J.W., Tanenbaum, A.S.   +3 more
core   +5 more sources

Specializing Interpreters using Offline Partial Deduction [PDF]

, 2004
We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones ...
A. Lakhotia, B. Martens, D. Sahlin, F. Bowers, H. Makholm, J. Gallagher, J. Jørgensen, J. Komorowski, J.W. Lloyd, J.W. Lloyd, K.R. Apt, K.R. Apt, L. Birkedal, L. Sterling, L. Sterling, M. Bruynooghe, M. Leuschel, M. Leuschel, M. Leuschel, M. Leuschel, M. Leuschel, M. Leuschel, N.D. Jones, N.D. Jones, N.D. Jones, N.D. Jones, N.D. Jones, P. Thiemann, R. Glück, R. Glück, S. Craig, S. Prestwich, T. Mogensen, W. Taha, W. Vanhoof, W. Vanhoof, Y. Cosmadopoulos, Y. Futamura   +37 more
core   +2 more sources

Mechanized semantics [PDF]

, 2010
The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core   +4 more sources

Towards modular compilers for effects [PDF]

, 2012
Compilers are traditionally factorised into a number of separate phases, such as parsing, type checking, code generation, etc. However, there is another potential factorisation that has received comparatively little attention: the treatment of separate ...
D.A. Schmidt, E. Meijer, E. Meijer, E. Moggi, G. Hutton, M. Jaskelioff, P. Wadler, W. Swierstra   +7 more
core   +2 more sources

How functional programming mattered [PDF]

, 2015
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is
Abelson, Armstrong, Armstrong, Arts, Arts, Axelsson, Baars, Backus, Bahr, Barthe, Bertot, Bird, Bird, Bird, Bird, Bird RS Moor, Blelloch, Blelloch, Bringert, Carette, Chakravarty, Chakravarty MMT Leshchinskiy, Chetali, Chin, Claessen, Claessen, Cole, Cole, de Moor, Dean, Devriese, Dijkstra, Dybvig, Elliott, Elliott, Epstein, Farmer, Fegaras, Felleisen, Ford, Gibbons, Gibbons, Gill, Halloway, Hammond, Hansen MR Rischel, Harris, Hinze, Hinze, Hu, Hu, Hu, Hu, Hu, Hudak, Hudak, Hudak, Hudak, Hudak, Hudak, Hughes, Hughes, Hughes, Hughes JM Bolinder, Hutton, Hutton, Jones, Katayama, Katayama, Kiselyov, Launchbury, Launchbury, Leijen, Leroy, Liang, Lindley, Loidl HW Rubio, Matsuzaki, Mcbride, Meijer, Meijer, Milner, Minsky, Minsky, Moggi, Moggi, Morita, Mu, Naiman, Norell, Odersky, Oliveira BCS Moors, Paterson, Paulson, Persson, Peyton Jones, Peyton Jones, Peyton Jones SL Wadler, Reynolds, Sagonas, Schrijvers, Sculthorpe, Seibel, Sheard, Skillicorn, Smith, Snyder, Steele, Steele, Svenningsson, Svenningsson, Swierstra, Swierstra SD Duponcheel, Takano, Takano, Tesson, Wadler, Wadler, Wadler, Wadler, Wampler, Yang   +121 more
core   +1 more source

Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]

, 2010
The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
A. Peymandoust, Alastair R. Beresford, Andreas Gal Albert Noll, Bram Adams, Bratin Saha, Carl Hewitt, Charles Antony Richard Hoare, Charles R. Johns, Chen-Yong Cher, Colin Blundell, David Ungar, David Wentzlaff, Doug Lea, ECMA International, Edward A. Lee, freescale semiconductor, Georg Sorst, Gul Agha, Hans Schippers, Haris Volos, Intel Corporation, James Gosling, Jim Gray, John A. Trono, John S. Danaher, John Zigman, Jos'e M. Piquer, Kevin Casey, Kevin Williams, Larry Seiler, Lukasz Ziarek, M. Anton Ertl, Mark S. Miller, Maurice Herlihy, Michael Haupt, Michael R. Marty, Nir Shavit, Pascal Costanza, Philipp Haller, Rajesh K. Karmani, Robert D. Blumofe, Robert Virding, Simon Gay, Sriram Srinivasan, Stefan Marr, Stefan Marr, Stijn Timbermont, Theo D'Hondt, Thomas Kistler, Tom Van Cutsem, Uwe Kastens, Vijay A. Saraswat, Virendra J. Marathe, Wenzhang Zhu, Wolfgang De Meuter, Xu Wang, Yaoqing Gao   +56 more
core   +3 more sources

Link-time smart card code hardening [PDF]

, 2015
This paper presents a feasibility study to protect smart card software against fault-injection attacks by means of link-time code rewriting. This approach avoids the drawbacks of source code hardening, avoids the need for manual assembly writing, and is ...
De Bosschere, Koen, De Keulenaer, Ronald, De Sutter, Bjorn, Maebe, Jonas   +3 more
core   +1 more source

Abstract interpretation [PDF]

, 1996
. Abstract interpretation has been widely used for verifying properties of computer systems. Here, we present a way to extend this framework to the case of probabilistic systems.
Michael Monerau, Patrick Cousot
core   +1 more source

Speculative Staging for Interpreter Optimization [PDF]

, 2013
Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for executing dynamically typed programming languages. The key idea
Brunthaler, Stefan
core  

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

FEBS Letters, EarlyView.
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source