Results 71 to 80 of about 359,485 (170)
An Abstract Programming System [PDF]
arXiv, 2003 The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axioms may be the target of such a translation. The system PL also permits the construction and proof of correctness of programs in an abstract programming language, and permits ...
arxiv
Phobos: A front-end approach to extensible compilers (long version) [PDF]
, 2002 This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the ...
Granicz, Adam, Hickey, Jason
core +2 more sources
Berichte zur Wissenschaftsgeschichte, EarlyView.Abstract The 2011 Fukushima Daiichi Nuclear Power Plant accident underscored the crucial role of nuclear engineering experts. However, the specific arguments and motivations of scientists advocating for the introduction of foreign reactors remain unclear.
Masahiro Inohana
wiley +1 more source
A new module system for prolog [PDF]
, 2009 It is now widely accepted that separating programs into modules has proven very useful in program development and maintenance. While many Prolog implementations include useful module systems, we feel that these systems can be improved in a number of ways,
Cabeza Gras, Daniel +1 more
core +1 more source
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
, 2006 State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc.
C. Vaucheret +9 more
core +1 more source
Invisible Labor and the “Ghost Particle”: Underground Physics at the Kolar Gold Fields**
Berichte zur Wissenschaftsgeschichte, EarlyView.Abstract When cosmic rays—high‐energy particles from outer space—encounter the Earth's atmosphere, they produce particles called neutrinos. To detect them, physicists go underground inside deep mines where the overlying rock can filter out the cosmic‐ray background radiation.
Nithyanand Rao
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Despite the environmental imperative of a transition to a circular economy (CE), the current literature finds that globally firms are being slow to engage with such a transition. In this context, our thematic review explores how artificial intelligence (AI) might accelerate firm CE transition.
Donghao Huang +2 more
wiley +1 more source
, 2000 Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there is constraint logic programming which computes a solution as an answer substitution to a query containing the variables of the ...
De Mot, Emmanuel +2 more
core +3 more sources
Pathways to a Sustainable Blue Economy: Exploring Its Barriers in an Emerging Economy
Business Strategy and the Environment, EarlyView.ABSTRACT A sustainable blue economy is primarily intended for responsible consumption of ocean resources, achieving economic growth, and strengthening the overall ecosystem. The roots of the blue economy are embedded in sustainable development, exploiting opportunities for economic welfare and growth, simultaneously focusing on conserving marine health.
Koppiahraj Karuppiah +2 more
wiley +1 more source
A Metamodel of Unit Testing for Object-Oriented Programming Languages [PDF]
arXiv, 2009 A unit test is a method for verifying the accuracy and the proper functioning of a portion of a program. This work consists to study the relation and the approaches to test Object-Oriented Programming (OOP) programs and to propose a metamodel that enables the programmer to write the tests while writing the source code to be tested by exploiting the key
arxiv