|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 318 occurrences of 231 keywords
|
|
|
|
|
Results
Found 207 publication records. Showing 207 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser |
Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing.  |
OOPSLA  |
2009 |
DBLP DOI BibTeX RDF |
composable languages, permissive grammars, sglr, error recovery, language extensions, embedded languages, sdf |
| 2 | Lennart C. L. Kats, Martin Bravenboer, Eelco Visser |
Mixing source and bytecode: a case for compilation by normalization.  |
OOPSLA  |
2008 |
DBLP DOI BibTeX RDF |
dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego |
| 2 | Shan Shan Huang, Yannis Smaragdakis |
Expressive and safe static reflection with MorphJ.  |
PLDI  |
2008 |
DBLP DOI BibTeX RDF |
class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions |
| 2 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Domain-specific languages and program generation with meta-AspectJ.  |
ACM Trans. Softw. Eng. Methodol.  |
2008 |
DBLP DOI BibTeX RDF |
program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming |
| 2 | Wu-Hon F. Leung |
On the Verifiability of Programs Written in the Feature Language Extensions.  |
HASE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Bishnupriya Bhattacharya, John Rose, Stuart Swan |
Language Extensions to SystemC: Process Control Constructs.  |
DAC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Eric Van Wyk, Eric Johnson |
Composable Language Extensions for Computational Geometry: A Case Study.  |
HICSS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger |
Attribute Grammar-Based Language Extensions for Java.  |
ECOOP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Jun Shirako, Hironori Kasahara, Vivek Sarkar |
Language Extensions in Support of Compiler Parallelization.  |
LCPC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell |
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C.  |
SCAM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Shan Shan Huang, Yannis Smaragdakis |
Easy language extension with meta-aspectJ.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, language extensions |
| 2 | Pontus Boström, Marina A. Waldén |
Development of Fault Tolerant Grid Applications Using Distributed B.  |
IFM  |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development |
| 2 | Jernej Kovse, Wolfgang Mahnke |
Introducing Custom Language Extensions to SQL: 1999.  |
CAiSE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Hans-Arno Jacobsen, Bernd J. Krämer |
Modeling Interface Definition Language Extensions.  |
TOOLS  |
2000 |
DBLP DOI BibTeX RDF |
interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints |
| 2 | Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie |
The "Annai" environment for portable distributed parallel programming.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
Annai environment, portable distributed parallel programming environment, distributed memory parallel processors, tool prototypes, functionality enhancements, High Performance Fortran compiler, unstructured problem parallelization, performance analyzer, source-level debugger, common user interface, low-level machine interface, target hardware architecture, dynamic data distributions, high-level data-parallel programming, low-level message-passing programming, interactive performance monitor, user interfaces, parallel programming, Message Passing Interface, software tools, message passing, FORTRAN, programming environments, feedback, program compilers, distributed memory systems, software performance evaluation, portability, program debugging, software portability, program diagnostics, application developers, language extensions, performance results |
| 2 | Tim Collins, James C. Browne |
MaTRiX+/sup +/: an object-oriented environment for parallel high-performance matrix computations.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface |
| 2 | Takao Tsuda, Yoshitoshi Kunieda |
V-Pascal: an automatic vectorizing compiler for Pascal with no language extensions.  |
SC  |
1988 |
DBLP BibTeX RDF |
Pascal |
| 1 | Michael Nebeling, Michael Grossniklaus, Stefania Leone, Moira C. Norrie |
XCML: providing context-aware language extensions for the specification of multi-device web applications.  |
World Wide Web  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Harezlak, Marek Kasztelnik, Eryk Ciepiela, Marian Bubak |
Scripting Language Extensions Offered by the GridSpace Experiment Platform.  |
PL-Grid  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert H. Kewley, Samy Chatelet, Antione Hellio |
Coalition battle management language extensions for simulation interoperability.  |
SpringSim (MMS)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | James H. Hill |
Modeling Interface Definition Language Extensions (IDL3+) Using Domain-Specific Modeling Languages.  |
ISORC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Toon Verwaest, Camillo Bruni, Mircea Lungu, Oscar Nierstrasz |
Flexible object layouts: enabling lightweight language extensions by intercepting slot access.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jisheng Zhao, Vivek Sarkar |
Intermediate language extensions for parallelism.  |
SPLASH Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty |
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.  |
ICTAC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Chen, Lei Liu, Shenglin Tang, Lei Huang, Zheng Jing, Shixiong Xu, Dingfei Zhang, Baojiang Shou |
Unified Parallel C for GPU Clusters: Language Extensions and Compiler Implementation.  |
LCPC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi |
GUESSTIMATE: a programming model for collaborative distributed systems.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
distributed systems, concurrency, collaborative applications, language extensions |
| 1 | Matthias Urban, Daniel Lohmann, Olaf Spinczyk |
The aspect-oriented design of the PUMA C/C++ parser framework.  |
AOSD  |
2010 |
DBLP DOI BibTeX RDF |
aspect-oriented programming (AOP), aspect-oriented design, AspectC++, PUMA |
| 1 | Andrew Casey, Jun Li, Jesse Doherty, Maxime Chevalier-Boisvert, Toheed Aslam, Anton Dubrau, Nurudeen Lameed, Amina Aslam, Rahul Garg, Soroush Radpour, Olivier Savary Belanger, Laurie J. Hendren, Clark Verbrugge |
McLab: an extensible compiler toolkit for MATLAB and related languages.  |
C3S2E  |
2010 |
DBLP DOI BibTeX RDF |
compiler, programming languages, scientific computing, Matlab, JIT compilation |
| 1 | Woongki Baek, Trishul M. Chilimbi |
Green: a framework for supporting energy-conscious programming using controlled approximation.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
controlled approximation, energy-conscious programming |
| 1 | Alokika Dash, Brian Demsky |
Symbolic prefetching in transactional distributed shared memory.  |
PPOPP  |
2010 |
DBLP DOI BibTeX RDF |
symbolic prefetching, transactional memory, distributed shared memory |
| 1 | Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller |
Report on the EDBT/ICDT 2010 workshop on updates in XML.  |
SIGMOD Record  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Sun, Lu Zhoa, Yimeng Li, Wu-Hon F. Leung |
Feature Interaction Detection in the Feature Language Extensions.  |
ICFI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Clematis, Angelo Corana, Daniele D'Agostino, Antonella Galizia, Alfonso Quarati |
A Performance-Based Methodology to Improve Grid Exploitation.  |
DSOM  |
2009 |
DBLP DOI BibTeX RDF |
Grid management, Benchmark-driven matchmaking, Grid language extensions |
| 1 | Paul Tarau, Arun K. Majumdar |
Interoperating Logic Engines.  |
PADL  |
2009 |
DBLP DOI BibTeX RDF |
Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs |
| 1 | Chengyang Zhang, Yan Huang, Terry Griffin |
Querying geospatial data streams in SECONDO.  |
GIS  |
2009 |
DBLP DOI BibTeX RDF |
geospatial data streams, spatio-temporal databases |
| 1 | Marwan Abi-Antoun, Jonathan Aldrich |
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.  |
OOPSLA  |
2009 |
DBLP DOI BibTeX RDF |
architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture |
| 1 | August Schwerdfeger, Eric Van Wyk |
Verifiable composition of deterministic grammars.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
context-aware scanning, grammar composition, language composition, lr parsing, extensible languages |
| 1 | Edward Walker, Weijia Xu, Vinoth Chandar |
Composing and executing parallel data-flow graphs with shell pipes.  |
SC-WORKS  |
2009 |
DBLP DOI BibTeX RDF |
data-flow processing, parallel processing, coordination languages |
| 1 | Yoann Padioleau, Lin Tan, Yuanyuan Zhou |
Listening to programmers - Taxonomies and characteristics of comments in operating system code.  |
ICSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Besana, Adam Barker |
An Executable Calculus for Service Choreography.  |
OTM Conferences  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Grün, Sebastian Gath, Alexander Holupirek, Marc H. Scholl |
XQuery Full Text Implementation in BaseX.  |
XSym  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Monteiro, Paula Oliveira, Ramiro Gonçalves |
GUI Generation Based on Language Extensions - A Model to Generate GUI, based on Source Code with Custom Attributes.  |
ICEIS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | George Papastefanatos, Panos Vassiliadis, Alkis Simitsis, Konstantinos Aggistalis, Fotini Pechlivani, Yannis Vassiliou |
Language Extensions for the Automation of Database Schema Evolution.  |
ICEIS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marco Monteiro, Paula Oliveira, Ramiro Gonçalves |
A Source Code Based Model to Generate GUI - GUI Generation Based on Source Code With Declarative Language Extensions.  |
ICSOFT (PL/DPS/KE)  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Bettini, Viviana Bono |
Type safe dynamic object delegation in class-based languages.  |
PPPJ  |
2008 |
DBLP DOI BibTeX RDF |
delegation, language extensions, object composition, featherweight Java |
| 1 | Alastair D. Reid, Krisztián Flautner, Edmund Grimley-Evans, Yuan Lin |
SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip.  |
CASES  |
2008 |
DBLP DOI BibTeX RDF |
energy efficiency, embedded, parallel language |
| 1 | Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek |
Flexible task graphs: a unified restricted thread programming model for java.  |
LCTES  |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, memory management, java virtual machine, ownership types |
| 1 | Marwan Abi-Antoun |
Static extraction and conformance checking of the runtime architecture of object-oriented systems.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
architectural extraction, ownership types, conformance checking, runtime architecture |
| 1 | Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip |
Relationships and associations in object-oriented languages.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
roles, associations, relationships |
| 1 | Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian |
Design and implementation of transactional constructs for C/C++.  |
OOPSLA  |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, C/C++ |
| 1 | Darren Willis, David J. Pearce, James Noble |
Caching and incrementalisation in the java query language.  |
OOPSLA  |
2008 |
DBLP DOI BibTeX RDF |
java, querying, incrementalization |
| 1 | Lars Burmester, Matthias Goeken |
Multidimensional representation of System Dynamics simulation models.  |
RCIS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David L. Andrews, Ron Sass, Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp |
Achieving Programming Model Abstractions for Reconfigurable Computing.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske |
Modeling Service Choreographies Using BPMN and BPEL4Chor.  |
CAiSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel |
Adequacy of Compositional Translations for Observational Semantics.  |
IFIP TCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Nakayama |
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008.  |
JSAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bravenboer, Eelco Visser |
Parse Table Composition.  |
SLE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Milovanovic, Roger Ferrer, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero |
Nebelung: Execution Environment for Transactional OpenMP.  |
International Journal of Parallel Programming  |
2008 |
DBLP DOI BibTeX RDF |
Compiler, OpenMP, Software Transactional Memory, Runtime system |
| 1 | Ronald T. Kneusel |
Extending interactive data language with higher-order functions.  |
ISSE  |
2008 |
DBLP DOI BibTeX RDF |
image processing, Functional programming, IDL, Array processing |
| 1 | Sang Boem Lim, Han-Ku Lee, Bryan Carpenter, Geoffrey Fox |
Runtime support for scalable programming in Java.  |
The Journal of Supercomputing  |
2008 |
DBLP DOI BibTeX RDF |
HPJava, Parallel runtime library, mpiJava |
| 1 | Eric Van Wyk |
Implementing aspect-oriented programming constructs as modular language extensions.  |
Sci. Comput. Program.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu-Hon F. Leung |
Program entanglement, feature interaction and the feature language extensions.  |
Computer Networks  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Chavan, L. Yang, K. Ramachandran, W. H. Leung |
Resolving Feature Interaction with Precedence Lists in the Feature Language Extensions.  |
ICFI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
cJ: enhancing java with safe type conditions.  |
AOSD  |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, meta-programming, language extensions |
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Featherweight Java with multi-methods.  |
PPPJ  |
2007 |
DBLP DOI BibTeX RDF |
dynamic overloading, language extensions, multi-methods, featherweight Java |
| 1 | Lorenzo Bettini, Sara Capecchi, Elena Giachino |
Featherweight wrap Java.  |
SAC  |
2007 |
DBLP DOI BibTeX RDF |
delegation, wrappers, language extensions, featherweight Java |
| 1 | Xinwen Zhang, Onur Aciiçmez, Jean-Pierre Seifert |
A trusted mobile phone reference architecturevia secure kernel.  |
STC  |
2007 |
DBLP DOI BibTeX RDF |
trusted mobile computing, security architecture, isolation, SELinux, secure kernel |
| 1 | Manuel Serrano, Erick Gallesio |
An adaptive package management system for scheme.  |
DLS  |
2007 |
DBLP DOI BibTeX RDF |
functional programming |
| 1 | Simon J. Thompson, Peter R. King, Patrick Schmitz |
Declarative extensions of XML languages.  |
ACM Symposium on Document Engineering  |
2007 |
DBLP DOI BibTeX RDF |
XML, event, type, functional, data type, behaviour, declarative |
| 1 | John W. Lloyd |
Declarative programming for artificial intelligence applications.  |
ICFP  |
2007 |
DBLP DOI BibTeX RDF |
programming, logic, functional, modal, probabilistic |
| 1 | Don Syme, Gregory Neverov, James Margetson |
Extensible pattern matching via a lightweight language extension.  |
ICFP  |
2007 |
DBLP DOI BibTeX RDF |
F#, functional programming, pattern matching, ML |
| 1 | Gavin M. Bierman, Erik Meijer, Mads Torgersen |
Lost in translation: formalizing proposed extensions to c#.  |
OOPSLA  |
2007 |
DBLP DOI BibTeX RDF |
C#, LINQ |
| 1 | Sergei Kojarski, David H. Lorenz |
Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions.  |
OOPSLA  |
2007 |
DBLP DOI BibTeX RDF |
aspect extension, aspect mechanism, aspect weaver, pluggability, framework, AOP, composition, DSL |
| 1 | Erik Meijer |
Democratizing the cloud.  |
OOPSLA Companion  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhupesh Bansal, Ümit V. Çatalyürek, Jacqueline Chame, Chun Chen, Ewa Deelman, Yolanda Gil, Mary W. Hall, Vijay S. Kumar, Tahsin M. Kurç, Kristina Lerman, Aiichiro Nakano, Yoon-Ju Lee Nelson, Joel H. Saltz, Ashish Sharma, Priya Vashishta |
Intelligent Optimization of Parallel and Distributed Applications.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony M. J. O'Hagan, Shazia Wasim Sadiq, Wasim Sadiq |
Evie - A Developers Toolkit for Encoding Service Interaction Patterns.  |
Business Process Management Workshops  |
2007 |
DBLP DOI BibTeX RDF |
Harmonized Messaging, Event Brokering, Service Interaction |
| 1 | Guy Eddon, Maurice Herlihy |
Language Support and Compiler Optimizations for STM and Transactional Boosting.  |
ICDCIT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Full Maude: Extending Core Maude.  |
All About Maude  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills, Grigore Rosu |
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.  |
RTA  |
2007 |
DBLP DOI BibTeX RDF |
object-oriented languages, term rewriting, formal analysis, rewriting logic, programming language semantics |
| 1 | Daniel L. Moise, Kenny Wong, H. James Hoover, Daqing Hou |
Reverse Engineering Scripting Language Extensions.  |
ICPC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Meng Wang |
Modular generic programming with extensible superclasses.  |
ICFP-WGP  |
2006 |
DBLP DOI BibTeX RDF |
generic programming, type classes |
| 1 | Andrea Schauerhuber, Manuel Wimmer, Elisabeth Kapsammer |
Bridging existing Web modeling languages to model-driven engineering: a metamodel for WebML.  |
ICWE Workshops  |
2006 |
DBLP DOI BibTeX RDF |
model driven web engineering, web modeling language, metamodel, DTD |
| 1 | Tal Cohen, Joseph Gil, Itay Maman |
JTL: the Java tools language.  |
OOPSLA  |
2006 |
DBLP DOI BibTeX RDF |
reverse engineering, declarative programming |
| 1 | Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
Concepts: linguistic support for generic programming in C++.  |
OOPSLA  |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, parametric polymorphism, C++ templates, C++0x |
| 1 | Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson |
Adding domain-specific and general purpose language features to Java with the Java language extender.  |
OOPSLA Companion  |
2006 |
DBLP DOI BibTeX RDF |
attribute grammars, forwarding, extensible languages |
| 1 | Robert Grimm |
Better extensibility through modular syntax.  |
PLDI  |
2006 |
DBLP DOI BibTeX RDF |
extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system |
| 1 | Zhaozhong Ni, Zhong Shao |
Certified assembly programming with embedded code pointers.  |
POPL  |
2006 |
DBLP DOI BibTeX RDF |
embedded code pointers, hoare logic, proof-carrying code, higher-order functions |
| 1 | Alexey Ershov, Andrey Naraikin, Sergey Maidanov |
Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures.  |
SAC  |
2006 |
DBLP DOI BibTeX RDF |
correct rounding, elementaly functions, quad precision, IEEE 754 |
| 1 | Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew McDaniel |
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.  |
ACSAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Guo, Ganesh Bikshandi, Daniel Hoeflinger, Gheorghe Almási, Basilio B. Fraguela, María Jesús Garzarán, David A. Padua, Christoph von Praun |
Hierarchically tiled arrays for parallelism and locality.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends |
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages.  |
SEW  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Atze Dijkstra, S. Doaitse Swierstra |
Ruler: Programming Type Rules.  |
FLOPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Johan Jeuring, Andres Löh |
Typed Contracts for Functional Programming.  |
FLOPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.  |
FM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mukund Raghavachari, Vivek Sarkar |
The Role of Programming Languages in Future Data-Centric and Net-Centric Applications.  |
ICDCIT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Costanza, Robert Hirschfeld, Wolfgang De Meuter |
Efficient Layer Activation for Switching Context-Dependent Behavior.  |
JMLC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Lampl, Elmar Stellnberger, László Böszörményi |
Programming Language Concepts for Multimedia Application Development.  |
JMLC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Liu, Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
System level design language extensions for timed/untimed digital-analog combined system design.  |
ACM Great Lakes Symposium on VLSI  |
2005 |
DBLP DOI BibTeX RDF |
AMS extension, timed/untimed, synchronization, system level design, mixed-signal |
| 1 | Wu-Hon F. Leung |
Writing Reusable Feature Programs with the Feature Language Extensions.  |
FIW  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge |
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research.  |
OOPSLA Companion  |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming language, optimizations, aspectJ, language extensions |
Displaying result #1 - #100 of 207 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|