Relevant bibliographies by topics / GNU Emacs (Computer program)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature on the topic 'GNU Emacs (Computer program)'

Author: Grafiati
Published: 4 June 2021
Last updated: 26 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'GNU Emacs (Computer program).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "GNU Emacs (Computer program)"

1

LAPALME, GUY. "Dynamic tabbing for automatic indentation with the layout rule." Journal of Functional Programming 8, no. 5 (September 1998): 493–502. http://dx.doi.org/10.1017/s0956796898003098.

Full text
Abstract:
We show the design principles of an automatic indentation GNU Emacs mode for Haskell and Miranda(tm), functional languages using the ‘layout rule’ instead of the usual parenthetic structures for indentifying dependent program parts.
APA, Harvard, Vancouver, ISO, and other styles
2

Glesner, Sabine, Simone Forster, and Matthias Jäger. "A Program Result Checker for the Lexical Analysis of the GNU C Compiler." Electronic Notes in Theoretical Computer Science 132, no. 1 (May 2005): 19–35. http://dx.doi.org/10.1016/j.entcs.2005.01.029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rakic, Predrag, Zarko Zivanov, and Miroslav Hajdukovic. "COLIBROS: Educational operating system." Computer Science and Information Systems 7, no. 4 (2010): 705–19. http://dx.doi.org/10.2298/csis070521022r.

Full text
Abstract:
This paper gives an overview of educational operating system called COLIBROS. It is small, object oriented, library operating system, based on micro-kernel concepts, supporting high level concurrency and synchronization primitives. In fact, COLIBROS is simplified operating system kernel accompanied with hardware emulation layer that emulates keyboard, monitor, disk and interrupt mechanism. A concurrent COLIBROS program behaves like stand alone program executing in emulated environment, in our case as plain GNU/Linux process. Encapsulating all critical concepts in host operating system user space makes COLIBROS development and debugging easier and more user friendly.
APA, Harvard, Vancouver, ISO, and other styles
4

Papakonstantinou, Eleni, Vasileios Megalooikonomou, and Dimitrios Vlachakis. "Dark Suite; a comprehensive toolbox for computer-aided drug design." EMBnet.journal 25 (March 13, 2020): e928. http://dx.doi.org/10.14806/ej.25.0.928.

Full text
Abstract:
Dark Suite is a complete interactive software pipeline aiming to exploit the advantages of free software and modern programming. Besides two commands (installation and opening) on the command line, the handling and the program operation is done through a user’s friendly interface. This platform has a central graphical interface which allows the user to choose in what computational tool to work. Each computational tool has an interface. Dark Suite combines the functions of other programmes to create a pipeline for high-quality secondary effects through a friendly user interface. It is made to run on GNU/Linux distributions and its interface was built using JAVA to seamlessly integrate scientific tools written in Perl, Java, R and Python.
APA, Harvard, Vancouver, ISO, and other styles
5

Neugodnikov, Andrii, Tetiana Barsukova, and Roman Kharytonov. "Protection of Intellectual Property Rights in Ukraine in the Light of European Integration Processes." Journal of Politics and Law 13, no. 3 (August 30, 2020): 203. http://dx.doi.org/10.5539/jpl.v13n3p203.

Full text
Abstract:
The article provides an assessment of the state of legislation of Ukraine on the protection of intellectual property at the present stage. The most important problematic aspects and prospects of improving the legal regulation of intellectual property protection on the way to European integration are described in detail. The experience of foreign countries in ensuring the protection of intellectual property is analyzed. Particular attention is paid to the features of computer program protection, which is especially relevant nowadays. Features of the use of license agreements by the owner of computer programs, namely BSD License, Apache License, GNU General Public License, GNU Lesser General Public License, were analyzed. The conclusion is drawn that a system of continuous analysis of decisions made by European countries in the field of intellectual property law, as well as on issues related to general state policy on the administration of intellectual property, in order to implement developed approaches to legislation and law enforcement practice, could improve the protection of intellectual property rights in Ukraine.
APA, Harvard, Vancouver, ISO, and other styles
6

Chaput, Ludovic, Valentin Guillaume, Natesh Singh, Benoit Deprez, and Bruno O. Villoutreix. "FastTargetPred: a program enabling the fast prediction of putative protein targets for input chemical databases." Bioinformatics 36, no. 14 (June 27, 2020): 4225–26. http://dx.doi.org/10.1093/bioinformatics/btaa494.

Full text
Abstract:
Abstract Summary Several web-based tools predict the putative targets of a small molecule query compound by similarity to molecules with known bioactivity data using molecular fingerprints. In numerous situations, it would however be valuable to be able to run such computations on a local computer. We present FastTargetPred, a new program for the prediction of protein targets for small molecule queries. Structural similarity computations rely on a large collection of confirmed protein–ligand activities extracted from the curated ChEMBL 25 database. The program allows to annotate an input chemical library of ∼100k compounds within a few hours on a simple personal computer. Availability and implementation FastTargetPred is written in Python 3 (≥3.7) and C languages. Python code depends only on the Python Standard Library. The program can be run on Linux, MacOS and Windows operating systems. Pre-compiled versions are available at https://github.com/ludovicchaput/FastTargetPred. FastTargetPred is licensed under the GNU GPLv3. The program calls some scripts from the free chemistry toolkit MayaChemTools. Contact bruno.villoutreix@inserm.fr Supplementary information Supplementary data are available at Bioinformatics online.
APA, Harvard, Vancouver, ISO, and other styles
7

Pang, Haibo, Jie Jian, Yan Zhuang, Yingyun Ye, and Zhanbo Li. "SpotFuzz: Fuzzing Based on Program Hot-Spots." Electronics 10, no. 24 (December 17, 2021): 3142. http://dx.doi.org/10.3390/electronics10243142.

Full text
Abstract:
AFL is the most widely used coverage-guided fuzzer, which relies on rough execution information to assign seeds energy, which can lead to waste. We track the program executed by AFL and discover that the hit counts of each edge might vary greatly when using different seeds as inputs. Some seeds, which are continuously given too much energy, experience very high hit counts of several edges without new crashes or edges being explored, which results in invalid execution and waste of performance. We also define time-consuming edges and discover that they only occupy a small part of the program. In this paper, we define invalid execution edges and time-consuming edges as hot-spots and propose a fuzzing solution SpotFuzz to solve energy waste caused by the above hot-spot phenomenon. It allocates seeds with more hot-spots during execution and uses less energy to reduce energy waste. Moreover, it preferentially selects seeds with less time-consuming edges as test cases, allowing for more edges to be explored in a limited time. We implement an SpotFuzz prototype based on AFL and test it on several real programs for 600 CPU days. The experimental results show that minimizing the invalid and time-consuming execution of edges can improve the fuzzing efficiency. On average, SpotFuzz could find 42.96% more unique crashes and 14.25% more edges than AFL on GNU Binutils and tcpdump.
APA, Harvard, Vancouver, ISO, and other styles
8

Mervart, Leoš, and Aleš Čepek. "Geoinformatics Study at the CTU in Prague." Geoinformatics FCE CTU 1 (December 17, 2006): 4–11. http://dx.doi.org/10.14311/gi.1.1.

Full text
Abstract:
<p>At the CTU in Prague, there is a long tradition of master degree courses in geodesy, geodetic surveying and cartography. Taking into account the fast development of information technologies in recent decades, we decided to prepare a new study program that would combine computer science with a background of geodetic and cartographic know-how. Apart from other sources, our plans were inspired and influenced by the Review of Education Needs, a report prepared by Stig Enemark (Prague 1998), and by our experience from several Virtual Academy workshops.</p><p><br />We have decided to call this program “Geoinformatics” to emphasize the role of computer technologies in collecting, analyzing and exploiting information about our planet. Within this presentation we will explain the basic ideas behind our new study program and emphasize the features that distinguish it from classical geodetic or cartographic programs. We will mention the connection between our new study program and several geodetic and software projects running at our institute – software development for real-time GPS applications, cooperation with the Astronomical Institute, University of Berne, on the development of so-called Bernese GPS Software, the GNU project Gama for adjustment of geodetic networks, etc.</p>
APA, Harvard, Vancouver, ISO, and other styles
9

Zhen, Xiao Qiong, Zhen Dong Yao, and Wen Bin Wang. "Scheme Design for Communication between Network Port and Serial Port Based on ARM." Advanced Engineering Forum 6-7 (September 2012): 941–47. http://dx.doi.org/10.4028/www.scientific.net/aef.6-7.941.

Full text
Abstract:
The data transmission scheme between a transmission control protocol/internet protocol (TCP/IP) network port and a serial port based on an ARM embedded system is introduced in the paper. The data transmission between a personal computer (PC) and remote equipment through an Internet is realized. The structure of a hardware platform is simply introduced, the cutting and transplant of operating system, the communication program design of the network port and the serial port and the cross compiling between the two ports are introduced in detail. The AT91SAM9261 chip of ATMEL Corporation is employed as the embedded board of a kernel processor. The Redhat9 Linux operating system is employed as a software development platform, an ARM-Linux operating system is employed as a program operation platform and the kernel version is Linux-2.6.2. The C program is used and an ARM-Linux-GNU tool chain is used for the cross compiling. The experimental result proves that the real-time, parallel full duplex data transmission between the network port and the serial port is realized by the scheme provided in the paper.
APA, Harvard, Vancouver, ISO, and other styles
10

SANCHEZ-ORDAZ, MIGUEL A., ISABEL GARCIA-CONTRERAS, VICTOR PEREZ, JOSÉ F. MORALES, PEDRO LOPEZ-GARCIA, and MANUEL V. HERMENEGILDO. "VeriFly: On-the-fly Assertion Checking via Incrementality." Theory and Practice of Logic Programming 21, no. 6 (November 2021): 768–84. http://dx.doi.org/10.1017/s1471068421000430.

Full text
Abstract:
AbstractAssertion checking is an invaluable programmer’s tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For Prolog programmers, this means being able to have relevant properties, such as modes, types, determinacy, nonfailure, sharing, constraints, and cost, checked and errors flagged without having to actually run the program. Such global static analysis tools are arguably most useful the earlier they are used in the software development cycle, and fast response times are essential for interactive use. Triggering a full and precise semantic analysis of a software project every time a change is made can be prohibitively expensive. This is specially the case when complex properties need to be inferred for large, realistic code bases. In our static analysis and verification framework, this challenge is addressed through a combination of modular and incremental (context- and path-sensitive) analysis that is responsive to program edits, at different levels of granularity. In this tool paper, we present how the combination of this framework within an integrated development environment (IDE) takes advantage of such incrementality to achieve a high level of reactivity when reflecting analysis and verification results back as colorings and tooltips directly on the program text – the tool’s VeriFly mode. The concrete implementation that we describe is Emacs-based and reuses in part off-the-shelf “on-the-fly” syntax checking facilities (flycheck). We believe that similar extensions are also reproducible with low effort in other mature development environments. Our initial experience with the tool shows quite promising results, with low latency times that provide early, continuous, and precise assertion checking and other semantic feedback to programmers during the development process. The tool supports Prolog natively, as well as other languages by semantic transformation into Horn clauses.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "GNU Emacs (Computer program)"

1

Manicka, Naveen. "GNU Radio testbed." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 104 p, 2007. http://proquest.umi.com/pqdweb?did=1338919411&sid=4&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lustbader, Steven B. (Steven Benjamin) 1980. "Feasibility of GNU/Linux as the OS for a PC-based medical product." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/16979.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, June 2003.
Includes bibliographical references (leaves 20-21).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Linux has become a viable alternative to Windows in recent years. This investigation looks at the feasibility of porting the software for a PC-based medical device to Linux. Using an open-source operating system frees developers from the constraints imposed by relying on a single company for the development platform. Several porting methods are considered. The port method chosen allows development on the Windows version to continue while simultaneously testing on Linux, without creating separate versions of the software. Differences in the way the software interacts with the operating system and with the hardware have to be addressed. A Linux environment was created in which to run the software and determine how to reconcile these differences. No major hurdles to using Linux exist, so it appears to be a viable platform on which to conduct future development.
by Steven B. Lustbader.
M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "GNU Emacs (Computer program)"

1

Stallman, Richard. GNU Emacs manual. 6th ed. Cambridge, MA (675 Massachusetts Ave., Cambridge 02139): Free Software Foundation, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stallman, Richard. GNU Emacs manual. 4th ed. Cambridge, MA (1000 Mass Ave., Cambridge 02138): Free Software Foundation, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

GNU Emacs manual. Boston, Mass: Free Software Foundation, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Stallman, Richard. GNU Emacs manual. Cambridge, MA: Free Software Foundation, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Stallman, Richard. GNU Emacs manual. 4th ed. Cambridge, MA (1000 Mass Ave., Cambridge 02138): Free Software Foundation, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Stallman, Richard. GNU Emacs manual. 9th ed. Cambridge, MA: Free Software Foundation, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

GNU Emacs manual. 7th ed. Cambridge, MA: Free Software Foundation, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Writing GNU Emacs extensions. Cambridge [Eng.]: O'Reilly, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

GNU Emacs and XEmacs. Roseville, Calif: PRIMA TECH, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Stallman, Richard. GNU Emacs manual. Boston, MA: Free Software Foundation, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "GNU Emacs (Computer program)"

1

Keats, Jonathon. "Copyleft." In Virtual Words. Oxford University Press, 2010. http://dx.doi.org/10.1093/oso/9780195398540.003.0017.

Full text
Abstract:
Developing an open-source alternative to the UNIX operating system in the early 1980s, the master hacker Richard Stallman faced a dilemma: if he put his new GNU software in the public domain, people could copyright their improved versions, undermining the open-source cycle by taking away the freedoms he’d granted. So Stallman copyrighted GNU himself, and distributed it, at no cost, under a license that arguably was to have greater impact on the future of computing than even the software he was striving to protect. The GNU Emacs General Public License was the founding document of the copyleft. The word copyleft predated Stallman’s innovation by at least a couple of decades. It had been used jestingly, together with the phrase “All Rights Reversed,” in lieu of the standard copyright notice on the Principia Discordia, an absurdist countercultural religious doctrine published in the 1960s. And in the 1970s the People’s Computer Company provocatively designated Tiny BASIC, an early experiment in open-source software, “Copyleft—All Wrongs Reserved.” Either of these may have indirectly inspired Stallman’s phrasing. (He first encountered the word copyleft as a humorous slogan stamped on a letter from his fellow hacker Don Hopkins.) Stallman’s genius was to realize this vague countercultural ideal in a way that was legally enforceable. That Stallman was the one to do so, and the Discordians weren’t, makes sense when one considers his method. His license stipulated that GNU software was free to distribute, and that any aspect of it could be freely modified except the license, which would mandatorily carry over to any future version, ad infinitum, ensuring that GNU software would always be free to download and improve. “The license agreements of most software companies keep you at the mercy of those companies,” Stallman wrote in the didactic preamble to his contract. “By contrast, our general public license is intended to give everyone the right to share GNU Emacs. To make sure that you get the rights we want you to have, we need to make restrictions that forbid anyone to deny you these rights or to ask you to surrender the rights.” Freedom was paradoxically made compulsory.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'GNU Emacs (Computer program)' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography