Search results for "Lisp"

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.	PerCom	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.	S3	2008	DBLP DOI BibTeX RDF
10	Yoshihito Toyama	Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.	RTA	2008	DBLP DOI BibTeX RDF
10	Jónathan Heras, Vico Pascual, Julio Rubio 0001	Mediated Access to Symbolic Computation Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
10	Jerzy Tomasik, Jerzy Weyman	Category localization semantics for specification refinements.	Ann. Math. Artif. Intell.	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.	ESWC	2007	DBLP DOI BibTeX RDF
10	Luca Cardelli	An Accidental Simula User.	ECOOP	2007	DBLP DOI BibTeX RDF
10	Damien Saucez, Benoit Donnet, Olivier Bonaventure	Implementation and preliminary evaluation of an ISP-driven informed path selection.	CoNEXT	2007	DBLP DOI BibTeX RDF
10	Chen Ding 0001, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang	Software behavior oriented parallelization.	PLDI	2007	DBLP DOI BibTeX RDF	program behavior, speculative parallelization
10	Folkert de Boer, Paulien Hogeweg	The role of speciation in spatial coevolutionary function approximation.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	spatial pattern formation, coevolution, function optimization, CA, speciation
10	Pavel Petrovic	Strengths and weaknesses of FSA representation.	GECCO	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.	ACM Comput. Surv.	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.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
10	Dale Vaillancourt, Rex L. Page, Matthias Felleisen	ACL2 in DrScheme.	ACL2	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.	ICMS	2006	DBLP DOI BibTeX RDF
10	Harry Halpin, Henry S. Thompson	One document to bind them: combining XML, web services, and the semantic web.	WWW	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.	MICAI	2006	DBLP DOI BibTeX RDF
10	William R. Cook	Peak Objects.	ECOOP	2006	DBLP DOI BibTeX RDF
10	Alicia Tribble, Carolyn P. Rosé	Usable browsers for ontological knowledge acquisition.	CHI Extended Abstracts	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.	ML	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.	IAT Workshops	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.	ASWC	2006	DBLP DOI BibTeX RDF
10	Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson	Adaptive scheduling with parallelism feedback.	PPoPP	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.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
10	J Strother Moore	A Mechanized Program Verifier.	VSTTE	2005	DBLP DOI BibTeX RDF
10	Steve Dekorte	Io: a small programming language.	OOPSLA Companion	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.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	relational programming, incremental computation, dynamic aspects
10	Laurence Tratt	Compile-time meta-programming in a dynamically typed OO language.	DLS	2005	DBLP DOI BibTeX RDF
10	Pascal Costanza, Robert Hirschfeld	Language constructs for context-oriented programming: an overview of ContextL.	DLS	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.	Memory System Performance	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.	ICFP	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.	CADE	2005	DBLP DOI BibTeX RDF
10	Naoko Matsumoto, Akifumi Tokosumi	Context Building Through Socially-Supported Belief.	CONTEXT	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.	CW	2005	DBLP DOI BibTeX RDF
10	Don Stewart, Manuel M. T. Chakravarty	Dynamic applications from the ground up.	Haskell	2005	DBLP DOI BibTeX RDF	functional programming, dynamic update, extension languages, hot swapping, dynamic applications
10	Jan Rauch, Milan Simunek	GUHA method and granular computing.	GrC	2005	DBLP DOI BibTeX RDF
10	António Menezes Leitão	Detection of Redundant Code Using R2D2.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF
10	Hans Langmaack	Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
10	Alan C. Kay	"The computer revolution", "computer science", and "software engineering" haven't happened yet.	EMSOFT	2004	DBLP DOI BibTeX RDF
10	Jonathan Bachrach, Nell Breyer	I: move.	Conference on Designing Interactive Systems	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.	CLIMA	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.	AISC	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.	IbPRIA	2003	DBLP DOI BibTeX RDF
10	Augustin Lux	The Imalab Method for Vision Systems.	ICVS	2003	DBLP DOI BibTeX RDF
10	Naoko Matsumoto, Akifumi Tokosumi	A Socially Supported Knowledge-Belief System and Its Application to a Dialogue Parser.	KES	2003	DBLP DOI BibTeX RDF
10	Laurent Pottier	"GMU" - An Integrated Microsound Synthesis System.	CMMR	2003	DBLP DOI BibTeX RDF
10	Nadia Nedjah, Luiza de Macedo Mourelle	Efficient Concise Deterministic Pattern-Matching Automata for Ambiguous Patterns.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
10	K. Yu. Lisovsky	XML Applications Development in Scheme.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
10	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	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.	ACM Trans. Program. Lang. Syst.	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.	PADL	2002	DBLP DOI BibTeX RDF
10	Morten Rhiger	Compiling Embedded Programs to Byte Code.	PADL	2002	DBLP DOI BibTeX RDF	domain-specific language, Just-in-time compilation, embedded language, OCaml
10	Phil Bagwell	Fast Functional Lists.	IFL	2002	DBLP DOI BibTeX RDF
10	Eike Falk Anderson	Off-Line Evolution of Behaviour for Autonomous Agents in Real-Time Computer Games.	PPSN	2002	DBLP DOI BibTeX RDF
10	Mads Rosendahl	Simple Driving Techniques.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
10	Matthew Flatt	Composable and compilable macros: : you want it when?	ICFP	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.	IEEE Ann. Hist. Comput.	2001	DBLP DOI BibTeX RDF
10	Klaus Havelund, Michael R. Lowry, John Penix	Formal Analysis of a Space-Craft Controller Using SPIN.	IEEE Trans. Software Eng.	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.	TPHOLs	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.	Agents	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.	SIGCSE	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.	EUROCAST	2001	DBLP DOI BibTeX RDF
10	Bhanu Prasad 0001	A Planning System for Blocks-World Domain.	AICCSA	2001	DBLP DOI BibTeX RDF
10	César Domínguez 0001, Julio Rubio 0001	Modeling inheritance as coercion in a symbolic computation system.	ISSAC	2001	DBLP DOI BibTeX RDF	CLOS
10	Robert G. Brown	Defining APL community: case studies, towards a revival of APL community.	APL	2000	DBLP DOI BibTeX RDF	APL
10	Ute Masermann, Gottfried Vossen	Design and Implementation of a Novel Approach to Keyword Searching in Relational Databases.	ADBIS-DASFAA	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.	AISC	2000	DBLP DOI BibTeX RDF
10	Mayur Naik, Rajeev Kumar	Object-Oriented Symbol Management in Syntax-Directed Compiler Systems.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
10	Francoise Balmas	Query by Outlines: A New Paradigm to Help Manage Programs.	PASTE	1999	DBLP DOI BibTeX RDF
10	Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen	Expressing Structural Properties as Language Constructs.	ESOP	1999	DBLP DOI BibTeX RDF
10	Oliver Grillmeyer	An interactive multimedia textbook for introductory computer science.	SIGCSE	1999	DBLP DOI BibTeX RDF
10	Simon White, Derek H. Sleeman	A Constraint-Based Approach to the Description of Competence.	EKAW	1999	DBLP DOI BibTeX RDF
10	Ted J. Biggerstaff	Fixing Some Transformation Problems.	ASE	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.	SEAL	1998	DBLP DOI BibTeX RDF
10	Amir M. Ben-Amram, Holger Petersen 0001	CONS-Free Programs with Tree Input (Extended Abstract).	ICALP	1998	DBLP DOI BibTeX RDF
10	José M. Piquer, Ivana Visconti	Indirect Reference Listing: A Robust Distributed GC.	Euro-Par	1998	DBLP DOI BibTeX RDF
10	João Canas Ferreira, José Silva Matos	A Prototype System for Rapid Application Development using Dynamically Reconfigurable Hardware.	FCCM	1998	DBLP DOI BibTeX RDF
10	Ian Horrocks 0001, Peter F. Patel-Schneider	FaCT and DLP.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Shigeru Chiba	Macro Processing in Object-Oriented Languages.	TOOLS (28)	1998	DBLP DOI BibTeX RDF	Metaobjects, Design pattern, Reflection
10	Luc Moreau 0001	A Syntactic Theory of Dynamic Binding.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Henry J. Borron	Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects.	TOOLS (25)	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.	IEEE Expert	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)	Best of PLDI	1996	DBLP DOI BibTeX RDF
10	Agostino Poggi	HOMAGE: A Heterogeneous Object-Based Environment to Develop Multi-Agent Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
10	Jean-Louis Boulanger	Object Oriented Method for Axiom.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	AXIOM
10	Stephen J. Sullivan, Benjamin G. Zorn	Numerical Analysis Using Nonprocedural Paradigms.	ACM Trans. Math. Softw.	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.	IEEE Trans. Software Eng.	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.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	optimization, functional languages, graph grammars
10	Michael Mehl, Ralf Scheidhauer, Christian Schulte 0001	An Abstract Machine for Oz	PLILP	1995	DBLP DOI BibTeX RDF
10	Antonina Dattolo, Vincenzo Loia	Hypertext Version Management in an Actor-based Framework	CAiSE	1995	DBLP DOI BibTeX RDF
10	Urs Hölzle, David M. Ungar	Do Object-Oriented Languages Need Special Hardware Support?	ECOOP	1995	DBLP DOI BibTeX RDF
10	Panagiotis K. Linos	PolyCARE: a tool for re-engineering multi-language program integrations.	ICECCS	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.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	SCHEME
10	Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto	Sleepers: A Versatile High-Level Control Mechanism.	PLILP	1994	DBLP DOI BibTeX RDF
10	Randy M. Kaplan	Bridging the Gap between Knowledge Engineering and Efficient Implementation in an Intelligent Tutoring System.	DEXA	1994	DBLP DOI BibTeX RDF	expert systems, implementation, knowledge engineering, intelligent tutors
10	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
10	Yoshio Tanaka, Shogo Matsui, Atsushi Maeda, Masakazu Nakanishi	Partial Marking GC.	CONPAR	1994	DBLP DOI BibTeX RDF
10	Paul J. Voda	Subrecursion as a Basis for a Feasible Programming Language.	CSL	1994	DBLP DOI BibTeX RDF
10	Mark Harman, Sebastian Danicic	Projecting Functional Models of Imperative Programs.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
10	Mirjana Ivanovic, Zoran Budimac	A Definition of an ISWIM-Like Language via Scheme.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	SCHEME