A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Experience with an uncommon Lisp
1986
Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86
Preserved Fulltext
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
1989
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
ACM SIGCSE Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2014
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1987
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1986
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1997
Proceedings of the 1997 ACM symposium on Applied computing - SAC '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2006
IEEE Signal Processing Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2020
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2001
Markup languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
1997
Proceedings of the fifth conference on Applied natural language processing -
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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