Results 1 - 10 of 157

Embedding Hygiene-Compatible Macros in an Unhygienic Macro System

by Pascal Costanza
"... Abstract: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also true: We present a model of a core unhygienic macro system, on top of which a hygiene-compatible macro system ca ..."
Abstract - Add to MetaCart
Abstract: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also true: We present a model of a core unhygienic macro system, on top of which a hygiene-compatible macro system

Hygiene for the Unhygienic Hygiene-Compatible Macros in an Unhygienic Macro System

by Pascal Costanza
"... Abstract: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also true: We present a model of a core unhygienic macro system, on top of which a hygiene-compatible macro system ca ..."
Abstract - Add to MetaCart
Abstract: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also true: We present a model of a core unhygienic macro system, on top of which a hygiene-compatible macro system

Debugging macros

by Ryan Culpepper, Matthias Felleisen , 2007
"... Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs into a small core language; unlike Lisp systems, Scheme macro expanders preserve many desirable properties, including lexic ..."
Abstract - Cited by 15 (4 self) - Add to MetaCart
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs into a small core language; unlike Lisp systems, Scheme macro expanders preserve many desirable properties, including

MacroSS: Macro-SIMDization of Streaming Applications

by Amir H. Hormati, Yoonseo Choi, Mark Woh, Manjunath Kudlur
"... SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled architectures have the capability of boosting the performance of many application domains by exploiting data-level paralle ..."
Abstract - Cited by 13 (3 self) - Add to MetaCart
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled architectures have the capability of boosting the performance of many application domains by exploiting data

Embedded Operating System Energy Analysis and Macro-modeling

by Tan Raghunathan And, T. K. Tan, A. Raghunathan, N. Jha - in Proc. Int. Conf. Computer Design , 2002
"... A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a significant impact on the energy efficiency of the embedded system. Hence, analysis of the energy effects of the OS is of great i ..."
Abstract - Add to MetaCart
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a significant impact on the energy efficiency of the embedded system. Hence, analysis of the energy effects of the OS is of great

Hygienic Macros for ACL2

by Carl Eastlund, Matthias Felleisen
"... Abstract. ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp’s unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns. The lack of hygiene means that macros do not automatically protect their producers or consumers from acc ..."
Abstract - Add to MetaCart
Abstract. ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp’s unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns. The lack of hygiene means that macros do not automatically protect their producers or consumers from

Debugging Hygienic Macros

by Ryan Culpepper, Matthias Felleisen , 2009
"... Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs into a small core language; unlike Lisp systems, Scheme macro expanders preserve lexical scoping, and advanced Scheme macro ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
macro systems handle other important properties such as source location. Using such macros, Scheme programmers now routinely develop the ultimate abstraction: embedded domain-specific programming languages. Unfortunately, a typical Scheme programming environment provides little support for macro

Refining Syntactic Sugar: Tools for Supporting Macro Development

by Ryan Culpepper , 2010
"... Over the past two decades, Scheme macros have evolved into a pow-erful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs into a small core language; unlike Lisp systems, Scheme macro expanders preserve lexical scoping, and advanced Scheme ma ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
macro systems handle other important properties such as source location. Using such macros, Scheme programmers now routinely develop the ultimate abstraction: embedded domain-specific programming languages. Unfortunately, a typical Scheme programming environment provides little support for macro

Modeling the Nonlinear Behavior of Macro Fiber Composite Actuators

by Michael Stuebner A, Ralph C. Smith A, Michael Hays B, William S. Oates B
"... Macro Fiber Composites (MFC) are planar actuators comprised of PZT fibers embedded in an epoxy matrix that is sandwiched between electrodes. Due to their construction, they exhibit significant durability and flexibility in addition to being lightweight and providing broadband inputs. They are presen ..."
Abstract - Add to MetaCart
Macro Fiber Composites (MFC) are planar actuators comprised of PZT fibers embedded in an epoxy matrix that is sandwiched between electrodes. Due to their construction, they exhibit significant durability and flexibility in addition to being lightweight and providing broadband inputs

Macro-Modeling of Systems Including Free-Space Optical MEMS

by Timothy Kurzweg And, Timothy P. Kurzweg, Arthur S. Morris Iii
"... One barrier to the integration of MEMS devices into optical systems is the lack of a system-level CAD tool allowing the optimization of MOEMS designs simultaneously with embedding control electronics. Our work addresses this issue by integrating extracted electromechanical macro-models for MEMS devi ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
One barrier to the integration of MEMS devices into optical systems is the lack of a system-level CAD tool allowing the optimization of MOEMS designs simultaneously with embedding control electronics. Our work addresses this issue by integrating extracted electromechanical macro-models for MEMS
Results 1 - 10 of 157