Search results for "programming languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Calvin N. Mooers	Standards: Accommodating standards and identification of programming languages.	Commun. ACM	1968	DBLP DOI BibTeX RDF	TRAC T-64 language, public identification of programming languages, standards which accommodate, standardization, programming languages, trademark
3	Craig Anslow, Shane Markstrum, Emerson R. Murphy-Hill	Evaluation and usability of programming languages and tools (plateau).	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	evaluation, usability, programming languages, tools
3	Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges	Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report.	SIGCSE	2009	DBLP DOI BibTeX RDF	programming languages, curriculum
3	Matthias Felleisen	Why teach programming languages in this day and age and how to go about it.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
3	Kathleen Fisher	We need more than one: why students need a sophisticated understanding of programming languages.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
3	Kim B. Bruce, Stephen N. Freund	Programming languages as part of core computer science.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
3	Marco Pistoia, Úlfar Erlingsson	Programming languages and program analysis for security: a three-year retrospective.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	security, program analysis, programming languages, language-based security
3	William R. Cook	High-level problems in teaching undergraduate programming languages.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
3	John C. Reynolds	Some thoughts on teaching programming and programming languages.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming, programming languages, teaching, undergraduate curriculum
3	Kim B. Bruce, Stephen N. Freund	Programming languages in a liberal arts education.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
3	Jiafu Xu, Fangmin Song	Quantum programming languages: A tentative study.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	quantum programming languages, language paradigm, imperative programming language, declarative programming language, lexical analyzer, syntactic analyzer, interpreter, assembler
3	Peter Edward Jones	Do Programming Languages Make Software Too Soft?	IEEE Software	2007	DBLP DOI BibTeX RDF	programming languages, software design, programming paradigms
3	Linda Dailey Paulson	Developers Shift to Dynamic Programming Languages.	IEEE Computer	2007	DBLP DOI BibTeX RDF	dynamic programming languages, PHP, Ruby, Perl
3	Tong Wen, Jimmy Su, Phillip Colella, Katherine A. Yelick, Noel Keen	An adaptive mesh refinement benchmark for modern parallel programming languages.	SC	2007	DBLP DOI BibTeX RDF	performance, scalability, benchmark, programmability, adaptive mesh refinement, parallel programming languages
3	Michael S. Horn, Robert J. K. Jacob	Designing tangible programming languages for classroom use.	Tangible and Embedded Interaction	2007	DBLP DOI BibTeX RDF	education, children, tangible UIs, programming languages
3	Ben Wiedermann, William R. Cook	Extracting queries by static analysis of transparent persistence.	POPL	2007	DBLP DOI BibTeX RDF	databases, static analysis, programming languages
3	Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk	Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006).	PLOS	2006	DBLP DOI BibTeX RDF
3	Jerry Mead	A compiler tutorial scaled for the programming languages course.	SIGCSE	2006	DBLP DOI BibTeX RDF	object-oriented programming, programming languages, courseware, compiler design, educational projects
3	Bernd Burgstaller, Bernhard Scholz, Johann Blieberger	Symbolic Analysis of Imperative Programming Languages.	JMLC	2006	DBLP DOI BibTeX RDF
3	Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002	Functional programming languages for verification tools: a comparison of Standard ML and Haskell.	STTT	2005	DBLP DOI BibTeX RDF	Language adequacy, Haskell, ML, Verification tools, Functional programming languages
3	J. Ángel Velázquez-Iturbide	A programming languages course for freshmen.	ITiCSE	2005	DBLP DOI BibTeX RDF	language description, programming languages, functional programming, recursion, programming paradigms, formal grammars
3	David Langan, Leo F. Denton, Dawn McKinney	Affective objectives in a programming languages course.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	affective objectives, parameter passing, syntax diagrams, programming languages, value, memory models, internalization, BNF
3	Salvador España, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
3	Niklaus Wirth	The Essence of Programming Languages.	JMLC	2003	DBLP DOI BibTeX RDF
3	Harsh Shah, Amruth N. Kumar	A tutoring system for parameter passing in programming languages.	ITiCSE	2002	DBLP DOI BibTeX RDF	evaluating educational software, parameter passing mechanisms in programming languages, active learning, problem-solving, online learning, web-based tutors
3	Morgan McGuire, Shriram Krishnamurthi, John F. Hughes	Programming Languages for Compressing Graphics.	ESOP	2002	DBLP DOI BibTeX RDF
3	Luis Carlos de Sousa Menezes, Geber Ramalho, Hermano Perrelli de Moura	Modular definition of agent-oriented languages using action semantics.	AAMAS	2002	DBLP DOI BibTeX RDF	agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics
3	Dominic Duggan	A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.	ECOOP	2000	DBLP DOI BibTeX RDF	Domain-specific programming languages, modular interpreters, mixin-based inheritance, Java, monads
3	Ken'ichirou Kimura, Hirofumi Amano, Akifumi Makinouchi	Dynamic Performance Optimization Mechanism for Parallel Object-Oriented Database Programming Languages. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	dynamic performance optimization, parallel object-oriented database programming languages, distributed-memory parallel processor, remote object referencing, biased distribution, object relocation, simulation tests, topology, parallel languages, performance degradation, inter-processor communication, load imbalance, object allocation
3	Michael Tonndorf	Ada conformity assessments: a model for other programming languages?.	SIGAda	1999	DBLP DOI BibTeX RDF	Ada conformity assessments, Ada standardization, programming languages validations
3	Frances L. Van Scoy	Using the BURKS 2 CD-ROM in a principles of programming languages course.	ITiCSE	1998	DBLP DOI BibTeX RDF	programming languages, undergraduate curriculum
3	J. Christopher Ramming	PML: A Language Interface to Distributed Voice-Response Units.	ICCL Workshop: Internet Programming Languages	1998	DBLP DOI BibTeX RDF
3	Jim E. Cooling, N. Duff, Joanne Cooling	Computer Aided Teaching of Programming Languages: An Ada-specific Development.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Computer aided teaching, animation and simulation, Ada, programming languages
3	Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli	Automatic data mapping of signal processing applications.	ASAP	1997	DBLP DOI BibTeX RDF	automatic data mapping, signal processing applications, architectural resources constraints, fine-grain scheduling, concurrent constraints logic programming languages, concurrent resolution technique, panoramic analysis, mapping, parallel machine, data partitioning, distributed memory, real time constraints, logic programming languages
3	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
3	Barry C. L. Leung, Peter P. K. Chiu	Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages.	PDP	1996	DBLP DOI BibTeX RDF	behaviour equation, concurrent object-oriented programming languages, synchronisation code reuse, super class, object-based concurrency, parallel programming, object-oriented programming, inheritance, inheritance anomaly, concurrent object
3	Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey	General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming
3	Hiroshi Koide	The generated order preserving real-time garbage collection.	RTCSA	1995	DBLP DOI BibTeX RDF	generated order preserving real-time garbage collection, real-time systems, computational complexity, complexity, programming languages, programming languages, storage management, real-time processing, application programs, real-time garbage collection, object creation
3	Kazunori Takashio, Hidehisa Shitomi, Mario Tokoro	Constructing distributed real-time systems with DROL real-time objects.	RTCSA	1995	DBLP DOI BibTeX RDF	DROL real-time objects, inter-object communication protocols, distributed real-time programming language, least suffering, network faults, rapid recovery, widely distributed environments, real-time programming languages, real-time systems, protocols, semantics, C++, distributed processing, programming languages, timing constraint, distributed real-time systems, application programs
3	Martin Erwig, Bernd Meyer	Heterogeneous Visual Languages-Integrating Visual and Textual Programming. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages
3	Paolo Ciancarini	Modeling the software process using coordination rules. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	coordination rules, software system production lifecycle, software process specification, dynamic knowledge base, process-centered development environments, coordination, programming environments, software development process, computer aided software engineering, software process modeling, rule-based program, logic programming languages, logic programming languages, enactment, project support environments, rule-based languages, project database
3	David A. Naumann	On the Essence of Oberon.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
3	Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach	Language and Architecture Paradigms as Object Classes.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
3	Atish P. Sinha, Iris Vessey	Cognitive Fit: An Empirical Study of Recursion and Iteration.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits
3	Niklaus Wirth	Hardware Architectures for Programming Languages and Programming Languages for Hardware Architectures.	ASPLOS	1987	DBLP DOI BibTeX RDF
3	Hans Bekic	Defining a Language in its Own Terms.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
3	Hans Bekic	Towards a Mathematical Theory of Processes.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
3	Joseph Y. Halpern, Albert R. Meyer	Axiomatic Definitions of Programming Languages, II.	POPL	1981	DBLP DOI BibTeX RDF
2	Christopher Monsanto, Nate Foster, Rob Harrison, David Walker	A compiler and run-time system for network programming languages.	POPL	2012	DBLP DOI BibTeX RDF
2	Jennifer Rexford	Programming languages for programmable networks.	POPL	2012	DBLP DOI BibTeX RDF
2	Andreas Stefik, Susanna Siebert, Kim Slattery, Melissa Stefik	Toward Intuitive Programming Languages.	ICPC	2011	DBLP DOI BibTeX RDF	empirical studies, programming languages, syntax, intuitiveness
2	Andreas Stefik, Susanna Siebert, Melissa Stefik, Kim Slattery	An empirical comparison of the accuracy rates of novices using the quorum, perl, and randomo programming languages.	PLATEAU	2011	DBLP DOI BibTeX RDF
2	Gabriel Dos Reis, Bjarne Stroustrup	General constant expressions for system programming languages.	SAC	2010	DBLP DOI BibTeX RDF	compile time evaluation, standardization
2	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
2	Tor-Morten Grønli, Jarle Hansen, Gheorghita Ghinea	Android vs Windows Mobile vs Java ME: a comparative study of mobile development environments.	PETRA	2010	DBLP DOI BibTeX RDF	Windows Mobile, mobile development environment, programming languages, Android, Java ME
2	K. Aldrawiesh, A. Al-Ajlan, Y. Al-Saawy, A. Bajahzar	A comparative study between computer programming languages for developing distributed systems in web environment.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	web services and object-oriented programming, distribute system
2	Sebastian Fleissner, Elisa L. A. Baniassad	The culture of programming languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	software engineering, programming, culture
2	Dorian P. Yeager	A different kind of programming languages course.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	Java, design, education, object-oriented, C++, implementation, languages, smalltalk, event-driven, C#, simula
2	Jeffrey L. Overbey, Ralph E. Johnson	Regrowing a language: refactoring tools allow programming languages to evolve.	OOPSLA	2009	DBLP DOI BibTeX RDF	java, fortran, refactoring, language design, restructuring, language evolution
2	Michael S. Horn, Erin Treacy Solovey, R. Jordan Crouser, Robert J. K. Jacob	Comparing the use of tangible and graphical programming languages for informal science education.	CHI	2009	DBLP DOI BibTeX RDF	tern, education, children, tangible user interfaces, programming languages, museums, informal science education
2	John C. Reynolds	Using Category Theory to Design Programming Languages.	ESOP	2009	DBLP DOI BibTeX RDF
2	Aslan Askarov, Andrei Sabelfeld	Catch me if you can: permissive yet secure error handling.	PLAS	2009	DBLP DOI BibTeX RDF	exception handling, security type system
2	Daniel R. Licata, Robert Harper	Positively dependent types.	PLPV	2009	DBLP DOI BibTeX RDF	agda, dependent types, polarity
2	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
2	Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin	Formal certification of code-based cryptographic proofs.	POPL	2009	DBLP DOI BibTeX RDF	cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant
2	David Monniaux	Automatic modular abstractions for linear constraints.	POPL	2009	DBLP DOI BibTeX RDF	program transformation, abstract interpretation, quantifier elimination, linear inequalities
2	Chris Barker	Wild control operators.	POPL	2009	DBLP DOI BibTeX RDF	fcontrol, same, natural language, continuations, focus, shift, control operators, reset
2	Peter Novák, Wojciech Jamroga	Code patterns for agent-oriented programming.	AAMAS	2009	DBLP DOI BibTeX RDF	ai, description level: methodologies and languages, focus: agent programming languages, inspiration source: robotics, temporal logic, agent-oriented programming, code patterns
2	Benjamin C. Pierce	Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.	ICFP	2009	DBLP DOI BibTeX RDF	programming languages, pedagogy, proof assistants
2	Koji Kagawa	WAPPEN: a web-based application framework for programming and its bison/flex plug-in.	ITiCSE	2009	DBLP DOI BibTeX RDF	web, programming languages, eclipse, compiler construction
2	Cameron E. Freer, Daniel M. Roy	Computable Exchangeable Sequences Have Computable de Finetti Measures.	CiE	2009	DBLP DOI BibTeX RDF	de Finetti, computable probability theory, probabilistic programming languages, mutation, exchangeability
2	Shriram Krishnamurthi	Teaching programming languages in a post-linnaean age.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Stuart Reges	Marketing the programming languages course.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF
2	Mitchell Wand, Daniel P. Friedman	Programming languages: fundamental concepts for expanding and disciplining the mind.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	curricula
2	Olin Shivers	Why teach programming languages.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Jiafu Xu, Fanming Song	Quantum programming languages.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	quantum programming language, imperative paradigm, declarative paradigm, lexical analyzer, syntactic analyzer, primitive function, combining form, compilation, interpreter, code transformer
2	Keita Imada, Katsuhiko Nakamura	Towards Machine Learning of Grammars and Compilers of Programming Languages.	ECML/PKDD	2008	DBLP DOI BibTeX RDF
2	Jan Jancura, Daniel Prusa	Generic framework for integration of programming languages into netbeans ide.	PEPM	2008	DBLP DOI BibTeX RDF	framework for visualization of programming languages, parser
2	Mehdi Dastani, Koen V. Hindriks, Peter Novák, Nick A. M. Tinnemeier	Combining Multiple Knowledge Representation Technologies into Agent Programming Languages.	DALT	2008	DBLP DOI BibTeX RDF
2	Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant	Special track on Programming Languages: editorial message.	SAC	2008	DBLP DOI BibTeX RDF
2	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
2	Mario de Sousa	Restricting IEC 61131-3 programming languages for use on high integrity applications.	ETFA	2008	DBLP DOI BibTeX RDF
2	Mehdi Dastani, Christian P. Mol, Bas R. Steunebrink	Modularity in Agent Programming Languages.	PRIMA	2008	DBLP DOI BibTeX RDF
2	Marco Pistoia	Program Analysis and Programming Languages for Security.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich	Engineering formal metatheory.	POPL	2008	DBLP DOI BibTeX RDF	locally nameless, binding, coq
2	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
2	Yaron Minsky	Caml trading.	POPL	2008	DBLP DOI BibTeX RDF	functional programming, ML
2	Katherine F. Moore, Dan Grossman	High-level small-step operational semantics for transactions.	POPL	2008	DBLP DOI BibTeX RDF	weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
2	Kohei Honda, Nobuko Yoshida, Marco Carbone	Multiparty asynchronous session types.	POPL	2008	DBLP DOI BibTeX RDF	multiparty, communications, causality, choreography, structured programming, session types, mobile processes
2	Matthias Blume, Umut A. Acar, Wonseok Chae	Exception Handlers as Extensible Cases.	APLAS	2008	DBLP DOI BibTeX RDF
2	Peter Thiemann, Stefan Wehr	Interface Types for Haskell.	APLAS	2008	DBLP DOI BibTeX RDF
2	Scott Owens	A Sound Semantics for OCamllight.	ESOP	2008	DBLP DOI BibTeX RDF
2	Peter Grogono, Brian Shearing	Concurrent software engineering: preparing for paradigm shift.	C3S2E	2008	DBLP DOI BibTeX RDF	concurrency, software development, programming languages, evolvability, paradigm shift
2	Ben Wiedermann, Ali Ibrahim, William R. Cook	Interprocedural query extraction for transparent persistence.	OOPSLA	2008	DBLP DOI BibTeX RDF	databases, static analysis, programming languages, attribute grammars, object-relational mapping
2	Kathi Fisler	Implementing domain-specific languages as the foundation of an honors intro CS course.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Michael Hind	Addressing the disconnect between the good and the popular.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Lori L. Pollock	Rethinking pedagogy for teaching PL with more than PL concepts in mind.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	Mark A. Sheldon, Franklyn A. Turbak	An aspect-oriented approach to the undergraduate programming language curriculum.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	programming languages curriculum
2	William Thies, John Paul Urbanski, Todd Thorsen, Saman P. Amarasinghe	Abstraction layers for scalable microfluidic biocomputing.	Natural Computing	2008	DBLP DOI BibTeX RDF	Laboratory automation, Programming languages, DNA computing, Microfluidics, Self-assembly, Biological computation
2	Peter Novák, Jürgen Dix	Adding Structure to Agent Programming Languages.	PROMAS	2007	DBLP DOI BibTeX RDF