|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 270 occurrences of 191 keywords
|
|
|
Results
Found 455 publication records. Showing 455 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 455 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|