Search results for "Interpreter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	David Herman, Cormac Flanagan	Status report: specifying javascript with ML.	ML	2007	DBLP DOI BibTeX RDF	definitional interpreters, JavaScript, standard ML
8	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
8	Yiyu Tan, Anthony S. Fong, Xiaojian Yang	Architectural Solution to Object-Oriented Programming.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
8	Walid Taha	A Gentle Introduction to Multi-stage Programming, Part II.	GTTSE	2007	DBLP DOI BibTeX RDF
8	Christopher Dutchyn	Specializing continuations a model for dynamic join points.	FOAL	2007	DBLP DOI BibTeX RDF
8	Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng	EPLAS: An Epistemic Programming Language for All Scientists.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Computer-aided scientific discovery, Epistemic process, Strong relevant logic, Scientific methodology
8	Jomi Fred Hübner, Rafael H. Bordini	Developing a Team of Gold Miners Using Jason.	PROMAS	2007	DBLP DOI BibTeX RDF
8	Tomasz Bartynski, Maciej Malawski, Tomasz Gubala, Marian Bubak	Universal Grid Client: Grid Operation Invoker.	PPAM	2007	DBLP DOI BibTeX RDF	high level Grid programming, operation invocation, JRuby, Grid middleware
8	Musab AlTurki, José Meseguer 0001	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
8	Tianzhou Chen	A Novel Architecture for Embedded Database Management System on Chip.	MUE	2007	DBLP DOI BibTeX RDF
8	Thomas Beer, Jörg Rasinger, Wolfram Höpken, Matthias Fuchs, Hannes Werthner	Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages.	RuleML	2007	DBLP DOI BibTeX RDF	reaction rules, interpreted rules, context-awareness, push, event-condition-action
8	Louise A. Dennis, Michael Fisher 0001, Anthony Hepple	Language Constructs for Multi-agent Programming.	CLIMA	2007	DBLP DOI BibTeX RDF
8	Scott Alexander	Conceptual Data Modeling with Constraints in Maude.	CALCO	2007	DBLP DOI BibTeX RDF
8	Christian Bird, Alex Gourley, Premkumar T. Devanbu	Detecting Patch Submission and Acceptance in OSS Projects.	MSR	2007	DBLP DOI BibTeX RDF
8	Markus Scheidgen, Joachim Fischer	Human Comprehensible and Machine Processable Specifications of Operational Semantics.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
8	Frank Singhoff, Alain Plantec	Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Ada code generating, Cheddar, Platypus, Meta-modeling
8	George Edwards, Sam Malek, Nenad Medvidovic	Scenario-Driven Dynamic Analysis of Distributed Architectures.	FASE	2007	DBLP DOI BibTeX RDF
8	Gerwin de Haan, Michal Koutek, Frits H. Post	Flexible Abstraction Layers for VR Application Development.	VR	2007	DBLP DOI BibTeX RDF
8	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
8	Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic	A Model-Based Statistical Usage Testing of Communication Protocols.	ECBS	2006	DBLP DOI BibTeX RDF	generic modeling environment, statistical usage testing, test harness, software reliability, test case generator, test cases, operational profile, test bed
8	Luciano Baresi, Karsten Ehrig, Reiko Heckel	Verification of Model Transformations: A Case Study with BPEL.	TGC	2006	DBLP DOI BibTeX RDF
8	Tal Cohen, Joseph Gil, Itay Maman	JTL: the Java tools language.	OOPSLA	2006	DBLP DOI BibTeX RDF	reverse engineering, declarative programming
8	Nicholas Riley, Craig B. Zilles	Hardware tansactional memory support for lightweight dynamic language evolution.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	concurrency, safety, transactional memory, Python, locking, dynamic languages
8	Marzio Sala, William F. Spotz, Michael A. Heroux	PyTrilinos: High-Performance Distributed-Memory Solvers for Python.	PARA	2006	DBLP DOI BibTeX RDF
8	Emmanuel de Rosière, Claude Jard, Benoit Parreaux	LaTe, a Non-fully Deterministic Testing Language.	TestCom	2006	DBLP DOI BibTeX RDF
8	Amine Chaieb	Proof-Producing Program Analysis.	ICTAC	2006	DBLP DOI BibTeX RDF
8	Joseph D'Errico, Wei Qin	Constructing portable compiled instruction-set simulators: an ADL-driven approach.	DATE	2006	DBLP DOI BibTeX RDF
8	Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge	Programming Declarative Goals Using Plan Patterns.	DALT	2006	DBLP DOI BibTeX RDF
8	Gerardo Canfora, Anna Rita Fasolino, Gianni Frattolillo, Porfirio Tramontana	Migrating Interactive Legacy Systems To Web Services.	CSMR	2006	DBLP DOI BibTeX RDF
8	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
8	Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt	An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.	ICPC	2006	DBLP DOI BibTeX RDF
8	Daniel L. Moise, Kenny Wong, H. James Hoover, Daqing Hou	Reverse Engineering Scripting Language Extensions.	ICPC	2006	DBLP DOI BibTeX RDF
8	Max Bramer	An Expert System Delivery Environment for the World Wide Web.	AIAI	2006	DBLP DOI BibTeX RDF
8	Kenneth J. Turner, Koon Leai Larry Tan	Graphical Composition of Grid Services.	RISE	2006	DBLP DOI BibTeX RDF
8	Helmut Horacek, Magdalena Wolska	Handling Errors in Mathematical Formulas.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
8	Dorian Miller, James Culp, P. David Stotts	Facetop tablet: : note-taking assistance for deaf persons.	ASSETS	2006	DBLP DOI BibTeX RDF	assistive technology for deaf, meeting accommodations, transparent video
8	Shohei Yamane, Toru Ishida 0001	Meta-level control architecture for massively multiagent simulations.	WSC	2006	DBLP DOI BibTeX RDF
8	Paolo Corsini, Paolo Masci 0001, Alessio Vecchio	Configuration and tuning of sensor network applications through virtual sensors.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
8	Sergio González-Valenzuela, Son T. Vuong, Victor C. M. Leung	A mobile code platform for distributed task control in wireless sensor networks.	MobiDE	2006	DBLP DOI BibTeX RDF	wireless sensor networks, mobile agents, mobile code
8	Eytan Adar	GUESS: a language and interface for graph exploration.	CHI	2006	DBLP DOI BibTeX RDF	domain-specific embedded language, graph visualization, graph layout
8	Bor-Yuh Evan Chang, Matthew Harren, George C. Necula	Analysis of Low-Level Code Using Cooperating Decompilers.	SAS	2006	DBLP DOI BibTeX RDF
8	Greta Yorsh, Thomas Ball, Mooly Sagiv	Testing, abstraction, theorem proving: better together!	ISSTA	2006	DBLP DOI BibTeX RDF	fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria
8	Javier Fabra, Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta	RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions.	EC-Web	2006	DBLP DOI BibTeX RDF	Tuple space benchmarks, Petri nets, Linda, Service coordination
8	Robson de Oliveira Albuquerque, Fábio Buiati, L. Javier García-Villalba, Daniel Silva Almendra, Leonardo Lobo Pulcineli, Rafael Timóteo de Sousa Júnior, Cláudia J. Barenco Abbas	Proposal of a System for Searching and Indexing Heterogeneous Vulnerabilities Databases.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Vulnerability Database, Internet spiders, Security Information System, Open Source Solution
8	Mike Wald	Captioning for Deaf and Hard of Hearing People by Editing Automatic Speech Recognition in Real Time.	ICCHP	2006	DBLP DOI BibTeX RDF
8	Minh Phan, Fumio Hattori	Automatic Web Service Composition Using ConGolog.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
8	Ken Satoh, Ken Kaneiwa, Takeaki Uno	Contradiction Finding and Minimal Recovery for UML Class Diagrams.	ASE	2006	DBLP DOI BibTeX RDF
8	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
8	Dejun Wang, Linpeng Huang, Qinglei Zhang	A Workflow-Oriented Scripting Language Based on BPEL4WS.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
8	Steve Goschnick, Sandrine Balbo, Leon Sterling, Christine Sun	TANDEM - a design method for integrating web services into multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	end-user systems, logic programming methodology, multi-agent system, web services orchestration
8	YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha	ActorNet: an actor platform for wireless sensor networks.	AAMAS	2006	DBLP DOI BibTeX RDF
8	Lin Padgham, Patrick Lambrix	Formalisations of Capabilities for BDI-Agents.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	agent representation formalisms, agent theory, agent capabilities, BDI-agents
8	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
8	Dirk Beyer 0001, Andreas Noack, Claus Lewerentz	Efficient Relational Calculation for Software Analysis.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	data structures, reverse engineering, Logic programming, graph algorithms, reengineering
8	Diomidis Spinellis	Version Control Systems.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	configuration management, version control system, VCS
8	Oleg Kiselyov	Implementing Metcast in Scheme.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	applications and experience with symbolic computing, weather observations, WMO, SXML, XML, Scheme, application server
8	Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	Design and evaluation of dynamic optimizations for a Java just-in-time compiler.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Recompilation, code specialization, profile-directed method inlining, dynamic compilation, JIT compiler, adaptive optimization
8	Miroslav Popovic, Ivan Velikic	A Generic Model-Based Test Case Generator.	ECBS	2005	DBLP DOI BibTeX RDF	statistical usage testing, large-scale embedded systems, software reliability, test case generator, test cases, operational profile
8	Fitsum Admasu, Klaus D. Tönnies	Anisotropic 3D seismic features for robust horizons correlation across faults.	ICIP (2)	2005	DBLP DOI BibTeX RDF
8	Stefan Farfeleder, Andreas Krall, R. Nigel Horspool	Ultra Fast Cycle-Accurate Compiled Emulation of Inorder Pipelined Architectures.	SAMOS	2005	DBLP DOI BibTeX RDF
8	Christoph Walther, Stephan Schweitzer	Reasoning About Incompletely Defined Programs.	LPAR	2005	DBLP DOI BibTeX RDF
8	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Implementing incrementalization across object abstraction.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	May-Alias analysis, refactoring, instrumentation, python, incrementalization, transformation languages
8	Jim Blythe	Task learning by instruction in tailor.	IUI	2005	DBLP DOI BibTeX RDF	task learning by instruction, knowledge acquisition, reasoning about actions
8	Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos	A Distributed Architecture for Norm-Aware Agent Societies.	DALT	2005	DBLP DOI BibTeX RDF
8	Sumit Gulwani, George C. Necula	Precise interprocedural analysis using random interpretation.	POPL	2005	DBLP DOI BibTeX RDF	interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
8	Victoria Davis, Jeff Gray 0001, Joel Jones	Generative approaches for application tailoring of mobile devices.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF
8	K. Rustan M. Leino, Francesco Logozzo	Loop Invariants on Demand.	APLAS	2005	DBLP DOI BibTeX RDF
8	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	APLAS	2005	DBLP DOI BibTeX RDF
8	Timothy G. Griffin, João L. Sobrinho	Metarouting.	SIGCOMM	2005	DBLP DOI BibTeX RDF	algebraic routing, path algebras, routing protocols
8	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
8	J. Guadalupe Ramos, Josep Silva, Germán Vidal	Fast narrowing-driven partial evaluation for inductively sequential programs.	ICFP	2005	DBLP DOI BibTeX RDF	offline partial evaluation, quasi-termination, narrowing
8	Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie	High-level views on low-level representations.	ICFP	2005	DBLP DOI BibTeX RDF	bitdata, bitfields, pattern matching, polymorphism, views, data representation, qualified types, bit manipulation
8	Sebastian Fischmeister	Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication.	ISCC	2005	DBLP DOI BibTeX RDF
8	Brigitte Pientka	Tabling for Higher-Order Logic Programming.	CADE	2005	DBLP DOI BibTeX RDF
8	Michael Rohs, Philipp Zweifel	A Conceptual Framework for Camera Phone-Based Interaction Techniques.	Pervasive	2005	DBLP DOI BibTeX RDF
8	Tarig Mohamed Ahmed	Protecting Service Providers by Using Agent Virtual Machine.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Security of Mobile Agent, Distributed System, Mobility, Mobile Agent
8	Lee Spector, Jon Klein, Maarten Keijzer	The Push3 execution stack and the evolution of control.	GECCO	2005	DBLP DOI BibTeX RDF	reversing a list, stack-based genetic programming, sorting, recursion, iteration, combinators, exponentiation, push, parity, Fibonacci sequence, factorial
8	Kenichi Takahashi, Hiroaki Ueda, Tetsuhiro Miyahara	A Student Agent in a CAI System.	IAT	2005	DBLP DOI BibTeX RDF
8	Alexander Pokahr, Lars Braubach, Winfried Lamersdorf	A Flexible BDI Architecture Supporting Extensibility.	IAT	2005	DBLP DOI BibTeX RDF
8	Chadlia Jerad, Kamel Barkaoui	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
8	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	CEFP	2005	DBLP DOI BibTeX RDF
8	Nima Asgharbeygi, Negin Nejati, Pat Langley, Sachiyo Arai	Guiding Inference Through Relational Reinforcement Learning.	ILP	2005	DBLP DOI BibTeX RDF
8	Dongkyu Choi, Pat Langley	Learning Teleoreactive Logic Programs from Problem Solving.	ILP	2005	DBLP DOI BibTeX RDF
8	Peter Z. Yeh, Bruce W. Porter, Ken Barker 0002	Matching utterances to rich knowledge structures to acquire a model of the speaker's goal.	K-CAP	2005	DBLP DOI BibTeX RDF	ontology, knowledge-based systems, natural language understanding, discourse, semantic matching
8	Massimo Marchi, Alessandra Mileo, Alessandro Provetti	Declarative Policies for Web Service Selection.	POLICY	2005	DBLP DOI BibTeX RDF
8	Rafael H. Bordini, Jomi Fred Hübner	BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper).	CLIMA	2005	DBLP DOI BibTeX RDF
8	Mingyan Shao, Robert P. Futrelle	Recognition and Classification of Figures in PDF Documents.	GREC	2005	DBLP DOI BibTeX RDF	Machine Learning, Boosting, Graphics Recognition, PDF, Vector Graphics, Graphemes
8	Oystein Hallaraker, Giovanni Vigna	Detecting Malicious JavaScript Code in Mozilla.	ICECCS	2005	DBLP DOI BibTeX RDF	Web Applications, JavaScript, Mobile Code
8	Mathew Zaleski, Marc Berndl, Angela Demke Brown	Mixed mode execution with context threading.	CASCON	2005	DBLP BibTeX RDF
8	G. Alan Creak	Parsing by numbers and asparagus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
8	Seng Kee Tan, Yu Ge 0001, Kean Soon Tan, Chee-Wei Ang, Nirmalya Ghosh	Dynamically Loadable Protocol Stacks: A Message Parser--Generator Implementation.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	Protocol Development Design Model, Dynamic Protocol, SIP, Network Protocols
8	Albert Endres	Forschungs- und Entwicklungsprojekte: Der Informationsbegriff - eine informatikorientierte Annäherung.	Inform. Forsch. Entwickl.	2004	DBLP DOI BibTeX RDF	Informationstheorie, Semantik, semantics, information theory, Information, information
8	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
8	John D. Kelleher, Josef van Genabith	Visual Salience and Reference Resolution in Simulated 3-D Environments.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	virtual environments, natural language interfaces, reference resolution, visual salience
8	Truman Parks Boyer, Mohsen Chitsaz	ICE™ and ICE/T™: tools to assist in compiler design and implementation.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	back-end, compiler, project, translator
8	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible datatypes, extensible functions, modular typechecking
8	Ben Stephenson, Wade Holst	A quantitative analysis of Java bytecode sequences.	PPPJ	2004	DBLP DOI BibTeX RDF
8	Ekaterina Stefanov, Anthony M. Sloane	Simple, Effective Code-Size Reduction for Functional Programs.	IFL	2004	DBLP DOI BibTeX RDF
8	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
8	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code.	LPAR	2004	DBLP DOI BibTeX RDF