Results 21 to 30 of about 94 (76)
Practical Reflection and Metaprogramming for Dependent Types [PDF]
, 2016 Embedded domain-specific languages are special-purpose programming languages that are implemented within existing generalpurpose programming languages.
Christiansen, David Raymond
core +4 more sources
Space cost analysis using sized types [PDF]
, 2008 Programming resource-sensitive systems, such as real-time embedded systems, requires guaranteeing both the functional correctness of computations and also that time and space usage fits within constraints imposed by hardware limits or the environment ...
Vasconcelos, Pedro B.
core +2 more sources
On the Importance of Reverse Polish Notation for the Development of Computer Science [PDF]
, 2020 Artykuł dotyczy wpływu beznawiasowej notacji polskiej na rozwój współczesnej informatyki i innych, pokrewnych dyscyplin naukowych korzystających z technik informatycznych, m.in. matematyki, elektroniki, automatyki czy robotyki.
Gryś, Sławomir, Minkina, Waldemar
core +1 more source
Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation
, 2006 We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a database and an access policy specification.
Varea, Mauricio +2 more
core +1 more source
Typed Self-Applicable Meta-Programming [PDF]
, 2017 Self-applicable meta-programming has its roots in the early days ofcomputer science.Two early examples were published in 1936: the universal Turingmachine, and a self-interpreter for the λ-calculus.These were major advances in computability theory ...
Brown, Matt
core
Calculating an Exceptional Machine [PDF]
, 2005 In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to verify, an abstract machine for this language.
Wright, Joel, Hutton, Graham
core
Applications of information sharing for code generation in process virtual machines [PDF]
, 2016 As the backbone of many computing environments today, it is important that process virtual machines be both performant and robust in mobile, personal desktop, and enterprise applications.
Kyle, Stephen Christopher
core +3 more sources
Syntax error handling in language translation systems [PDF]
, 1991 Compilers, interpreters, editors are examples of language translation systems which are an essential component of computing. Such systems need to be able to handle most kinds of input, including input that is syntactically incorrect, according to the ...
Dain, Julia Anne
core
Search based software engineering: Trends, techniques and applications [PDF]
, 2012 © ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from the link below.In the past five years there has been a dramatic increase
Harman, M, Mansouri, SA, Zhang, Y
core +1 more source
Understanding financial feasibility studies as an artefact in quantity surveying practice
, 2022 A thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy in the field of Quantity Surveying to the Faculty of Engineering and the Built Environment, School of Construction Economics and Management University of the ...
Terblanche, Rolien
core