|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 625 occurrences of 387 keywords
|
|
|
Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Jiro Tanaka |
Meta-Interpreters and Reflective Operations in GHC. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
19 | William H. Winsborough |
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. |
SLP |
1987 |
DBLP BibTeX RDF |
|
19 | Richard L. Wexelblat (eds.) |
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987 |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Miquel Huguet, Tomás Lang, Yuval Tamir |
A block-and-actions generator as an alternative to a simulator for collecting architecture measurements. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft |
DI: an interactive debugging interpreter for applicative languages. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | J. Eliot B. Moss |
Managing stack frames in Smalltalk. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
Smalltalk |
19 | Richard C. Waters |
Efficient interpretation of synchronizable series expressions. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | J. Dana Eckart, Richard J. LeBlanc |
Distributed garbage collection. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Benjamin B. Chase, Robert T. Hood |
Selective interpretation as a technique for debugging computationally intensive programs. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Bernard Lang, Francis Dupont |
Incremental incrementally compacting garbage collection. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Robert S. Sutor, Richard D. Jenks |
The type inference and coercion facilities in the scratchpad II interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
SCRATCHPAD |
19 | Olivier Danvy |
Memory allocation and higher-order functions. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Hans-Juergen Boehm |
Constructive real interpretation of numerical programs. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | A. Jefferson Offutt, K. N. King |
A Fortran 77 interpreter for mutation analysis. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
FORTRAN |
19 | David Gelernter, Suresh Jagannathan, Thomas London |
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
LISP |
19 | Cathy May |
Mimic: a fast system/370 simulator. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Henry Harr, Martha W. Evens, James Sprowl |
Interpreting ABF - a language for document construction. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
ABF |
19 | Andreas Krall |
Implementation of a high-speed Prolog interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Christopher F. Clark |
The JADE interpreter: a RISC interpreter for syntax directed editing. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
RISC |
19 | Thomas Pittman |
Two-level hybrid interpreter/native code execution for combined space-time program efficiency. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Rolf Bahlke, Bernhard Moritz, Gregor Snelting |
A generator for language-specific debugging systems. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Arch Douglas Robison |
The Illinois functional programming interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
FP |
19 | Gregory F. Johnson |
GL-a denotational testbed with continuations and partial continuations as first-class objects. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Antony A. Faustini, William W. Wadge |
An eductive interpreter for Lucid. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
LUCID |
19 | David Notkin, William G. Griswold |
Enhancement through extension: the extension interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | James R. Cordy, T. C. Nicholas Graham |
Design of an interpretive environment for Turing. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
TURING |
19 | Phil Kearns, Chris Cipriani, Mitzi Freeman |
CCAL: An interpreted language for experimentation in concurrent control. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Kai Koskimies, Jukka Paakki |
TOOLS: a unifying approach to object-oriented language interpretation. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
19 | James P. Kelsh, John C. Hansen |
Reasonably priced compilers an interpreters for the IBM PC and compatible computers. |
ACM SIGPLAN Notices |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Greg Michaelson |
Interpreters From Functions and Grammars. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Leon Sterling, Randall D. Beer |
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. (long version: JLP 6(1&2): 163-178) |
SLP |
1986 |
DBLP BibTeX RDF |
|
19 | Leon Sterling |
Meta-interpreters for expert systems (abstract). |
ACM Conference on Computer Science |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Shmuel Safra, Ehud Shapiro |
Meta Interpreters For Real (Invited Paper). |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
19 | Akikazu Takeuchi |
Meta Interpreters For Real - Response. |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
19 | John P. Gallagher |
Transforming Logic Programs by Specialising Interpreters. |
ECAI |
1986 |
DBLP BibTeX RDF |
|
19 | François-Xavier Testard-Vaillant |
Exceptions and Interpreters. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
19 | Jean-Jacques Girardot |
The APL 90 project: new directions in APL interpreters technology. |
APL |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Robert Bernicky, Geno Coschi, James L. Ryan, Bob Smith, Philip A. Van Cleave, James G. Wheeler |
Writing interpreters (panel). |
APL |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Maurice Bruynooghe |
Garbage Collection in Prolog Interpreters. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
19 | Derek R. Brough, Adrian Walker |
Some Practical Properties of Logic Programming Interpreters. |
FGCS |
1984 |
DBLP BibTeX RDF |
|
19 | James C. Brakefield |
Talk on interpreters. |
SIGARCH Comput. Archit. News |
1982 |
DBLP DOI BibTeX RDF |
|
19 | John Kontos, George K. Papakonstantinou |
The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter. |
IEEE Trans. Software Eng. |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Maurice Bruynooghe |
A Note on Garbage-Collection in Prolog Interpreters. |
ICLP |
1982 |
DBLP BibTeX RDF |
|
19 | Nigel P. Chapman |
Theory and practice in the construction of efficient interpreters |
|
1980 |
RDF |
|
19 | Frank G. Pagan |
Algol 68 as an implementation language for portable interpreters. |
Strathclyde ALGOL 68 Conference |
1977 |
DBLP DOI BibTeX RDF |
|
19 | Arvind, Kim P. Gostelow |
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. |
Formal Description of Programming Concepts |
1977 |
DBLP BibTeX RDF |
|
19 | Dines Bjørner |
Programming Languages: Formal Development of Interpreters and Compilers. |
International Computing Symposium |
1977 |
DBLP BibTeX RDF |
|
19 | Sanjay Ranade |
Design of Interpreters for Programming Languages. |
|
1976 |
RDF |
|
19 | Donald Nudds |
Conversion of Programs Between Computers: Interpreters, Simulators and Compilers. |
J. Comput. Syst. Sci. |
1973 |
DBLP DOI BibTeX RDF |
|
19 | Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli |
Towards an Automatic Generation of Interpreters. |
GI Jahrestagung |
1973 |
DBLP DOI BibTeX RDF |
|
19 | Reiner W. Hartenstein |
Hierarchy of Interpreters for Modelling Complex Digital Systems. |
GI Jahrestagung |
1973 |
DBLP DOI BibTeX RDF |
|
19 | John C. Reynolds |
Definitional interpreters for higher-order programming languages. |
ACM Annual Conference (2) |
1972 |
DBLP DOI BibTeX RDF |
|
19 | Clement McGowan |
Correctness Results For Lambda Calculus Interpreters. |
|
1970 |
RDF |
|
19 | Robert E. Machol, William J. Eccles, J. Carter Bays |
There's still a place for interpreters. |
ACM National Meeting |
1961 |
DBLP DOI BibTeX RDF |
|
19 | Stergios Papadimitriou, Constantinos Terzidis, Seferina Mavroudi, Spiridon D. Likothanassis |
ScalaLab: An Effective Scala-Based Scientific Programming Environment for Java. |
Comput. Sci. Eng. |
2011 |
DBLP DOI BibTeX RDF |
Groovy, class loaders, Java, interpreters, Matlab, scripting, functional languages, binding, scientific programming, dynamic languages, Scala |
19 | Ariel Ortiz |
Building server-side web language processors. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
compilers, programming languages, interpreters, web development, web frameworks |
19 | Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu |
Instant multi-tier web applications without tears. |
ISEC |
2009 |
DBLP DOI BibTeX RDF |
muli-tier development, model driven architecture, interpreters |
19 | Matthias Blume, Mike Rainey, John H. Reppy |
Calling variadic functions from a strongly-typed language. |
ML |
2008 |
DBLP DOI BibTeX RDF |
compilers, interpreters, foreign-function interfaces |
19 | Theo D'Hondt |
Are Bytecodes an Atavism? |
S3 |
2008 |
DBLP DOI BibTeX RDF |
Virtual machines, interpreters, bytecodes |
19 | David Herman, Cormac Flanagan |
Status report: specifying javascript with ML. |
ML |
2007 |
DBLP DOI BibTeX RDF |
definitional interpreters, JavaScript, standard ML |
19 | Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha |
Implementing DSLs in metaOCaml. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
staged interpreters, program generation, multi-stage programming |
19 | Gaurav S. Kc, Angelos D. Keromytis, Vassilis Prevelakis |
Countering code-injection attacks with instruction-set randomization. |
CCS |
2003 |
DBLP DOI BibTeX RDF |
interpreters, emulators, buffer overflows |
19 | José Emilio Labra Gayo, José M. Morales Gil, A. M. Fernández Álvarez, H. Sagastegui Chigne |
A generic e-learning multiparadigm programming language system: IDEFIX project. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
web services, XML, logic programming, functional programming, interpreters |
19 | 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 |
19 | Robert Glück |
Jones optimality, binding-time improvements, and the strength of program specializers. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
Futamura projections, Jones optimality, binding-time improvements, interpretive approach, self-interpreters, specializer projections, metacomputation |
19 | Arthur I. Baars, S. Doaitse Swierstra |
Typing dynamic typing. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing |
19 | Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja |
Techniques for obtaining high performance in Java programs. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
bytecode-to-source translators, direct compilers, Java, Java, interpreters, Java virtual machine, just-in-time compilers, dynamic compilation |
19 | D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon |
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems |
19 | John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi |
Extending Java for Package based Access Control. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation |
19 | Ricardo Jiménez-Peris, Marta Patiño-Martínez, Jorge Pacios-Martínez |
VisMod: A Beginner-Friendly Programming Environment. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
CS1-2, laboratory environments, user interfaces, interpreters, visual debugging |
19 | Arthur Vargas Lopes |
Ada+SQL-an overview. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
compilers, relational databases, programming, interpreters, environments, computer education |
19 | Scott Thibault, Jerôme Marant, Gilles Muller |
Adapting Distributed Applications Using Extensible Networks. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
Audio broadcasting, Extensible HTTP server, Adaptation, Domain-Specific Languages, Interpreters, Active Networks, Specialization |
19 | Anthony I. Wasserman |
Java Development Environments (Panel). |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
programming enviroments, Java, Java, compilers, interpreters, end-user programming |
19 | Denis Béchet |
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
alternative values, strongly-typed language, interpreters, partial evaluation, type specialization |
19 | Reiner W. Hartenstein, Jürgen Becker 0001, Michael Herz, Rainer Kress 0002, Ulrich Nageldinger |
A Partitioning Programming Environment for a Novel Parallel Architecture. |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
partitioning programming environment, novel parallel architecture, embedded accelerator, reconfigurable datapath hardware, accelerator partitioning, profiling-driven partitioning, resource-driven sequential partitioning, resource-driven structural partitioning, parallel architectures, software tools, programming environments, reconfigurable architectures, software performance evaluation, parallelizing compiler, performance optimization, program interpreters, parallelising compilers, parallelizing programming environment, optimising compilers, C programs |
19 | Alberto Broggi |
Word parallelism vs spatial parallelism: a performance optimization technique on the PAPRICA system. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
word parallelism, spatial parallelism, performance optimization technique, PAPRICA system, hardware efficiency, SIMD systems, data bus efficiency, packed data sets, processing array, optimizing assembly-to-assembly translator, automatic conversion, binary data sets, thinning filter, performance evaluation, parallel architectures, optimisation, parallel machines, hardware design, data storage, program interpreters, external memory, dynamic mapping, assembly language |
19 | Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde |
On deriving data parallel code from a functional program. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA |
19 | Bongki Moon, Mustafa Uysal, Joel H. Saltz |
Index translation schemes for adaptive computations on distributed memory multicomputers. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
index translation schemes, globally indexed algorithms, CHAOS runtime support library, software-cached translation, distributed translation table technique, statically irregular problems, 3D DSMC code, NASA Langley, Gray T3D, performance evaluation, parallel programming, parallel programming, program compilers, distributed memory systems, program interpreters, distributed memory multicomputers, adaptive computations, Intel Paragon, optimal performance |
19 | Hugh Glaser, Trevor J. Smedley |
PSH-The Next: Generation of Command Line Interfaces. |
VL |
1995 |
DBLP DOI BibTeX RDF |
WIMPS interfaces, AppleScript, csh, Prograph system, shell-type operation tool, WIMPS environment, software engineering, graphical user interfaces, programming environments, Unix, visual programming, visual languages, utilities, operating systems (computers), program interpreters, command line interfaces |
19 | Hideki Koike, Manuba Aida |
A Bottom-Up Approach for Visualizing Program Behavior. |
VL |
1995 |
DBLP DOI BibTeX RDF |
program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach |
19 | Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl |
Transforming SDL Diagrams into a Complete Visual Representation. |
VL |
1995 |
DBLP DOI BibTeX RDF |
SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging |
19 | Zbigniew Chamski |
Beyond convexity: scanning 'non-convex polyhedra'. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
nonconvex polyhedra, point enumeration, algebraically-specified domain, algorithmic problem, scientific program transformation, scanning algorithms, runtime overhead, regularly nonconvex domains, arbitrary unions, nested loop sequences, parallel algorithms, parallel programming, computational geometry, convexity, program interpreters, program control structures, convex polyhedra |
19 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
19 | Anne F. Brindle, Richard N. Taylor, David F. Martin |
A Debugger for Ada Tasking. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking |
19 | Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan |
Translation and Execution of Distributed Ada Programs: Is It Still Ada? |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
distributed Ada programs, memory access architecture, binding time, system homogeneity, library packages, Ada, distributed processing, programming, program interpreters, distributed execution |
19 | Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill |
Ada Program Partitioning Language: A Notation for Distributing Ada Programs. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration |
19 | Stefano Ceri, Georg Gottlob, Gio Wiederhold |
Efficient Database Access from Prolog. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage |
19 | Yi-Hsiu Wei, Jean-Luc Gaudiot |
Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters |
19 | Nicoletta De Francesco, Gigliola Vaglini |
Description of a Tool for Specifying and Prototyping Concurrent Programs. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing |
19 | Robert M. Herndon Jr., Valdis Berzins |
The Realizable Benefits of a Language Prototyping Language. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
language prototyping language, Kodiyak, translator development system, conceptual model, programming environments, programming environments, translators, high level languages, attribute grammars, program interpreters |
19 | Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza |
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control |
19 | Gene Fisher |
An Overview of a Graphical Multilanguage Applications Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications |
19 | Richard C. Waters |
Program Translation via Abstraction and Reimplementation. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters |
19 | Helen V. Braden, William A. Wulf |
The implementation of a BASIC system in a multiprogramming environment. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
incremental compilation compilers, compilers, interpreters, multiprogramming |
11 | David A. Patterson 0001 |
Software knows best: portable parallelism requires standardized measurements of transparent hardware. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
standardized |
11 | Magnus O. Myreen, Michael J. C. Gordon |
Verified LISP Implementations on ARM, x86 and PowerPC. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Carla Beatris Valentini, Cláudia Alquati Bisol, Cristiane Dalla Santa |
Software Junctus: Joining Sign Language and Alphabetical Writing. |
WCCE |
2009 |
DBLP DOI BibTeX RDF |
Computerized learning environment, authorship software, alphabetical writing, sign language, deafness |
11 | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
Extensible Proof-Producing Compilation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Rösener |
A Linguistic Intelligent System for Technology Enhanced Learning in Vocational Training - The ILLU Project. |
EC-TEL |
2009 |
DBLP DOI BibTeX RDF |
Natural Language Processing, Language Learning, Vocational training |
11 | Mireille Ducassé |
(C)LP Tracing and Debugging. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 584 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|