Filters








412 Hits in 2.6 sec

Experience with an uncommon Lisp

Cyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian Padget
1986 Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86  
in 1974, a group at IBM Research began work on a new implementation of Lisp.  ...  The most important design decision was to create a language which would have consistent semantics between compilation and interpretation.  ...  ((ONE=OF a • i o u) (ELT WORD 0)) &) 11 Figure 2 . 2 Stack Frames Rule 13.1.2. |0 • s, e; PRED e-seql (atom. x). c; dJ {0 • s; e; PRED e-seql x. c; d} This rule causes the value of the COND to be  ... 
doi:10.1145/319838.319849 fatcat:c22nekuodresblxgqojtrbvuom

Composing user interfaces with InterViews

M.A. Linton, J.M. Vlissides, P.R. Calder
1989 Computer  
This work was funded by the Quantum project through a gift from Digital Equipment Corporation.  ...  Paul also developed the window manager application, and John Interrante implemented the drawing editor. We are grateful to the growing Interviews user community for its encouragement and support.  ...  Frames add a simple border, shadow frames add a drop shadow, and title frames add a banner. glue, hglue, vglue components of a scene. lnteractors that act as spacers between graphic Base class for structured  ... 
doi:10.1109/2.19829 fatcat:lvhu3naeyvfmjp5i33quld6se4

Development of XML-based tools to support user interaction with algorithm visualization

Thomas Naps, Rockford J. Ross, Jaime Urquiza-Fuentes, Guido Rößling, Peter Brusilovsky, John English, Duane Jarc, Ville Karavirta, Charles Leska, Myles McNally, Andrés Moreno
2005 ACM SIGCSE Bulletin  
primitive and transformation specifications.  ...  Development of XML-based tools to support user interaction with algorithm visualization. SIGCSE Bulletin, volume 37, number 4, pages 123-138.  ...  The delay can be specified as a time (based on seconds or milliseconds), or on a number of preceeding animation frames.  ... 
doi:10.1145/1113847.1113891 fatcat:fdfwe2lxz5hmvbwzdk2x7ecpxi

Behavioral software contracts

Robert Bruce Findler
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
Finally, this dissertation lays the groundwork for a theory of contract checking, in the spirit of the theory for type checking.  ...  To sustain a market for software components, component producers and consumers must agree on contracts. These contracts must specify each party's obligations.  ...  To construct a frame and an editor, a programmer composes a series of frame mixins and a series of editor mixins and overrides the frame's get-editor% method to return the editor mixin composition.  ... 
doi:10.1145/2628136.2632855 dblp:conf/icfp/Findler14 fatcat:j26a62t7jzgi3hnmpbvajemvki

Expert' voice: The BabyUML discipline of programming

Trygve Reenskaug
2006 Journal of Software and Systems Modeling  
I want a new discipline of programming that augments my thought processes. Therefore, I create and explore a new discipline of programming in my BabyUML laboratory.  ...  I select, simplify and twist UML and other languages to demonstrate how they help bridge the gap between me as a programmer and the objects running in my computer The focus is on the run time objects;  ...  Inspectors and debuggers show the bare objects and stack frames; the component is a feature of the documentation only.  ... 
doi:10.1007/s10270-006-0005-0 fatcat:sjwrnl6uqrfsxpxn3li3heqnbm

Behavioral software contracts

Robert Bruce Findler
2014 SIGPLAN notices  
Finally, this dissertation lays the groundwork for a theory of contract checking, in the spirit of the theory for type checking.  ...  To sustain a market for software components, component producers and consumers must agree on contracts. These contracts must specify each party's obligations.  ...  To construct a frame and an editor, a programmer composes a series of frame mixins and a series of editor mixins and overrides the frame's get-editor% method to return the editor mixin composition.  ... 
doi:10.1145/2692915.2632855 fatcat:jlllv37ls5hobk3in3shtgyxa4

Logic continuations

Christopher T. Haynes
1987 The Journal of Logic Programming  
We develop a "complete" embedding of logic programming into SCHEME-a lexically scoped LISP dialect with first-class continuations.  ...  It is thereby possible to obtain greater control flexibility while allowing much of a program to be expressed with logic programming. a  ...  These benefits may simply be such facilities as structure editors and memory management [25] .  ... 
doi:10.1016/0743-1066(87)90016-1 fatcat:rs5y5arx2nffzf5jmhrresi4hi

Logic continuations [chapter]

Christopher T. Haynes
1986 Lecture Notes in Computer Science  
We develop a "complete" embedding of logic programming into SCHEME-a lexically scoped LISP dialect with first-class continuations.  ...  It is thereby possible to obtain greater control flexibility while allowing much of a program to be expressed with logic programming. a  ...  These benefits may simply be such facilities as structure editors and memory management [25] .  ... 
doi:10.1007/3-540-16492-8_117 fatcat:inhd4ke3ijhq5plyvueih6nl3q

SEMCOG

Wen-Syan Li, K. Selçuk Candan, Kyoji Hirata
1997 Proceedings of the 1997 ACM symposium on Applied computing - SAC '97  
We introduce a system, SEMCOG (SEMantics and COGnition-based image retrieval), that allows users to pose a query using both semantics expressions and image examples.  ...  Image retrieval is a key issue for many image database applications. Existing approaches include browsing and keyword, semantics, and cognition-based query processing.  ...  His research interests are multimedia databases, content-based information retrieval, hypermedia systems and multimedia applications.  ... 
doi:10.1145/331697.331727 dblp:conf/sac/LiCH97 fatcat:52jiky55czcencjr66cxehbl7e

Distributed video coding in wireless sensor networks

R. Puri, A. Majumdar, P. Ishwar, K. Ramchandran
2006 IEEE Signal Processing Magazine  
few years ago, is no longer just a vision.  ...  ] T he vision of miniaturized computers, decked with tiny batteries, sensors, and radios, organizing themselves tetherlessly to efficiently and reliably perform complex tasks, considered unimaginable a  ...  Processing Committee, and was an associate editor for IEEE Transactions on Image Processing.  ... 
doi:10.1109/msp.2006.1657820 fatcat:yqryib4m5rgbtoscx3ef7i5tte

Software (Re-)Engineering with PSF III: an IDE for PSF [article]

Bob Diertens
2007 arXiv   pre-print
This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques.  ...  We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification.  ...  TEditorManager(pred(n)) + tooltb-snd-event(tbterm(editor-write)) . tooltb-rec-ack-event(tbterm(editor-write)) . TEditorManager(n) ) + tooltb-rec(tbterm(close-editor)) .  ... 
arXiv:0712.3128v1 fatcat:ls3mdp5nqzadxjcdm2r7tx77i4

Evolution of Emacs Lisp

Stefan Monnier, Michael Sperber
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
A.1 Edwin Edwin is the editor that ships with MIT Scheme [MIT 2014 ]. Its user interface is based on that of Emacs.  ...  The other is a byte-code engine, implemented as a primitive byte-code function that interprets its string argument as a sequence of stack-based byte codes to execute.  ... 
doi:10.1145/3386324 fatcat:42wv6avhlzgyzlgjs5vnx4bq4q

A visual approach to authoring XPath expressions

Mari Abe, Masahiro Hori
2001 Markup languages  
In this paper, we briefly introduce a framework for external annotation first, and give a high-level overview of our annotation editor.  ...  The objective of this study is to advance extensibility in the design of annotation editors with particular emphasis on a visual approach to authoring XPath expressions.  ...  The contents of the description item can be edited in the same manner as with a DTD-based structure editor on a DOM-tree view.  ... 
doi:10.1162/109966201317356407 fatcat:gsh3slfqrzgdhjtd2ydamjuwby

Large-scale acquisition of LCS-based lexicons for foreign language tutoring

Bonnie J. Dorr
1997 Proceedings of the fifth conference on Applied natural language processing -  
One of the main results of this work is the definition of a relat, ion between broad semantic classes and LCS meaniug components.  ...  Principle-Based Parser for Foreign Language Training in German and Arabic. In Melissa Holland, Jonathan Kaplan, and Michelle Sams, editors, Intelligent Language Tutors: Th.eory Shaping Technology.  ...  In such a. case, a. primitive representation (e.g., (to loc (at loc))) is extracted from a set of predefined mappings.  ... 
doi:10.3115/974557.974578 dblp:conf/anlp/Dorr97 fatcat:dy55y6ydtfbozkym4pzeqjz6ai

Unifying Theories in ProofPower-Z [chapter]

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
2006 Lecture Notes in Computer Science  
ProofPower-Z is a higher-order tactic-based theorem prover implemented using New Jersey SML [Pau91]; it supports specifications and proofs in Z.  ...  The development of new theories in other theorem provers based on an axiomatisation of our results is yet another possibility of reuse.  ...  or any variable that is in the frame (and their dashed counterparts).  ... 
doi:10.1007/11768173_8 fatcat:ojcwog46h5apzk2vggv3lspmoq
« Previous Showing results 1 — 15 out of 412 results