|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 736 occurrences of 390 keywords
|
|
|
Results
Found 1752 publication records. Showing 1752 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Linchun Li, Jianhua Li 0001, Yue Wu 0010, Ping Yi |
A Group Key Management Scheme with Revocation and Loss-tolerance Capability for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 324-329, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
loss tolerance, authentication, revocation, group key management, node compromise |
10 | Charlotte Herzeel, Pascal Costanza, Theo D'Hondt |
Reflection for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S3 ![In: Self-Sustaining Systems, First Workshop, S3 2008, Potsdam, Germany, May 15-16, 2008, Revised Selected Papers, pp. 87-122, 2008, Springer, 978-3-540-89274-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yoshihito Toyama |
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 381-391, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jónathan Heras, Vico Pascual, Julio Rubio 0001 |
Mediated Access to Symbolic Computation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 446-461, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jerzy Tomasik, Jerzy Weyman |
Category localization semantics for specification refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 253-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85 |
10 | Ondrej Sváb, Vojtech Svátek, Heiner Stuckenschmidt |
A Study in Empirical and 'Casuistic' Analysis of Ontology Mapping Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 655-669, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Luca Cardelli |
An Accidental Simula User. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 201, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Damien Saucez, Benoit Donnet, Olivier Bonaventure |
Implementation and preliminary evaluation of an ISP-driven informed path selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2007 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2007, New York, NY, USA, December 10-13, 2007, pp. 45, 2007, ACM, 978-1-59593-770-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Chen Ding 0001, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang |
Software behavior oriented parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 223-234, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
program behavior, speculative parallelization |
10 | Folkert de Boer, Paulien Hogeweg |
The role of speciation in spatial coevolutionary function approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 2437-2441, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
spatial pattern formation, coevolution, function optimization, CA, speciation |
10 | Pavel Petrovic |
Strengths and weaknesses of FSA representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 723-725, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
finite state automata, evolutionary programming, incremental evolution |
10 | Richard A. Frost |
Realization of natural language interfaces using lazy functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 38(4), pp. 11, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Montague grammar, lazy functional programming, computational linguistics, Natural-language interfaces, higher-order functions |
10 | Jan Rauch, Milan Simunek, Václav Lín |
Mining for Patterns Based on Contingency Tables by KL-Miner - First Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations and Novel Approaches in Data Mining ![In: Foundations and Novel Approaches in Data Mining, pp. 155-167, 2006, Springer, 978-3-540-28315-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dale Vaillancourt, Rex L. Page, Matthias Felleisen |
ACL2 in DrScheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 107-116, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DrScheme, TeachScheme!, formal methods, pedagogy, ACL2 |
10 | Xin Li 0009, Marc Moreno Maza |
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 12-23, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Harry Halpin, Henry S. Thompson |
One document to bind them: combining XML, web services, and the semantic web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 679-686, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
web services, XML, semantic web, functional programming, pipelining |
10 | R. Mondragón-Becerra, Nicandro Cruz-Ramírez, Daniel-Alejandro García-López, Karina Gutiérrez-Fragoso, Wulfrano Arturo Luna-Ramírez, Gustavo Ortiz-Hernández, Carlos Adolfo Piña-García |
Automatic Construction of Bayesian Network Structures by Means of a Concurrent Search Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 652-662, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | William R. Cook |
Peak Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings, pp. 180-185, 2006, Springer, 3-540-35726-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Alicia Tribble, Carolyn P. Rosé |
Usable browsers for ontological knowledge acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 1451-1456, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
knowledge display, knowledge acquisition, natural language |
10 | Don Syme |
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 43-54, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
GPUs, functional programming, reflection, domain specific languages, meta-programming, database languages, LINQ |
10 | Rym Ameur, Jean-Claude Heudin |
Interactive Intelligent Agent Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT Workshops ![In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - Workshops, Hong Kong, China, 18-22 December 2006, pp. 331-334, 2006, IEEE Computer Society, 0-7695-2749-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
proactive architecture, artificial life, conversational agent, classifier systems, subsumption |
10 | Seiji Koide, Hideaki Takeda 0001 |
OWL-Full Reasoning from an Object Oriented Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings, pp. 263-277, 2006, Springer, 3-540-38329-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson |
Adaptive scheduling with parallelism feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 100-109, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
greedy scheduling, instantaneous parallelism, parallelism feedback, trim analysis, parallel computation, task scheduling, job scheduling, multiprogramming, processor allocation, multiprocessing, critical path, adaptive scheduling, work, adversary, space sharing, data-parallel computing, two-level scheduling |
10 | Jan Rauch, Milan Simunek |
An Alternative Approach to Mining Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Mining and knowledge Discovery ![In: Foundations of Data Mining and knowledge Discovery, pp. 211-231, 2005, Springer, 978-3-540-26257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | J Strother Moore |
A Mechanized Program Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 268-276, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Steve Dekorte |
Io: a small programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 166-167, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
prototype-based, object oriented, languages, actors, lazy evaluation, coroutines |
10 | Roly Perera, Russ Freeman |
Beyond the language workbench: a runtime platform for practical semantic computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 96-97, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
relational programming, incremental computation, dynamic aspects |
10 | Laurence Tratt |
Compile-time meta-programming in a dynamically typed OO language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2005 Symposium on Dynamic Languages, DLS 2005, October 18, 2007, San Diego, California, USA, pp. 49-63, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Costanza, Robert Hirschfeld |
Language constructs for context-oriented programming: an overview of ContextL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2005 Symposium on Dynamic Languages, DLS 2005, October 18, 2007, San Diego, California, USA, pp. 1-10, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic scope, views, layers, Context-oriented Programming |
10 | Chen Ding 0001, Chengliang Zhang, Xipeng Shen, Mitsunori Ogihara |
Gated memory control for memory monitoring, leak detection and garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance ![In: Proceedings of the 2005 workshop on Memory System Performance, Chicago, Illinois, USA, June 12, 2005, pp. 62-67, 2005, ACM, 1-59593-147-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
memory usage monitoring, object life, preventive memory management, memory leak, program phase |
10 | Olin Shivers |
The anatomy of a loop: a story of scope and control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 2-14, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures |
10 | Greta Yorsh, Madanlal Musuvathi |
A Combination Method for Generating Interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 353-368, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Naoko Matsumoto, Akifumi Tokosumi |
Context Building Through Socially-Supported Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings, pp. 316-325, 2005, Springer, 3-540-26924-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yuji Yagi, Keikichi Hirose, Seiya Takada, Nobuaki Minematsu |
Improved concept-to-speech generation in a dialogue system on road guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 4th International Conference on Cyberworlds (CW 2005), 23-25 November 2005, Singapore, pp. 429-436, 2005, IEEE Computer Society, 0-7695-2378-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Don Stewart, Manuel M. T. Chakravarty |
Dynamic applications from the ground up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 27-38, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
functional programming, dynamic update, extension languages, hot swapping, dynamic applications |
10 | Jan Rauch, Milan Simunek |
GUHA method and granular computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 630-635, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | António Menezes Leitão |
Detection of Redundant Code Using R2D2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 12(4), pp. 361-382, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hans Langmaack |
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 209-235, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Alan C. Kay |
"The computer revolution", "computer science", and "software engineering" haven't happened yet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 6, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan Bachrach, Nell Breyer |
I: move. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, Cambridge, MA, USA, August 1-4, 2004, pp. 314, 2004, ACM, 1-58113-787-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multimedia, real-time, interactive, motion analysis, stream processing, video processing |
10 | Alejandro Guerra-Hernández, Amal El Fallah Seghrouchni, Henry Soldano |
Learning in BDI Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers, pp. 218-233, 2004, Springer, 3-540-24010-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina |
Verified Computer Algebra in Acl2. Gröbner Bases Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 171-184, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Francisco José Perales López, Ramon Mas, Miquel Mascaró 0001, Pere A. Palmer, A. Igelmo, A. Ramírez |
A Colour Tracking Procedure for Low-Cost Face Desktop Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA ![In: Pattern Recognition and Image Analysis, First Iberian Conference, IbPRIA 2003, Puerto de Andratx, Mallorca, Spain, June 4-6, 2003, Proceedings, pp. 733-739, 2003, Springer, 3-540-40217-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Augustin Lux |
The Imalab Method for Vision Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings, pp. 314-322, 2003, Springer, 3-540-00921-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Naoko Matsumoto, Akifumi Tokosumi |
A Socially Supported Knowledge-Belief System and Its Application to a Dialogue Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 778-784, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Laurent Pottier |
"GMU" - An Integrated Microsound Synthesis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval, International Symposium, CMMR 2003,Montpellier, France, May 26-27, 2003, Revised Papers, pp. 82-88, 2003, Springer, 3-540-20922-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nadia Nedjah, Luiza de Macedo Mourelle |
Efficient Concise Deterministic Pattern-Matching Automata for Ambiguous Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(2), pp. 57-67, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | K. Yu. Lisovsky |
XML Applications Development in Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 28(4), pp. 197-206, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | J Strother Moore, George Porter |
The apprentice challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(3), pp. 193-216, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation |
10 | Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier |
Compiling language definitions: the ASF+SDF compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(4), pp. 334-368, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
language definition, maximal subterm sharing, Compilation, term rewriting |
10 | Robert S. Boyer, J Strother Moore |
Single-Threaded Objects in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 9-27, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Morten Rhiger |
Compiling Embedded Programs to Byte Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 120-136, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
domain-specific language, Just-in-time compilation, embedded language, OCaml |
10 | Phil Bagwell |
Fast Functional Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 34-50, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Eike Falk Anderson |
Off-Line Evolution of Behaviour for Autonomous Agents in Real-Time Computer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VII, 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings, pp. 689-699, 2002, Springer, 3-540-44139-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Mads Rosendahl |
Simple Driving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 404-419, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Matthew Flatt |
Composable and compilable macros: : you want it when? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 72-83, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
language tower, modules, macros |
10 | Michael R. Williams |
Calvin Mooers, the NOL Computer Project, and John Vincent Atanasoff: An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 23(2), pp. 50-51, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Klaus Havelund, Michael R. Lowry, John Penix |
Formal Analysis of a Space-Craft Controller Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(8), pp. 749-765, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction |
10 | J Strother Moore |
Finite Set Theory in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings, pp. 313-328, 2001, Springer, 3-540-42525-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Marc S. Atkin, Gary W. King, David L. Westbrook, Brent Heeringa, Paul R. Cohen |
Hierarchical agent control: a framework for defining agent behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 425-432, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Duane Buck, David J. Stucki |
JKarelRobot: a case study in supporting levels of cognitive development in the computer science curriculum. ![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. 16-20, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
inside/out pedagogy, karel the robot, software tools, CS1, CS2, Bloom's taxonomy |
10 | Michael Affenzeller, Franz Pichler, Rudolf Mittelmann |
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata. ![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. 36-44, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Bhanu Prasad 0001 |
A Planning System for Blocks-World Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 59-, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | César Domínguez 0001, Julio Rubio 0001 |
Modeling inheritance as coercion in a symbolic computation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 109-115, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CLOS |
10 | Robert G. Brown |
Defining APL community: case studies, towards a revival of APL community. ![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. 39-46, 2000, ACM, 1-58113-182-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
APL |
10 | Ute Masermann, Gottfried Vossen |
Design and Implementation of a Novel Approach to Keyword Searching in Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS-DASFAA ![In: Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-8, 2000, Proceedings, pp. 171-184, 2000, Springer, 3-540-67977-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos |
Formalizing Rewriting in the ACL2 Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 92-106, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Mayur Naik, Rajeev Kumar |
Object-Oriented Symbol Management in Syntax-Directed Compiler Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 34(6), pp. 58-67, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Francoise Balmas |
Query by Outlines: A New Paradigm to Help Manage Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, pp. 86-94, 1999, ACM, 1-58113-137-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
Expressing Structural Properties as Language Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 258-272, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Oliver Grillmeyer |
An interactive multimedia textbook for introductory computer science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1999, New Orleans, Louisiana, USA, March 14-28, 1999, pp. 286-290, 1999, ACM, 1-58113-085-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Simon White, Derek H. Sleeman |
A Constraint-Based Approach to the Description of Competence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings, pp. 291-308, 1999, Springer, 3-540-66044-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Ted J. Biggerstaff |
Fixing Some Transformation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 148-157, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
pattern-directed, tag-directed, logic programming, transformations, program generation, Domain specific |
10 | Byoung-Tak Zhang, Dong-Yeon Cho |
Genetic Programming with Active Data Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 146-153, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Amir M. Ben-Amram, Holger Petersen 0001 |
CONS-Free Programs with Tree Input (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 271-282, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | José M. Piquer, Ivana Visconti |
Indirect Reference Listing: A Robust Distributed GC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 610-619, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | João Canas Ferreira, José Silva Matos |
A Prototype System for Rapid Application Development using Dynamically Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 15-17 April 1998, Napa Valley, CA, USA, pp. 280-281, 1998, IEEE Computer Society, 0-8186-8900-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Ian Horrocks 0001, Peter F. Patel-Schneider |
FaCT and DLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings, pp. 27-30, 1998, Springer, 3-540-64406-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Shigeru Chiba |
Macro Processing in Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (28) ![In: TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia, pp. 113-126, 1998, IEEE Computer Society, 0-7695-0053-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Metaobjects, Design pattern, Reflection |
10 | Luc Moreau 0001 |
A Syntactic Theory of Dynamic Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 727-741, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Henry J. Borron |
Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 297-324, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multidimensional objects, qualifier, standard method combination. monotonicity, pure declarativeness, invocation sequence diagram, regularity condition, prevalence rule, stability, efficiency, role, linearization, combination, congruency, multiple inheritance, multiple dispatch |
10 | Masazumi Yoshikawa, Kazuya Kaneko, Toru Yamanouchi, Masanobu Watanabe |
A Constraint-Based High School Scheduling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(1), pp. 63-72, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper 0001, Peter Lee 0001 |
TIL: a type-directed, optimizing compiler for ML (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 554-567, 1996, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Agostino Poggi |
HOMAGE: A Heterogeneous Object-Based Environment to Develop Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 282-289, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Louis Boulanger |
Object Oriented Method for Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 30(2), pp. 33-41, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
AXIOM |
10 | Stephen J. Sullivan, Benjamin G. Zorn |
Numerical Analysis Using Nonprocedural Paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 21(3), pp. 267-298, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
experimental languages, benchmarks, programming languages, linear algebra, sparse matrices, Gaussian elimination |
10 | Arthur H. Lee, Joseph L. Zachary |
Reflections on Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(11), pp. 883-893, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
object-oriented programming languages, object persistence, CLOS, open implementation, metaobject protocol |
10 | Adam Brooks Webber |
Optimization of Functional Programs by Grammar Thinning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(2), pp. 293-330, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimization, functional languages, graph grammars |
10 | Michael Mehl, Ralf Scheidhauer, Christian Schulte 0001 |
An Abstract Machine for Oz ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 151-168, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Antonina Dattolo, Vincenzo Loia |
Hypertext Version Management in an Actor-based Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 7th International Conference, CAiSE'95, Jyväskylä, Finland, June 12-16, 1995, Proceedings, pp. 112-125, 1995, Springer, 3-540-59498-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Urs Hölzle, David M. Ungar |
Do Object-Oriented Languages Need Special Hardware Support? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 283-302, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Panagiotis K. Linos |
PolyCARE: a tool for re-engineering multi-language program integrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 338-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model |
10 | Scott Burson |
Continuations Without Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 29(5), pp. 27-30, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
10 | Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto |
Sleepers: A Versatile High-Level Control Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 308-323, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Randy M. Kaplan |
Bridging the Gap between Knowledge Engineering and Efficient Implementation in an Intelligent Tutoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 477-487, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
expert systems, implementation, knowledge engineering, intelligent tutors |
10 | Guy L. Steele Jr. |
Building Interpreters by Composing Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 472-492, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Yoshio Tanaka, Shogo Matsui, Atsushi Maeda, Masakazu Nakanishi |
Partial Marking GC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 337-348, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Paul J. Voda |
Subrecursion as a Basis for a Feasible Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 324-338, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Mark Harman, Sebastian Danicic |
Projecting Functional Models of Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(11), pp. 33-41, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Mirjana Ivanovic, Zoran Budimac |
A Definition of an ISWIM-Like Language via Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(4), pp. 29-38, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
Displaying result #1501 - #1600 of 1752 (100 per page; Change: ) Pages: [ <<][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ 17][ 18][ >>] |
|