Search results for "Emacs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Matthias Neubauer, Michael Sperber	Down with Emacs Lisp: Dynamic Scope Analysis.	ICFP	2001	DBLP DOI BibTeX RDF	LISP
64	J. E. Black	Scribe support in GNU emacs.	SIGDOC	1989	DBLP DOI BibTeX RDF
64	Nathaniel S. Borenstein, James Gosling	UNIX Emacs: A Retrospective (lessons for flexible system design).	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF	UNIX
64	Koichi Takahashi, Masami Hagiya	Proving as Editing HOL Tactics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs
46	Richard Potter	Computation Scrapbooks of Emacs Lisp Runtime State.	HCC	2001	DBLP DOI BibTeX RDF
46	Gregory R. Watson, Nathan DeBardeleben	Developing Scientific Applications Using Eclipse.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	Eclipse, scientific applications, Emacs
36	Masahiko Sato 0001	A framework for checking proofs naturally.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Natural framework, Computation and logic, NF/CAL system
36	Roy Rada	Converting a Textbook to Hypertext.	ACM Trans. Inf. Syst.	1992	DBLP DOI BibTeX RDF	document markup, human-computer interaction, electronic publishing, hypermedia models
28	Stefan Monnier, Michael Sperber	Evolution of Emacs Lisp.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
28	Andrea Corallo, Luca Nassi, Nicola Manca	Bringing GNU Emacs to Native Code.	CoRR	2020	DBLP BibTeX RDF
28	Andrea Corallo, Luca Nassi, Nicola Manca	Bringing GNU Emacs to native code.	ELS	2020	DBLP DOI BibTeX RDF
28	Adedayo Ademola Yusuff, Mpumelelo Ntombela, Thapelo Cornelius Mosetlhe	Enhancement of modeling environment for power distribution network in Gridlab-D on Emacs.	AFRICON	2019	DBLP DOI BibTeX RDF
28	Shudan Zhong, Hong Xu 0003	Intelligently recommending key bindings on physical keyboards with demonstrations in Emacs.	IUI	2019	DBLP DOI BibTeX RDF
28	Jens Lechtenbörger	Simplifying license attribution for OER with emacs-reveal.	DeLFI	2019	DBLP DOI BibTeX RDF
28	Ryan Culpepper	Pattern-Based S-Expression Rewriting in Emacs.	ELS	2019	DBLP DOI BibTeX RDF
28	Zhi-xiao Tu, Cheng-chen Hong, Hao Feng	EMACS: Design and implementation of indoor environment monitoring and control system.	ICIS	2017	DBLP DOI BibTeX RDF
28	Insik Yoon, Ashwin Chintaluri, Arijit Raychowdhury	EMACS: Efficient MBIST architecture for test and characterization of STT-MRAM arrays.	ITC	2016	DBLP DOI BibTeX RDF
28	Christopher Dardis, Eric C. Woolf, Adrienne C. Scheck	Towards reproducible research: From data analysis (in R) to a typeset laboratory notebook (as .pdf) using the text editor Emacs with the 'mp' package.	F1000Research	2015	DBLP DOI BibTeX RDF
28	François-Xavier Bois	web-mode.el: Heterogeneous Recursive Code Parsing with Emacs Lisp.	ELS	2014	DBLP BibTeX RDF
28	Robert Strandh, David Murray, Troels Henriksen, Christophe Rhodes	ESA: a CLIM library for writing Emacs-Style Applications.	ILC	2007	DBLP DOI BibTeX RDF
28	Sam Griffiths-Jones	RALEE--RNA ALignment Editor in Emacs.	Bioinform.	2005	DBLP DOI BibTeX RDF
28	Debra Cameron, James Elliott, Marc Loy, Eric S. Raymond, Bill Rosenblatt	Learning GNU Emacs - a guide to the world's most extensible customizable editor (3. ed.).		2005	RDF
28	Yuwei Lin	Epistemologically multiple actor-centered systems: or, EMACS at work!	Ubiquity	2004	DBLP DOI BibTeX RDF
28	Thomas Wieland	C++-Entwicklung mit Linux - eine Einführung in die Sprache und die wichtigsten Werkzeuge, von GCC und Emacs bis SNIFF+.		2001	RDF
28	Takayuki Watanabe, Koichi Inoue, Mitsugu Sakamoto, Masanori Kiriake, Hirohiko Honda, Takuya Nishimoto, Tuneyoshi Kamae	Bilingual Emacspeak Platform - a universal speech interface with GNU Emacs.	HCI	2001	DBLP BibTeX RDF
28	Per Bothner	JEmacs-The Java/Scheme-based Emacs.	USENIX Annual Technical Conference, FREENIX Track	2000	DBLP BibTeX RDF
28	Debra Cameron, Bill Rosenblatt, Eric S. Raymond	Learning GNU emacs - Unix text processing (2. ed.).		1996	RDF
28	Kim Trans	The Use of Planning and Interpretation in Developing an On-Line EMACS Help Facility.	SCAI	1995	DBLP BibTeX RDF
28	Michael A. Schoonover, John S. Bowie, William R. Arnold	GNU Emacs - UNIX text editing and programming.		1992	RDF
28	Debra Cameron, Bill Rosenblatt	Learning GNU Emacs - UNIX text processing (1st Edition).		1992	RDF
28	Heikki Halme	GNU Emacs as a Dynamically Extensible Programming Environment.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
28	David F. Gray	A microprocessor development environment based on the Amsterdam compiler kit, EMACS and UNIX.	ACM SIGCSE Bull.	1987	DBLP DOI BibTeX RDF
28	Richard M. Stallman	EMACS the extensible, customizable self-documenting display editor.	SIGPLAN SIGOA Symposium on Text Manipulation	1981	DBLP DOI BibTeX RDF
28	B. Greenberg	Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP.	LISP Conference	1980	DBLP DOI BibTeX RDF
28	Clifford E. Cummings	SystemVerilog implicit port enhancements accelerate system design & verification.	DAC	2008	DBLP DOI BibTeX RDF	*, .name, Verilog EMACS mode, implicit ports, Verilog, instantiation, SystemVerilog
28	E. James Whitehead Jr.	An Architectural Model for Application Integration in Open Hypermedia Environments.	Hypertext	1997	DBLP DOI BibTeX RDF	third-party applications, software architecture, integration, open hypermedia systems, Emacs
28	Uffe Kock Wiil, John J. Leggett	Workspaces: The HyperDisco Approach to Internet Distribution.	Hypertext	1997	DBLP DOI BibTeX RDF	Internet distribution, distributed workspacefs, hypermedia infrastructure, hypermedia presentation, link replication, Internet, open hypermedia system, name service, Emacs
18	Ana Bove, Peter Dybjer, Ulf Norell	A Brief Overview of Agda - A Functional Language with Dependent Types.	TPHOLs	2009	DBLP DOI BibTeX RDF
18	Rakeshbabu Bobba, Joe Muggli, Meenal Pant, Jim Basney, Himanshu Khurana	Usable secure mailing lists with untrusted servers.	IDtrust	2009	DBLP DOI BibTeX RDF	e-mail list security, usability study, proxy re-encryption
18	Huiqing Li, Simon J. Thompson	Tool support for refactoring functional programs.	PEPM	2008	DBLP DOI BibTeX RDF	hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang
18	Owen L. Astrachan	Cutting apron strings.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF
18	Richard M. Stallman	The Free Software Movement and the GNU/Linux Operating System.	ICSM	2006	DBLP DOI BibTeX RDF
18	Himanshu Khurana, Jin Heo, Meenal Pant	From Proxy Encryption Primitives to a Deployable Secure-Mailing-List Solution.	ICICS	2006	DBLP DOI BibTeX RDF
18	Gregory R. Watson, Nathan DeBardeleben	A Model-Based Framework for the Integration of Parallel Tools.	CLUSTER	2006	DBLP DOI BibTeX RDF
18	Minoru Uehara	Web CC: A WBT System of Programming for Beginners.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
18	Don Stewart, Manuel M. T. Chakravarty	Dynamic applications from the ground up.	Haskell	2005	DBLP DOI BibTeX RDF	functional programming, dynamic update, extension languages, hot swapping, dynamic applications
18	Josef Urban	XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy.	MKM	2005	DBLP DOI BibTeX RDF
18	Hideya Iwasaki, Kumiko Tanaka-Ishii	An Interactive Proofreading System for Inappropriately Selected Words on Using Predictive Text Entry.	IJCNLP	2004	DBLP DOI BibTeX RDF
18	H. A. de Jong, A. Taeke Kooiker	My Favorite Editor Anywhere.	RISE	2004	DBLP DOI BibTeX RDF
18	Grzegorz Bancerek, Josef Urban	Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.	MKM	2004	DBLP DOI BibTeX RDF
18	Bil Lewis, Mireille Ducassé	Using events to debug Java programs backwards in time.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF
18	Benja Fallenstein, Tuomas J. Lukka, Hermanni Hyytiälä, Toni Alatalo	Storm: using P2P to make the desktop part of the web.	Hypertext	2003	DBLP DOI BibTeX RDF	content addressable networks, dangling links, location-independent identifiers, peer-to-peer
18	Cezar Câmpeanu, Kai Salomaa, Sheng Yu 0001	Regex and Extended Regex.	CIAA	2002	DBLP DOI BibTeX RDF	regex, extended regex, programming languages, formal languages, Regular expressions
18	Jamie Dinkelacker, Pankaj K. Garg, Rob Miller 0003, Dean Nelson	Progressive open source.	ICSE	2002	DBLP DOI BibTeX RDF
18	Ulf T. Wiger, Gösta Ask, Kent Boortz	World-class product certification using Erlang.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	testing, erlang
18	Susan L. Graham	From Research Software to Open Source.	Informatics	2001	DBLP DOI BibTeX RDF
18	Nevin Heintze, Olivier Tardieu	Demand-Driven Pointer Analysis.	PLDI	2001	DBLP DOI BibTeX RDF	C
18	Manuel V. Hermenegildo	A Documentation Generator for (C)LP Systems.	Computational Logic	2000	DBLP DOI BibTeX RDF
18	Frank Pfenning, Carsten Schürmann	System Description: Twelf - A Meta-Logical Framework for Deductive Systems.	CADE	1999	DBLP DOI BibTeX RDF
18	Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	DrScheme: A Pedagogic Programming Environment for Scheme.	PLILP	1997	DBLP DOI BibTeX RDF	Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
18	Gilles Muller, Mireille Hue, Nadine Peyrouze	Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment.	EDCC	1994	DBLP DOI BibTeX RDF	consistent checkpointing, modular operating systems, stable transactional memory, performance evaluation, Fault-tolerance, micro-kernel
18	Chris Dollin	The HP-ST Toolset.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
18	Patrice Frison, Eric Gautrin	MADMACS: a new VLSI layout macro editor.	DAC	1986	DBLP DOI BibTeX RDF