|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 625 occurrences of 387 keywords
|
|
|
Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | V. M. Mikhelev |
Data Definition in the Programming Language MARKIZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 27(1), pp. 50-56, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Peter D. Mosses |
The Varieties of Programming Language Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 165-190, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura |
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 315-330, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Antoine Miné |
A New Numerical Abstract Domain Based on Difference-Bound Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADO ![In: Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings, pp. 155-172, 2001, Springer, 3-540-42068-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Baldi, Søren Brunak, Paolo Frasconi, Gianluca Pollastri, Giovanni Soda |
Bidirectional Dynamics for Protein Secondary Structure Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sequence Learning ![In: Sequence Learning - Paradigms, Algorithms, and Applications, pp. 80-104, 2001, Springer, 3-540-41597-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Laurie A. Smith King, John Barr, Ben Coleman |
What could be more SLic?: projects for the programming languages course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2001, Charlotte, North Carolina, USA, 2001, pp. 248-252, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | William S. Evans, Christopher W. Fraser |
Bytecode Compression via Profiled Grammar Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001, pp. 148-155, 2001, ACM, 1-58113-414-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
program compression, variable-to-fixed length codes, context-free grammars, bytecode interpretation |
11 | Georg Reichard |
Is there a way of combining array-processing and object-oriented programming? ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the 2001 International Conference on APL: An Arrays Odyssey, Yale University, New Haven, Connecticut, USA, June 25-28, 2001., pp. 83-86, 2001, ACM, 1-58113-419-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
APL |
11 | José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez |
A Language Prototyping Tool Based on Semantic Building Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers, pp. 597-611, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Dauchy |
Expression constraints in multimodal human-computer interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 5th International Conference on Intelligent User Interfaces, IUI 2000, New Orleans, LA, USA, January 9-12, 2000, pp. 225-228, 2000, ACM, 1-58113-134-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
speech constraints, usability, multimodal user interfaces |
11 | Alan Mycroft, Richard Sharp |
A Statically Allocated Parallel Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 37-48, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jianshe Zhai, Georges Fafiotte |
On Building a Simulating Translation Environment for Multilingual Conversation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Advances in Multimodal Interfaces - ICMI 2000, Third International Conference, Beijing, China, October 14-16, 2000, Proceedings, pp. 287-292, 2000, Springer, 3-540-41180-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multilingual Dialogue, Interpreter Simulation, Wizard or Oz, Client/Server, Spoken Language Translation |
11 | Dale Miller 0001 |
Abstract Syntax for Variable Binders: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 239-253, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Steven Lucco |
Split-stream dictionary program compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 27-34, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
virtual machine, compression, runtime system |
11 | Tao Li 0006, Lizy Kurian John, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Jyotsna Sabarinathan, Anupama Murthy |
Using complete system simulation to characterize SPECjvm98 benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 14th international conference on Supercomputing, ICS 2000, Santa Fe, NM, USA, May 8-11, 2000, pp. 22-33, 2000, ACM, 1-58113-270-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java |
11 | Qiming Chen, Umeshwar Dayal, Meichun Hsu, Martin L. Griss |
Dynamic-Agents, Workflow and XML for E-Commerce Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: Electronic Commerce and Web Technologies, First International Conference, EC-Web 2000, London, UK, September 4-6, 2000, Proceedings, pp. 314-323, 2000, Springer, 3-540-67981-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Robert G. Brown |
Object oriented APL: an introduction and overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the APL-Berlin-2000 Conference: Think Arrays in a Great City, APL 2000, Berlin, Germany, July 24-27, 2000, pp. 47-54, 2000, ACM, 1-58113-182-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
APL |
11 | Anatoly E. Voevudko |
Steps Toward Next Generation Computer Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999, pp. 270-276, 1999, IEEE Computer Society, 0-7695-0028-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Processor based architecture, unified linguistic and access support, scripting and programming languages, distributed systems, integration, operating systems, software, hardware, portability, Web-based systems |
11 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
UPV-CURRY: An Incremental CURRY Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 331-339, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Hidehiko Masuhara, Akinori Yonezawa |
Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 418-439, 1998, Springer, 3-540-64737-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Nick Benton, Andrew Kennedy, George Russell |
Compiling Standard ML to Java Bytecodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 129-140, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
MC68000 Assembly Language, Java |
11 | Christopher T. Haynes |
Experience with an analytic approach to teaching programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 350-354, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Etienne M. Gagnon, Laurie J. Hendren |
SableCC, an Object-Oriented Compiler Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 140-154, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Software Engineering, Compiler, Framework, Design Patterns, Interpreter |
11 | Changqing Wang, David R. Musser |
Dynamic Verification of C++ Generic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(5), pp. 314-323, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library |
11 | Mark van den Brand, Eelco Visser |
Generation of Formatters for Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 5(1), pp. 1-41, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
document preparation, program generators |
11 | Roberto Barbuti, Paolo Mancarella |
A Multiple-Valued Logical Semantics for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 62-76, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Frédéric Boussinot, Laurent Hazard |
Reactive scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 270-277, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming |
11 | Rakesh M. Verma |
A Theory of Using History for Equational Systems with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(5), pp. 984-1020, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic |
11 | Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson |
A Hierarchical Method for Reasoning about Distributed Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 385-400, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Frank Tip |
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 516-530, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Todd A. Proebsting |
Optimizing an ANSI C Interpreter with Superoperators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 322-332, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C |
11 | Ted Hills |
Response to A Note on Structured Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 28(4), pp. 31-33, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Manuel E. Benitez, Jack W. Davidson |
The Advantages of Machine-Dependent Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and System Architectures ![In: Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings, pp. 105-124, 1994, Springer, 3-540-57840-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Amr Sabry, Matthias Felleisen |
Is Continuation-Passing Useful for Data Flow Analysis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 1-12, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Christian Mossin |
Partial Evaluation of General Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 13-21, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Arthur M. Riehl, Daniel P. Friedman, Brian Harvey, Simon M. Kaplan, Richard M. Salter, George Springer |
Using Scheme in the Introductory Computer Science Curriculum (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 533-534, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
11 | Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley |
Report on the UCD Microcoded Viper Verification Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 239-252, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Sofiène Tahar, Ramayya Kumar |
Implementing a Methodology for Formally Verifying RISC Processors in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 281-294, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
Verification Tools in the Development of Provably Correct Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 442-461, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | David A. Barrett, Benjamin G. Zorn |
Using Lifetime Predictors to Improve Memory Allocation Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 187-196, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C |
11 | Richard A. Frost |
Guarded attribute grammars: top down parsing and left recursive productions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(6), pp. 72-75, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Yutaka Kataoka, Masato Morisaki, Hiroshi Kuribayashi, Hiroyoshi Ohara |
A Model for Input and Output for Multilingual Text in a Windowing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 10(4), pp. 438-451, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
X window systems, multiwindow, output method, localization, linguistics, multilingual, internationalization, input/output, input method |
11 | Lars Ole Andersen |
Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings, pp. 251-257, 1992, Springer, 3-540-55984-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Wolfgang Keller |
Automated generation of code using backtracking parsers for attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(2), pp. 109-117, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Dmitri Yu. Boulanger |
Deep Logic Program Transformation Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 79-101, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Albert Zündorf, Andy Schürr |
Nondeterministic Control Structures for Graph Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings, pp. 48-62, 1991, Springer, 3-540-55121-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Stephen Deerhake |
AP 527: an ORACLE SQL - APL2/PC Auxiliary Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1991, Palo Alto, CA, USA, August 4-8, 1991., pp. 118-125, 1991, ACM, 0-89791-441-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
APL, SQL, ORACLE |
11 | Spiro Michaylov, Frank Pfenning |
Natural Semantics and Some of Its Meta-Theory in Elf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings, pp. 299-344, 1991, Springer, 3-540-55498-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Lim, David N. Morley |
Implementing a Meta-Logical Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 106-120, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Christian Queinnec |
Compilation of Non-Linear, Second Order Patterns on S-Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 340-357, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Neil D. Jones |
Partial Evaluation, Self-Application and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 639-659, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Peter Pfahler |
Optimizing Directly Executable LR Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings, pp. 179-192, 1990, Springer, 3-540-53669-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Sergei A. Romanenko |
Arity Raiser and its Use in Program Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 341-360, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator |
11 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 154-163, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Moon-Chuen Lee |
An Augmented Prolog Programming Environment for Tutoring Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 898-906, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
11 | Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto |
Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 40-49, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog, C |
11 | Leonid A. Kalinichenko |
Methods and Tools for Equivalent Data Model Mapping Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings, pp. 92-119, 1990, Springer, 3-540-52291-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones |
Experiments with Implementations of Two Theoretical Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic at Botik ![In: Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings, pp. 119-133, 1989, Springer, 3-540-51237-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Fadi N. Sibai, Karan L. Watson, Mi Lu |
Design and performance measurements of a parallel machine for the unification algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 22nd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1989, Dublin, Ireland, August 14-16, 1989, pp. 21-30, 1989, ACM/IEEE, 0-89791-324-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Anders Bondorf |
A Self-Applicable Partial Evaluator for Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL), pp. 81-95, 1989, Springer, 3-540-50940-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
elementary matching operations, partially static structures, Decision trees, pattern matching, abstract interpretation, functional languages, binding time analysis |
11 | Zvi M. Kedem, Alexander Tuzhilin |
Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 336-346, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Alan M. Sykes, Alan G. Hawkes |
Using APL2 in Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL as a Tool of Thought, APL 1989, New York City, NY, USA, August 7-10, 1989., pp. 346-354, 1989, ACM, 0-89791-327-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
APL |
11 | W. J. Shaw |
Making APL Error Messages Kinder and Gentler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL as a Tool of Thought, APL 1989, New York City, NY, USA, August 7-10, 1989., pp. 320-324, 1989, ACM, 0-89791-327-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
APL |
11 | David A. Scanlan |
A research tool for software design and documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 707, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Ulf Nilsson |
Towards a Framework for the Abstract Interpretation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings, pp. 68-82, 1988, Springer, 3-540-50820-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Olivier Danvy, Karoline Malmkjær |
Intensions and Extensions in a Reflective Tower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 327-341, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Charles Consel |
New Insights into Partial Evaluation: the SCHISM Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 236-246, 1988, Springer, 3-540-19027-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
applicative languages, SCHISM, mixed computation, Program transformation, Scheme, partial evaluation, unfolding, specialization, program generation, compiler generation |
11 | Robbert van Renesse, Andrew S. Tanenbaum, Gregory J. Sharp |
Functional specialization in distributed operating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, UK, September 18-21, 1988, 1988, ACM. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
11 | Clinton R. Foulk |
Teaching assembly language on the Macintosh (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 429, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Macintosh |
11 | Juhani Sandberg, Olli Paavola, Tauno Ylinen |
The FinnAPL keyword editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL: APL in transition, APL 1987, Dallas, TX, USA, May 10-14, 1987., pp. 414-418, 1987, ACM, 0-89791-226-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
APL |
11 | Alan M. Sykes |
A second generation DOMINO for statisticians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL: APL in transition, APL 1987, Dallas, TX, USA, May 10-14, 1987., pp. 369-380, 1987, ACM, 0-89791-226-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
APL |
11 | Stéphane Kaplan |
A Compiler for Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings, pp. 25-41, 1987, Springer, 3-540-17220-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Martin Nilsson 0001, Hidehiko Tanaka |
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 95-104, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter |
11 | Gail E. Kaiser |
Generation of run-time environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986, pp. 51-57, 1986, ACM, 0-89791-197-0. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Ulrik Jørring, William L. Scherlis |
Compilers and Staging Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 86-96, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | David A. Schmidt |
Detecting Global Variables in Denotational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(2), pp. 299-310, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
11 | Arvind |
Demand-Driven Evaluation on Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 411, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
11 | Reid G. Smith, Robert L. Young |
The design of the Dipmeter Advisor system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 15-23, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
11 | Erik Sandewall |
Unified Dialogue Management in the Carousel System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 146-156, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Klaus J. Berkling, Elfriede Fehr |
A Modification of the Lambda-Calculus as a Base for Functional Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 35-47, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez |
Direct Execution of Lisp on a List-Directed Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California, USA, March 1-3, 1982., pp. 132-139, 1982, ACM Press, 0-89791-066-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
LISP |
11 | Mamoru Maekawa, Ken Sakamura, Chiaki Ishikawa |
Firmware Structure and Architectural Support for Monitors, Vertical Migration and User Microprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, Palo Alto, California, USA, March 1-3, 1982., pp. 185-194, 1982, ACM Press, 0-89791-066-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
11 | Neil D. Jones, Steven S. Muchnick |
Flow Analysis and Optimization of Lisp-Like Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 244-256, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
11 | Jay Earley, Howard E. Sturgis |
A formalism for translator interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(10), pp. 607-617, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
bootstrapping language processor, compiler, interpreter, translator, compiler-compiler |
Displaying result #501 - #584 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|