Search results for "abstract-machine"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Comparing tag scheme variations using an abstract machine generator.	PPDP	2008	DBLP DOI BibTeX RDF	Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
40	Francisco Ortín Soler, Juan Manuel Cueva Lovelle, Ana Belén Martínez Prieto	The reflective nitrO abstract machine.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	adaptability, virtual machine, reflection, heterogeneously, extensibility, abstract machine
38	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
37	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
35	Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
34	Edison Mera, Pedro López-García 0001, Manuel Carro, Manuel V. Hermenegildo	Towards execution time estimation in abstract machine-based languages.	PPDP	2008	DBLP DOI BibTeX RDF	logic programming, profiling, cost models, cost analysis, resource awareness, execution time estimation
34	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
34	John Hannan, Dale Miller 0001	From Operational Semantics to Abstract Machines: Preliminary Results.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
32	Jon Mountjoy	The Spineless Tagless G-machine, naturally.	ICFP	1998	DBLP DOI BibTeX RDF
31	Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy	Abstract Machine for LDL.	EDBT	1990	DBLP DOI BibTeX RDF
30	Wanli Ma, C. W. Johnson, Richard P. Brent	Programming with transactions and chemical abstract machine.	ISPAN	1996	DBLP DOI BibTeX RDF	chemical abstract machine, T-Cham, interactive computational model, T-Cham program, coordination style, transactions, transaction processing, high level languages, database languages
30	Paola Inverardi, Alexander L. Wolf	Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	chemical abstract machine, Software architecture, formal methods, specification, analysis
29	Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi	An Abstract Machine Architecture for Web Service Based Business Process Management.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF
28	Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani	An Abstract Machine for the Kell Calculus.	FMOODS	2005	DBLP DOI BibTeX RDF
27	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
27	José F. Morales 0001, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo	A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.	ICLP	2005	DBLP DOI BibTeX RDF
26	Philip J. Koopman Jr., Peter Lee 0001, Daniel P. Siewiorek	Cache Behavior of Combinator Graph Reduction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	self-modifying code, combinators, abstract machine, graph reduction
25	Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore	Abstract State Machines: Designing Distributed Systems with State Machines and B.	B	1998	DBLP DOI BibTeX RDF
25	François Bry, Tim Furche, Benedikt Linse	AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles.	PPSWR	2006	DBLP DOI BibTeX RDF
25	Moon-Chuen Lee	An Abstract Machine Simulator.	ICCAL	1990	DBLP DOI BibTeX RDF
25	Robert V. Zara, Kevin Rose, Ghulam Nurie, Harish Sarin	An abstract machine data structure for non-procedural functional models.	DAC	1985	DBLP DOI BibTeX RDF
25	Michael Codish, Bart Demoen, Konstantinos Sagonas	Semantics-Based Program Analysis for Logic-Based Languages Using XSB.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Semantics-based program analysis, Logic programming language analysis, XSB
24	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
24	Luc Moreau 0001	The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations.	ESOP	1994	DBLP DOI BibTeX RDF
24	Andrew Phillips, Nobuko Yoshida, Susan Eisenbach	A Distributed Abstract Machine for Boxed Ambient Calculi.	ESOP	2004	DBLP DOI BibTeX RDF
24	Paolo Volpe	Concurrent Logic Programming as Uniform Linear Proofs.	ALP	1994	DBLP DOI BibTeX RDF	Uniform Proofs, Phase Semantics, Chemical Abstract Machine, Concurrency, Linear Logic
23	Malgorzata Biernacka, Olivier Danvy	A concrete framework for environment machines.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	closures, derivation, Abstract machines, explicit substitutions
23	John Fisher, Marc Bezem	Skolem Machines and Geometric Logic.	ICTAC	2007	DBLP DOI BibTeX RDF
23	Chung-Kwong Yuen	An abstract machine design for lexically scoped parallel Lisp with speculative processing.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	LISP
23	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
22	Pierre E. Bonzon	An Abstract Machine for Classes of Communicating Agents Based on Deduction.	ATAL	2001	DBLP DOI BibTeX RDF
22	Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap	An Abstract Machine for CLP(R).	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
22	Andreas Krall, Ulrich Neumerkel	The Vienna Abstract Machine.	PLILP	1990	DBLP DOI BibTeX RDF
22	Gérard Berry, Gérard Boudol	The Chemical Abstract Machine.	POPL	1990	DBLP DOI BibTeX RDF	CCS
21	Pierre Crégut	An Abstract Machine for Lambda-Terms Normalization.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
21	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Towards Description and Optimization of Abstract Machines in an Extension of Prolog.	LOPSTR	2006	DBLP DOI BibTeX RDF	Optimization, Compilation, Prolog, Program Transformation, Abstract Machines
21	Xining Li	Program Sharing: A New Implementation Approach for Prolog.	PLILP	1996	DBLP DOI BibTeX RDF
21	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming
21	Jing Zhang, Licui Zhang, Degui Guo	Operational Semantics of the Seal Calculus.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Seal Calculus, Mobile computation, operational semantics, abstract machine
21	Luc Moreau 0001, Christian Queinnec	Resource aware programming.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	resource algebra, semantics, Resource management, abstract machine
21	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
21	Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	Fine-Grained Multithreading with Process Calculi.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	multithreading, abstract-machine, Process-calculus
21	Hung Ledang, Jeanine Souquières	Modeling Class Operations in B: Application to UML Behavioral Diagrams.	ASE	2001	DBLP DOI BibTeX RDF	class operation, B abstract machine(BAM), B operation, UML, B method
21	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	Fine Grained Multithreading with Process Calculi.	IEEE PACT	2000	DBLP DOI BibTeX RDF	Multithreading, Abstract-Machine, Process-Calculus
21	Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio	Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software.	WETICE	1995	DBLP DOI BibTeX RDF	collaborative software verification, Software Performance Evaluation and Modeling, Master Model, performance analysis model, software workload model, abstract machine model, database management systems, program verification, performance predictions, software performance evaluation, database design, computer aided software engineering, safety-critical software, software performance engineering, SPEED, life cycle, hybrid simulation, software engineering methodology, software toolkit, critical software
21	Johann Schumann, Reinhold Letz	PARTHEO: A High-Performance Parallel Theorem Prover.	CADE	1990	DBLP DOI BibTeX RDF	Warren Abstract Machine, message passing, Theorem proving, first-order logic, transputers, or-parallelism, model elimination, connection method
20	Christoph Beierle, Egon Börger	Correctness Proof For the WAM with Types.	CSL	1991	DBLP DOI BibTeX RDF
20	Andy Mück	CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs.	PLILP	1992	DBLP DOI BibTeX RDF
20	Balkrishna Ramkumar, Laxmikant V. Kalé	An Abstract Machine for the Reduce-OR Process Model for Parallel Prolog.	KBCS	1989	DBLP DOI BibTeX RDF
20	Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama	Reversible Machine Code and Its Abstract Processor Architecture.	CSR	2007	DBLP DOI BibTeX RDF
19	Olivier Danvy, Jacob Johannsen	Inter-deriving Semantic Artifacts for Object-Oriented Programming.	WoLLIC	2008	DBLP DOI BibTeX RDF
19	D. L. Overheu	An Abstract Machine for Symbolic Computation.	J. ACM	1966	DBLP DOI BibTeX RDF
19	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
18	Jichang Tan, I-Peng Lin	Compiling Dataflow Analysis of Logic Programs.	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
18	Alessandro Giacalone	XY-WINS: An Integraded Environment for Developing Graphical User Interfaces.	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF
18	Jörgen Gustavsson	A Type Based Sharing Analysis for Update Avoidance and Optimisation.	ICFP	1998	DBLP DOI BibTeX RDF
18	Christian S. Collberg	Reverse Interpretation + Mutation Analysis = Automatic Retargeting.	PLDI	1997	DBLP DOI BibTeX RDF	C
18	Rita Loogen	From Reduction Machines To Narrowing Machines.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
18	Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo	Graph-based Implementation of a Functional Logic Langugage.	ESOP	1990	DBLP DOI BibTeX RDF
17	Jinkui Xie, Linpeng Huang	An Abstract Model for Service Compositions Based on Agents.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
17	Peter Sewell	On Implementations and Semantics of a Concurrent Programming Language.	CONCUR	1997	DBLP DOI BibTeX RDF
17	Jerzy Mycka, Francisco Coelho, José Félix Costa	The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.	UC	2006	DBLP DOI BibTeX RDF
17	Daniel Hirschkoff, Damien Pous, Davide Sangiorgi	A Correct Abstract Machine for Safe Ambients.	COORDINATION	2005	DBLP DOI BibTeX RDF
17	Kerstin Eder, Steffen Hölldobler, Michael Thielscher	An Abstract Machine for Reasoning about Situations, Actions, and Causality.	ELP	1996	DBLP DOI BibTeX RDF
17	Giuseppe Del Castillo, Igor Durdanovic, Uwe Glässer	An Evolving Algebra Abstract Machine.	CSL	1995	DBLP DOI BibTeX RDF
17	Alan Jeffrey	A Chemical Abstract Machine for Graph Reduction.	MFPS	1993	DBLP DOI BibTeX RDF
17	Kevin Hammond	Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.	CEFP	2005	DBLP DOI BibTeX RDF
17	K. John Gough	Stacking them up: a Comparison of Virtual Machines.	ACSAC	2001	DBLP DOI BibTeX RDF
16	Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier	A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.	ILPS	1995	DBLP BibTeX RDF
16	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001	An Improved Continuation Call-Based Implementation of Tabling.	PADL	2008	DBLP DOI BibTeX RDF	Performance, Program transformation, Implementation, Tabled logic programming
16	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
16	Philippe Bidinger, Adriana B. Compagnoni	Pict Correctness Revisited.	FMOODS	2007	DBLP DOI BibTeX RDF
16	Pablo López, Jeff Polakow	Implementing Efficient Resource Management for Linear Logic Programming.	LPAR	2004	DBLP DOI BibTeX RDF
16	Frédéric Gava, Frédéric Loulergue	A Parallel Virtual Machine for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
16	Lutz H. Hamel, Joseph A. Goguen	Towards a Provably Correct Compiler for OBJ3.	PLILP	1994	DBLP DOI BibTeX RDF	compilers, algebraic specification, abstract machines, rewrite rules
16	Michael Hanus	Compiling Logic Programs with Equality.	PLILP	1990	DBLP DOI BibTeX RDF
16	Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger	Improving the lazy Krivine machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Call by need, Lambda calculus, Lazy evaluation, Abstract machine
16	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
16	Andre Scedrov	The work of Dean Rosenzweig: a tribute to a scientist and an innovator.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	cryptographic abstract machine, cryptographic protocols, model-based testing
16	Fabrice Bouquet, Bruno Legeard	Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study.	FME	2003	DBLP DOI BibTeX RDF	B abstract machine, Oracle synthesis, Representation mapping, Specification-Based test generation, Formal methods, Java Card
16	Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich	Static checking of system behaviors using derived component assumptions.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	chemical abstract machine model, static analysis, component-based systems, assumptions
16	Wan J. Fokkink, Jasper Kamperman, Pum Walters	Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	specificity ordering, automata, term rewriting, abstract machine
16	Bruno Mermet, Dominique Méry	Service specifications: to B, or not to B.	FMSP	1998	DBLP DOI BibTeX RDF	B abstract machine, formal specification, case studies, service, invariance, feature interaction, theorem prover, proof obligation
16	Rafael H. Saavedra, Alan Jay Smith	Analysis of Benchmark Characteristics and Benchmark Performance Prediction.	ACM Trans. Comput. Syst.	1996	DBLP DOI BibTeX RDF	abstract machine performance model, benchmark analysis, execution time prediction, microbenchmarking
16	Juan Bicarregui, Brian Ritchie	Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
16	S. Ivanets, N. Ilinsky, M. Krylov	WAM Specification for Parallel Execution on SIMD Computer.	RCLP	1991	DBLP DOI BibTeX RDF	parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
16	Yves Bekkers, Lucien Ungaro	Real-Time Memory Management for Prolog.	RCLP	1991	DBLP DOI BibTeX RDF	early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector
15	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
15	Stephan Diehl 0001	Natural Semantics-Directed Generation of Compilers and Abstract Machines.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Abstract machines, Compiler generation, Natural semantics
15	Pierre Crégut	Strongly reducing variants of the Krivine abstract machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Abstract machines, Strong normalization
15	Nick Benton	A Typed, Compositional Logic for a Stack-Based Abstract Machine.	APLAS	2005	DBLP DOI BibTeX RDF
15	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.	FMCO	2005	DBLP DOI BibTeX RDF
15	François Fages	Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.	LOPSTR	2005	DBLP DOI BibTeX RDF
15	Dean Rosenzweig, Davor Runje	The Cryptographic Abstract Machine.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
15	Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman	The Biochemical Abstract Machine BIOCHAM.	CMSB	2004	DBLP DOI BibTeX RDF
15	Adam Belloum, Zeger W. Hendrikse, David L. Groep, Ersin Cem Kaletas, A. W. van Halderen, Hamideh Afsarmanesh, Louis O. Hertzberger	The VLAM-G Abstract Machine: A Data and Process Handling System on the Grid.	HPCN	2001	DBLP DOI BibTeX RDF
15	Seikoh Mikami, Yohji Akama	A Study of Abramsky's Linear Chemical Abstract Machine.	TLCA	1999	DBLP DOI BibTeX RDF
15	Gopalan Nadathur, Dustin J. Mitchell	System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog.	CADE	1999	DBLP DOI BibTeX RDF
15	Lourdes Tajes Martínez, Fernando Álvarez García, María Ángeles Díaz Fondón, Darío Álvarez Gutiérrez, Juan Manuel Cueva Lovelle	A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
15	Michael Mehl, Ralf Scheidhauer, Christian Schulte 0001	An Abstract Machine for Oz	PLILP	1995	DBLP DOI BibTeX RDF