Search results for "interpreters"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt	Expressive scoping of distributed aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, distribution, scheme, operational semantics, scope, dynamic deployment
11	Markus Voelter	Using domain specific languages for product line engineering.	SPLC	2009	DBLP BibTeX RDF
11	Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito	Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison.	AI*IA	2009	DBLP DOI BibTeX RDF
11	Daniel Patel, Christopher Giertsen, John Thurmond, John Gjelberg, M. Eduard Gröller	The Seismic Analyzer: Interpreting and Illustrating 2D Seismic Data.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
11	Søren Debois	Imperative-program transformation by instrumented-interpreter specialization.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication
11	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
11	Tina Yu, Dave Wilkinson	A Co-Evolutionary Fuzzy System for Reservoir Well Logs Interpretation.	Evolutionary Computation in Practice	2008	DBLP DOI BibTeX RDF	reservoir modeling and characterization, co-operative co-evolution, well logs interpretation, fuzzy logic, genetic programming, time series
11	Gregory B. Prokopski, Clark Verbrugge	Analyzing the performance of code-copying virtual machines.	OOPSLA	2008	DBLP DOI BibTeX RDF	code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction
11	Ali Assaf 0001, Jacques Noyé	Dynamic AspectJ.	DLS	2008	DBLP DOI BibTeX RDF	aspect scheduling, context-awareness, aspect-oriented programming, AspectJ, dynamic AOP
11	Éric Tanter	Contextual values.	DLS	2008	DBLP DOI BibTeX RDF
11	Gregory B. Prokopski, Clark Verbrugge	Compiler-Guaranteed Safety in Code-Copying Virtual Machines.	CC	2008	DBLP DOI BibTeX RDF
11	Kah Seng Tay, Kimberle Koile	Improving digital ink interpretation through expected type prediction and dynamic dispatch.	ICPR	2008	DBLP DOI BibTeX RDF
11	Akim Demaille, Roland Levillain, Benoît Perrot	A set of tools to teach compiler construction.	ITiCSE	2008	DBLP DOI BibTeX RDF	object oriented programming, design patterns, tools, compiler design, educational projects
11	Denis Caromel, Mario Leyton	A transparent non-invasive file data model for algorithmic skeletons.	IPDPS	2008	DBLP DOI BibTeX RDF
11	Patrice Godefroid, Adam Kiezun, Michael Y. Levin	Grammar-based whitebox fuzzing.	PLDI	2008	DBLP DOI BibTeX RDF	software testing, program verification, grammars, automatic test generation
11	Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni	Cells in Silico: A Holistic Approach.	SFM	2008	DBLP DOI BibTeX RDF
11	Carl Friedrich Bolz, Adrian Kuhn, Adrian Lienhard, Nicholas D. Matsakis, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, Toon Verwaest	Back to the Future in One Week - Implementing a Smalltalk VM in PyPy.	S3	2008	DBLP DOI BibTeX RDF
11	Yves Bertot	Structural Abstract Interpretation: A Formal Study Using Coq.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
11	Koen V. Hindriks, Peter Novák 0001	Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines.	MATES	2008	DBLP DOI BibTeX RDF
11	Éric Tanter	Expressive scoping of dynamically-deployed aspects.	AOSD	2008	DBLP DOI BibTeX RDF
11	Frédéric Lang	Explaining the lazy Krivine machine using explicit substitution and addresses.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Call-by-need, Functional programming, Lazy evaluation, Abstract machine
11	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.	CAV	2007	DBLP DOI BibTeX RDF
11	Erhard Weinell	Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database.	AGTIVE	2007	DBLP DOI BibTeX RDF
11	Patricia H. Shaw, Rafael H. Bordini	Towards Alternative Approaches to Reasoning About Goals.	DALT	2007	DBLP DOI BibTeX RDF
11	Yannis Theoharis, George F. Georgakopoulos, Vassilis Christophides	On the Synthetic Generation of Semantic Web Schemas.	SWDB-ODBIS	2007	DBLP DOI BibTeX RDF
11	Edgar Magaña, Laurent Lefèvre, Joan Serrat 0001	Autonomic Management Architecture for Flexible Grid Services Deployment Based on Policies.	ARCS	2007	DBLP DOI BibTeX RDF	Policy-based Management Architecture, Quality of Service, Grid Services, Network Computing
11	Wieslaw L. Nowinski, Guoyu Qian, K. N. Bhanu Prakash, Ihar Volkau, Wing Keet Leong, Su Huang, Anand Ananthasubramaniam, Jimin Liu, Ting Ting Ng, Varsha Gupta	Stroke Suite: Cad Systems for Acute Ischemic Stroke, Hemorrhagic Stroke, and Stroke in ER.	MIMI	2007	DBLP DOI BibTeX RDF	infarct, hemorrhage, blood supply territories, MR, CT, stroke, anatomy, penumbra, brain atlas
11	Damijan Rebernak, Marjan Mernik	A tool for compiler construction based on aspect-oriented specifications.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
11	Ashish Tiwari 0001, Sumit Gulwani	Logical Interpretation: Static Program Analysis Using Theorem Proving.	CADE	2007	DBLP DOI BibTeX RDF
11	Da Phuc Phan, Thi Nhat Thanh Nguyen, The Duy Bui	A 3D Conversational Agent for Presenting Digital Information for Deaf People.	PRIMA	2007	DBLP DOI BibTeX RDF	Sign Language Synthesis, 3D Conversational Agents, Human Computer Interaction
11	Guido Wachsmuth	Modelling the Operational Semantics of Domain-Specific Modelling Languages.	GTTSE	2007	DBLP DOI BibTeX RDF
11	Torsten Braun	Programmability Models for Sensor Networks. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
11	Xipeng Shen, Michael L. Scott, Chengliang Zhang, Sandhya Dwarkadas, Chen Ding 0001, Mitsunori Ogihara	Analysis of input-dependent program behavior using active profiling.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	active profiling, program phase analysis and prediction, memory management, dynamic optimization
11	Dale Miller 0001, Vivek Nigam	Incorporating Tables into Proofs.	CSL	2007	DBLP DOI BibTeX RDF
11	Mathew Zaleski, Angela Demke Brown, Kevin Stoodley	YETI: a graduallY extensible trace interpreter.	VEE	2007	DBLP DOI BibTeX RDF	interpreter, trace, JIT compiler, mixed-mode
11	Carl Gillett	Samuel Alexander's Emergentism: Or, Higher Causation for Physicalists.	Synth.	2006	DBLP DOI BibTeX RDF
11	Xiaocong Fan, John Yen, Michael S. Miller, Thomas R. Ioerger, Richard A. Volz	MALLET-A Multi-Agent Logic Language for Encoding Teamwork.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	languages and structures, Artificial intelligence, distributed artificial intelligence
11	Joseph D'Errico, Wei Qin	Constructing portable compiled instruction-set simulators: an ADL-driven approach.	DATE	2006	DBLP DOI BibTeX RDF
11	Shohei Yamane, Toru Ishida 0001	Meta-level control architecture for massively multiagent simulations.	WSC	2006	DBLP DOI BibTeX RDF
11	Edwin C. Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
11	Daisuke Hara, Yasuichi Nakayama	Secure and High-Performance Web Server System for Shared Hosting Service.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
11	Aakanksha Gagrani, Lalit Gupta, Balaraman Ravindran, Sukhendu Das, Pinaki Roychowdhury, V. K. Panchal	A Hierarchical Approach to Landform Classification of Satellite Images Using a Fusion Strategy.	ICVGIP	2006	DBLP DOI BibTeX RDF
11	Gergely Mezei, Tihamer Levendovszky, Hassan Charaf	An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.	SET	2006	DBLP DOI BibTeX RDF
11	Stephen H. Muggleton, Niels Pahlavi	The Complexity of Translating BLPs to RMMs.	ILP	2006	DBLP DOI BibTeX RDF
11	Jeffrey V. Nickerson	Flying Sinks: Heuristics for Movement in Sensor Networks.	HICSS	2006	DBLP DOI BibTeX RDF
11	Mike Wald	Captioning for Deaf and Hard of Hearing People by Editing Automatic Speech Recognition in Real Time.	ICCHP	2006	DBLP DOI BibTeX RDF
11	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
11	Rakesh M. Verma, Ara Hayrapetyan	A new decidability technique for ground term rewriting systems with applications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
11	Lingli Zhang, Chandra Krintz	The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	Code unloading, JVM, code-size reduction, JIT, resource-constrained devices
11	Andreas Bauer 0002	Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.	CPAIOR	2005	DBLP DOI BibTeX RDF	formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving
11	Hans Knutsson, Mats T. Andersson	Morphons: segmentation using elastic canvas and paint on priors.	ICIP (2)	2005	DBLP DOI BibTeX RDF
11	Fitsum Admasu, Klaus D. Tönnies	Anisotropic 3D seismic features for robust horizons correlation across faults.	ICIP (2)	2005	DBLP DOI BibTeX RDF
11	Jim Blythe	Task learning by instruction in tailor.	IUI	2005	DBLP DOI BibTeX RDF	task learning by instruction, knowledge acquisition, reasoning about actions
11	Qian Wang 0024, Gopal Gupta 0001	Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.	SAC	2005	DBLP DOI BibTeX RDF	horn logical semantics, semantics, domain specific languages, interpreter
11	Peter Padawitz	Expander2.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
11	Qian Wang	Integrating Architecture Description Languages: A Semantics-Based Approach.	ICDCIT	2005	DBLP DOI BibTeX RDF
11	Félix J. García Clemente, Gregorio Martínez Pérez, Juan A. Botía Blaya, Antonio Fernandez Gómez-Skarmeta	On the Application of the Semantic Web Rule Language in the Definition of Policies for System Security Management.	OTM Workshops	2005	DBLP DOI BibTeX RDF
11	Li Su, Richard A. Frost	A Novel Use of VXML to Construct a Speech Browser for a Public-Domain SpeechWeb.	Canadian AI	2005	DBLP DOI BibTeX RDF
11	Hans Knutsson, Mats T. Andersson	Morphons: Paint on Priors and Elastic Canvas for Segmentation and Registration.	SCIA	2005	DBLP DOI BibTeX RDF
11	Antonio Corradi, Rebecca Montanari, Alessandra Toninelli	Adaptive Semantic Support Provisioning in Mobile Internet Environments.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
11	Kleanthis Thramboulidis, A. Zoupas	Real-time Java in control and automation: a model driven development approach.	ETFA	2005	DBLP DOI BibTeX RDF
11	Oystein Hallaraker, Giovanni Vigna	Detecting Malicious JavaScript Code in Mozilla.	ICECCS	2005	DBLP DOI BibTeX RDF	Web Applications, JavaScript, Mobile Code
11	Mathew Zaleski, Marc Berndl, Angela Demke Brown	Mixed mode execution with context threading.	CASCON	2005	DBLP BibTeX RDF
11	Pedro de Almeida	Typesetting APL dialects: a bitter legacy of the 20th century?	ACM SIGAPL APL Quote Quad	2004	DBLP DOI BibTeX RDF
11	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
11	M. Anton Ertl, David Gregg	Retargeting JIT Compilers by using C-Compiler Generated Executable Code.	IEEE PACT	2004	DBLP DOI BibTeX RDF
11	Glen Hughes, Bernard Hudgins, James MacDougall	Remote Sign Language Interpretation Using the Internet.	CNSR	2004	DBLP DOI BibTeX RDF
11	Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz	The Semantics of MALLET-An Agent Teamwork Encoding Language.	DALT	2004	DBLP DOI BibTeX RDF
11	Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer	Semantics of Plan Revision in Intelligent Agents.	AMAST	2004	DBLP DOI BibTeX RDF
11	Bina Shah, Rachael Dennison, Jeff Gray 0001	A model-driven approach for generating embedded robot navigation control software.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	generative programming, model integrated computing, LEGO Mindstorms
11	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
11	Emanuele Lattanzi, Aman Gayasen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Luca Benini, Alessandro Bogliolo	Improving Java Performance Using Dynamic Method Migration on FPGAs.	IPDPS	2004	DBLP DOI BibTeX RDF
11	Emir Pasalic, Nathan Linger	Meta-programming with Typed Object-Language Representations.	GPCE	2004	DBLP DOI BibTeX RDF
11	David Herman, Philippe Meunier	Improving the static analysis of embedded languages via partial evaluation.	ICFP	2004	DBLP DOI BibTeX RDF	value flow analysis, partial evaluation, macros, embedded languages
11	Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, Albert Cohen 0001, William Jalby	Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures.	LCPC	2004	DBLP DOI BibTeX RDF
11	Sangman Moh	Approaches to Using a Wireless Mobile Terminal to Help Severely Hearing Impaired People.	ICCHP	2004	DBLP DOI BibTeX RDF
11	Alex Iliasov	Templates-based portable just-in-time compiler.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	code, templates, just-in-time compilation, inlining, dynamic code generation, bytecode interpretation
11	Robert Glück	The Translation Power of the Futamura Projections.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
11	Arjen van Weelden, Rinus Plasmeijer	A Functional Shell That Dynamically Combines Compiled Code.	IFL	2003	DBLP DOI BibTeX RDF
11	Krzysztof Czarnecki 0001, John T. O'Donnell, Jörg Striegnitz, Walid Taha	DSL Implementation in MetaOCaml, Template Haskell, and C++.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
11	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
11	Sunae Seo, Hongseok Yang, Kwangkeun Yi	Automatic Construction of Hoare Proofs from Abstract Interpretation Results.	APLAS	2003	DBLP DOI BibTeX RDF
11	Vassilia N. Pashaloudi, Konstantinos G. Margaritis	Towards an Assistive Tool for Greek Sign Language Communication.	ICALT	2003	DBLP DOI BibTeX RDF
11	Feng Chen 0006, Grigore Rosu, Ram Prasad Venkatesan	Rule-Based Analysis of Dimensional Safety.	RTA	2003	DBLP DOI BibTeX RDF
11	Aditya Agrawal	Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck.	ASE	2003	DBLP DOI BibTeX RDF
11	Rod Allan, Kim Lowell	Managing spatial uncertainty using attribute, geometric, and neighborhood measures in an empirical rule-based model approach.	J. Geogr. Syst.	2002	DBLP DOI BibTeX RDF
11	S. A. Nigiyan, S. A. Avetisyan	Semantics of Untyped Functional Programs.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
11	Andrew V. Sokolov	Optimization strategies of stack control.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF
11	Matt Newsome, Des Watson	Proxy compilation of dynamically loaded Java classes with MoJo.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	AOT, ahead-of-time, dynamic class loading, native compilation, proxy compilation, remote compilation, Java, hotspot, just-in-time, JIT, adaptive compilation
11	Andrei P. Nemytykh	A note on elimination of simplest recursions.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	refal, functional programming languages, automatic program transformation
11	Pablo E. Martínez López, John Hughes	Principal type specialisation.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	program specialisation, type based transformation, type specialisation, qualified types
11	Yves-Marie Quemener	A Typical Testing Problem: Validating WML Cellphones.	SPIN	2002	DBLP DOI BibTeX RDF
11	Sergei M. Abramov, Robert Glück	Principles of Inverse Computation and the Universal Resolving Algorithm.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
11	Kazunori Ueda	A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
11	Ward Douglas Maurer	The comparative programming languages course: a new chain of development.	SIGCSE	2002	DBLP DOI BibTeX RDF
11	David M. Beazley	An Extensible Compiler for Creating Scriptable Scientific Software.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
11	Andruid Kerne	Concept-context-design: a creative model for the development of interactivity.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF
11	Sava Krstic, John Matthews	Verifying BDD Algorithms through Monadic Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
11	Rafael H. Bordini, Fabio Y. Okuyama, Denise de Oliveira, Guilherme Drehmer, Romulo C. Krafta	The MAS-SOC Approach to Multi-agent Based Simulation.	RASTA	2002	DBLP DOI BibTeX RDF
11	Sanjeev Kumar 0004, Marcus J. Huber, Philip R. Cohen	Representing and executing protocols as joint actions.	AAMAS	2002	DBLP DOI BibTeX RDF