Search results for "language design"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tillmann Rendel, Klaus Ostermann, Christian Hofer	Typed self-representation.	PLDI	2009	DBLP DOI BibTeX RDF	self interpretation, reflection, types, lambda calculus, language design
3	Gary T. Leavens, Curtis Clifton	Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples.	SPLAT	2007	DBLP DOI BibTeX RDF	aspect-oriented programming language design, ease of maintenance, ease of reasoning, goals, quantification, tradeoff, balance, scattering, concerns, compromise, tangling, obliviousness
3	William G. Griswold	Comments on ``Language Design for Program Manipulation''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language
3	Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron	Language Design For Program Manipulation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages
2	Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens	Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.	ESOP	2009	DBLP DOI BibTeX RDF
2	Ariel Ortiz	Language design and implementation using ruby and the interpreter pattern.	SIGCSE	2008	DBLP DOI BibTeX RDF	s-expression, design patterns, interpreter, ruby
2	Chet Murthy	Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter.	POPL	2007	DBLP DOI BibTeX RDF	transaction processing, functional languages, enterprise software
2	Alan Mycroft	Programming Language Design and Analysis Motivated by Hardware Evolution.	SAS	2007	DBLP DOI BibTeX RDF
2	Martin Ruckert	Teaching compiler construction and language design: making the case for unusual compiler projects with postscript as the target language.	SIGCSE	2007	DBLP DOI BibTeX RDF	design of programming languages, compiler construction, postscript, lex, Yacc
2	Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg	The ExoVM system for automatic VM and application reduction.	PLDI	2007	DBLP DOI BibTeX RDF	VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination
2	Morten Kromberg	Arrays of objects.	DLS	2007	DBLP DOI BibTeX RDF	multi-paradigm languages, object orientation, functional programming, language design, arrays
2	Peter Van Roy	Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.	FLOPS	2006	DBLP DOI BibTeX RDF
2	Olin Shivers, Matthew Might	Continuations and transducer composition.	PLDI	2006	DBLP DOI BibTeX RDF	lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
2	Troy A. Johnson, Rudolf Eigenmann	Context-sensitive domain-independent algorithm composition and selection.	PLDI	2006	DBLP DOI BibTeX RDF	bioinformatics, domain-specific languages, automated planning, algorithm selection, algorithm composition
2	Trong Wu	Granular computing in programming language design.	GrC	2005	DBLP DOI BibTeX RDF
2	Yoshihiro Adachi	Visual language design system based on context-sensitive NCE graph grammar.	SMC	2004	DBLP DOI BibTeX RDF
2	Ondrej Lhoták, Laurie J. Hendren	Jedd: a BDD-based relational extension of Java.	PLDI	2004	DBLP DOI BibTeX RDF	boolean formula satisfiability, Java, program analysis, binary decision diagrams, language design, relations
2	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
2	Alexandre Bergel, Stéphane Ducasse, Roel Wuyts	Classboxes: A Minimal Module Model Supporting Local Rebinding.	JMLC	2003	DBLP DOI BibTeX RDF	method lookup, class extension, selector namespace, smalltalk, modules, language design
2	Peter Pfahler, Uwe Kastens	Configuring Component-based Specifications for Domain-Specific Languages. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	Component-based language specifications, Language Design Assistant, Jacob, Eli, Domain-specific languages
2	Nancy G. Leveson	Completeness in formal specification language design for process-control systems.	FMSP	2000	DBLP DOI BibTeX RDF	completeness, process-control, Formal specification language
2	Zhanyong Wan, Paul Hudak	Functional reactive programming from first principles.	PLDI	2000	DBLP DOI BibTeX RDF
2	Hongwei Xi	Imperative Programming with Dependent Types.	LICS	2000	DBLP DOI BibTeX RDF	dependent types, programming language design, array bounds checking
2	Paul Tarau	Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.	Computational Logic	2000	DBLP DOI BibTeX RDF	logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection
2	Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff	Formalizing OpenMP Performance Properties with ASL.	ISHPC	2000	DBLP DOI BibTeX RDF	performance analysis, knowledge representation, OpenMP, language design, performance problems
2	S. Tucker Taft	Programming Language Design and Software Quality.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Patricia L. Albacete, Shi-Kuo Chang, Giuseppe Polese	Iconic Language Design for People with Significant Speech and Multiple Impairments.	Assistive Technology and Artificial Intelligence	1998	DBLP DOI BibTeX RDF
2	Kim B. Bruce, Martin Odersky, Philip Wadler	A Statically Safe Alternative to Virtual Types.	ECOOP	1998	DBLP DOI BibTeX RDF	virtual types, static type checking, Language design, parametric polymorphism
2	Hugh Darwen	Valid Time and Transaction Time Proposals: Language Design Aspects.	Temporal Databases, Dagstuhl	1997	DBLP DOI BibTeX RDF
2	Stan Jarzabek, Irene Woon	Towards a precise description of reverse engineering methods and tools.	CSMR	1997	DBLP DOI BibTeX RDF	reverse engineering methods, reverse engineering techniques, design abstractions, incomplete program documentation, reverse engineering tools, source language, formal mapping, source language design model, use object recovery scenarios, reverse engineering, program understanding, explicit knowledge, automatic recovery
2	Søren Brandt, Jørgen Lindskov Knudsen	Generalising the BETA Type System.	ECOOP	1996	DBLP DOI BibTeX RDF	constraints, type systems, object-oriented modelling, language design, BETA
2	Patricia L. Albacete, Shi-Kuo Chang, Giuseppe Polese, Bruce R. Baker	Iconic language design for people with significant speech and multiple impairments.	ASSETS	1994	DBLP DOI BibTeX RDF
2	Edward A. Ipser Jr.	Exploratory language design.	SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
2	Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum	Orca: A Language For Parallel Programming of Distributed Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Orca language design, design choices, easy-to-use language, type-secure, clean semantics, Orca, distributed systems, parallel programming, parallel programming, parallel languages, parallel applications, reliable broadcasting, applications programmers
2	John Placer	Multiparadigm research: a new direction of language design.	SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
2	Robert H. Halstead Jr.	New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
2	Jeannette M. Wing, Mark R. Nixon	Extending Ina Jo with Temporal Logic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions
2	Vaughan R. Pratt	Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment.	POPL	1983	DBLP DOI BibTeX RDF
2	Ronald H. Perrott	Language design approaches for parallel processors.	CONPAR	1981	DBLP DOI BibTeX RDF
2	Alan J. Demers, James E. Donahue	``Type-Completeness'' as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
2	Jeffrey M. Tobias (eds.)	Language Design and Programming Methodology, Proceedings of a Symposium Held in Sydney, Australia, 10-11 September, 1979	Language Design and Programming Methodology	1980	DBLP BibTeX RDF
2	Andrew Richardson	A Critique of Modula.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Jim Welsh, Andrew M. Lister, Eric J. Salzman	A Comparison of Two Notations for Process Communication.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Jan B. Hext	Pattern-Matching Commands.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Ken Robinson	The Design of a Successor to Pascal.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Jeffrey S. Rohl	Why Recursion?	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Dennis Ritchie	The Evolution of the Unix Time-Sharing System.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Norman Y. Foo	Algebraic Specifications and Transition Graphs.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Ria Follett	Describing the Complete Effects of Programs.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Claude Sammut, Brian Cohen	A Language for Describing Concepts as Programs.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Prabhaker Mateti	Pascal Verus C: A Subjective Comparison.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Paul Pritchard	On the Prime Example of Programming.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Don Herbison-Evans	A Human Movement Language for Computer Animation.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Geoffrey J. Nolan	DASIM 1: A Practical Exercise in Data Abstraction.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Dan B. Johnston, Andrew M. Lister	An Experiment in Software Science.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Niklaus Wirth	A Personal Computer Based on a High-Level Language.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Niklaus Wirth	The Module: A System Structuring Facility in High-Level Programming Languages.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	Graham Lee	DOPLs: A New Type of Programming Language.	Language Design and Programming Methodology	1979	DBLP DOI BibTeX RDF
2	John D. Gannon	Characteristic errors in programming languages.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Characteristic errors, Defensive programming, Reliable software, Experimentation, Language design
2	George T. Ligler	A Mathematical Approach to Language Design.	POPL	1975	DBLP DOI BibTeX RDF
1	Barbara G. Ryder, Ben Wiedermann	Language design and analyzability: a retrospective.	Softw., Pract. Exper.	2012	DBLP DOI BibTeX RDF
1	Victor L. Winter, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy	The Tyranny of the Vital Few: The Pareto Principle in Language Design.	JSEA	2011	DBLP DOI BibTeX RDF
1	Mary W. Hall, David A. Padua (eds.)	Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011	PLDI	2011	DBLP BibTeX RDF
1	Bran Selic	The theory and practice of modern modeling language design for model-based software engineering.	AOSD (Companion)	2011	DBLP DOI BibTeX RDF
1	Martin Erwig, Eric Walkingshaw	Semantics First! - Rethinking the Language Design Process.	SLE	2011	DBLP DOI BibTeX RDF
1	Sanphet Chunithipaisan, Soravis Supavetch	A language design and implementation for geospatial information services chaining.	ICSDM	2011	DBLP DOI BibTeX RDF
1	Micah J. Best, Shane Mottishaw, Craig Mustard, Mark Roth, Alexandra Fedorova, Andrew Brownsword	Synchronization via scheduling: techniques for efficiently managing shared state.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen	NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.	PLDI	2011	DBLP DOI BibTeX RDF
1	Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali	Exploiting the commutativity lattice.	PLDI	2011	DBLP DOI BibTeX RDF
1	Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv	Data representation synthesis.	PLDI	2011	DBLP DOI BibTeX RDF
1	Brandon Lucia, Benjamin P. Wood, Luis Ceze	Isolating and understanding concurrency errors using reconstructed execution fragments.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett	Evaluating value-graph translation validation for LLVM.	PLDI	2011	DBLP DOI BibTeX RDF
1	Terence Parr, Kathleen Fisher	LL(*): the foundation of the ANTLR parser generator.	PLDI	2011	DBLP DOI BibTeX RDF
1	Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov	A security policy oracle: detecting security holes using multiple API implementations.	PLDI	2011	DBLP DOI BibTeX RDF
1	Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams	Understanding POWER multiprocessors.	PLDI	2011	DBLP DOI BibTeX RDF
1	Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang	Toward generating reducible replay logs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Ross Tate, Alan Leung, Sorin Lerner	Taming wildcards in Java's type system.	PLDI	2011	DBLP DOI BibTeX RDF
1	Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang, Nick P. Johnson, David I. August	Commutative set: a language extension for implicit parallel programming.	PLDI	2011	DBLP DOI BibTeX RDF
1	Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv	Precise and compact modular procedure summaries for heap manipulating programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui	The tao of parallelism in algorithms.	PLDI	2011	DBLP DOI BibTeX RDF
1	Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno	Predicate abstraction and CEGAR for higher-order model checking.	PLDI	2011	DBLP DOI BibTeX RDF
1	Na Meng, Miryung Kim, Kathryn S. McKinley	Systematic editing: generating program transformations from an example.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jason Ansel, Petr Marchenko, Úlfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff Biffle, Bennet Yee	Language-independent sandboxing of just-in-time compilation and self-modifying code.	PLDI	2011	DBLP DOI BibTeX RDF
1	Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu, Ben Liblit	Automated atomicity-violation fixing.	PLDI	2011	DBLP DOI BibTeX RDF
1	John Altidor, Shan Shan Huang, Yannis Smaragdakis	Taming the wildcards: combining definition- and use-site variance.	PLDI	2011	DBLP DOI BibTeX RDF
1	William R. Harris, Sumit Gulwani	Spreadsheet table transformations from examples.	PLDI	2011	DBLP DOI BibTeX RDF
1	Igor Böhm, Tobias J. K. Edler von Koch, Stephen C. Kyle, Björn Franke, Nigel P. Topham	Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator.	PLDI	2011	DBLP DOI BibTeX RDF
1	Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan	Composable asynchronous events.	PLDI	2011	DBLP DOI BibTeX RDF
1	Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf	Caisson: a hardware description language for secure information flow.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan	Synthesis of loop-free programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Ashwin Prasad, Jayvant Anantpur, R. Govindarajan	Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors.	PLDI	2011	DBLP DOI BibTeX RDF
1	Hucheng Zhou, Wenguang Chen, Fred C. Chow	An SSA-based algorithm for optimal speculative code motion under an execution profile.	PLDI	2011	DBLP DOI BibTeX RDF
1	Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi	Mining hot calling contexts in small space.	PLDI	2011	DBLP DOI BibTeX RDF
1	Jaroslav Sevcík	Safe optimisations for shared-memory concurrent programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Percy Liang, Mayur Naik	Scaling abstraction refinement via pruning.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen	Languages as libraries.	PLDI	2011	DBLP DOI BibTeX RDF
1	Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman	EnerJ: approximate data types for safe and general low-power computation.	PLDI	2011	DBLP DOI BibTeX RDF
1	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	A case for an SC-preserving compiler.	PLDI	2011	DBLP DOI BibTeX RDF
1	Abhishek Udupa, Kaushik Rajan, William Thies	ALTER: exploiting breakable dependences for parallelization.	PLDI	2011	DBLP DOI BibTeX RDF
1	Michael Kuperstein, Martin T. Vechev, Eran Yahav	Partial-coherence abstractions for relaxed memory models.	PLDI	2011	DBLP DOI BibTeX RDF