| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mitchell Wand, Daniel P. Friedman |
Programming languages: fundamental concepts for expanding and disciplining the mind.   |
SIGPLAN Notices  |
2008 |
DBLP DOI BibTeX RDF |
curricula |
| 1 | Michael Hind |
Addressing the disconnect between the good and the popular. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | 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 |
| 1 | Eric Allen |
Some things that computer science majors should know. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Mark W. Bailey |
ISMM 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hughes |
Experiences from teaching functional programming at Chalmers. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Gary T. Leavens |
Use concurrent programming models to motivate teaching of programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
concurrency, computational models, programming models, concepts, programming language curriculum, paradigms |
| 1 | Jia Lv, Ying Jing, Minghui Wu, Canghong Jin |
Crosscutting invariant and an efficient checking algorithm using program slicing. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety |
| 1 | Martin C. Rinard |
Using programming language concepts to teach general thinking skills. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ce Yu, Xu Zhen, Sun Ji-zhou, Meng Xiao-jing, Huang Yanyan, Wu Huabei |
ParaModel: a visual modeling and code skeleton generation system for programming parallel applications. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
architectural skeleton, program parallel application, design pattern, visual modeling |
| 1 | Olin Shivers |
Why teach programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | 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 |
| 1 | Kim B. Bruce, Stephen N. Freund |
Programming languages in a liberal arts education. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Nikhil Swamy, Michael Hicks |
Verified enforcement of stateful information release policies. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types |
| 1 | Richard Jones, Steve Blackburn |
International symposium of memory management (ISMM 2008). |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc |
Single global lock semantics in a weakly atomic STM. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Kathryn S. McKinley |
Improving publication quality by reducing bias with double-blind reviewing and author response. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Reynolds |
Some thoughts on teaching programming and programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
undergraduate curriculum, programming, programming languages, teaching |
| 1 | Doug Lea, David F. Bacon, David Grove |
Languages and performance engineering: method, instrumentation, and pedagogy. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Mark W. Bailey |
Injecting programming language concepts throughout the curriculum: an inclusive strategy. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming language curriculum |
| 1 | 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 |
| 1 | John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara |
VDMTools: advances in support for formal modeling in VDM. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
formal methods, validation, tool support, VDM, vienna development method |
| 1 | Stuart Reges |
Marketing the programming languages course. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Marco Pistoia, Úlfar Erlingsson |
Workshop on programming languages and analysis for security (PLAS 2008). |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Chandra Krintz |
SIGPLAN programming language curriculum workshop: Workshop organization. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Frenger |
Hard Java. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rastislav Bodík |
Small languages in an undergraduate PL/Compiler course. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
virtual execution system, parallel virtual machine, dynamic compilation |
| 1 | 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 |
| 1 | Peter Sestoft |
Programming language concepts for software developers. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | 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 |
| 1 | James R. Larus |
PL research and its consequences on PL curriculum. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Chandra Krintz |
SIGPLAN programming language curriculum workshop: Workshop report summary. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
A type system for data-flow integrity on Windows Vista. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
data-flow integrity, hybrid type system, explicit substitution, dynamic access control |
| 1 | Ju Qian, Baowen Xu |
Program slicing under UML scenario models. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
UML, scenario, program understanding, program slicing |
| 1 | Babak Falsafi, Pascal Felber |
Introduction. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Cook |
High-level problems in teaching undergraduate programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Robert Harper |
Position paper: practical foundations for lrogramming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Úlfar Erlingsson |
PLAS 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James Hook, Michael Sperber |
The ICFP developer conference 2008. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Danfeng Zhang, Yao Guo, Xiangqun Chen |
AspectC2C: a symmetric aspect extension to the C language. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Teaching programming languages in a post-linnaean age. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Mark W. Bailey |
TRANSACT 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangyi Sui, Jun Lin, Xiaotuo Zhang |
An automated refactoring tool for dataflow visual programming language. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
dataflow visual programming language, software engineering, refactoring, dataflow |
| 1 | Kim B. Bruce, Stephen N. Freund |
Programming languages as part of core computer science. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand |
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting-Wei Hou, Fuh-Gwo Chen |
An anomaly in an interpreter using GCC source-code-level register allocation. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
GCC source-code-level register allocation, performance, interpreter |
| 1 | Huihui Shi, Yi Wang, Haibing Guan, Alei Liang |
An intermediate language level optimization framework for dynamic binary translation. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
run-time profiling, dynamic optimization, dynamic compilation, binary translation |
| 1 | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal |
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
weakest precondition, program specification, deadlock freedom, program correctness |
| 1 | Igor B. Smirnov |
Raw pointers in application classes of C++ considered harmful. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
dynamic storage, raw pointers, smart pointers, C++, C++, methodology |
| 1 | Feng Xia, Guosong Tian, Youxian Sun |
Feedback scheduling: an event-driven paradigm. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
feedback scheduling, programming, flexibility, overhead, event-driven, resource efficiency |
| 1 | Apostolos Syropoulos |
Pi machines: virtual machines realizing graph structured transition P systems. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
graph structured P systems, distributed computing, virtual machines |
| 1 | William R. Mahoney, William L. Sousan |
Using common off-the-shelf tools to implement dynamic aspects. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
event monitoring, intrusion detection, open-source, dynamic aspects, GCC |
| 1 | Éric Tanter |
On dynamically-scoped crosscutting mechanisms. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
crosscutting mechanisms, dynamic scope, aspect-oriented programming, aspects |
| 1 | Rajeev Kumar, Soham Sundar Chakraborty |
Precise static type analysis for object oriented programs. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
message dispatch, object-oriented programming, program analysis, type system, type analysis |
| 1 | Hsiang-Yang Chen, Ting-Wei Hou, Chun-Liang Lin |
Tamper-proofing basis path by using oblivious hashing on Java. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
basis paths, oblivious hashing, Java, Java, tamper-proofing |
| 1 | Chin-Yang Lin, Ting-Wei Hou |
A simple and efficient algorithm for cycle collection. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
cycle collection, Java, garbage collection, reference counting |
| 1 | Michael Dunlavey |
Performance tuning with instruction-level cost derived from call-stack sampling. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
call stack sampling, optimization, performance analysis, software development, profiling, instrumentation, bottleneck |
| 1 | Paul Frenger |
Forth & small systems report. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
FORTH |
| 1 | Yarom Gabay, Assaf J. Kfoury |
A calculus for java's reference objects. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
java reference objects, weak references, garbage collection, formal languages |
| 1 | Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide |
WinHIPE: an IDE for functional programming based on rewriting and visualization. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
programming environments, functional programming, tracing, term rewriting, program visualization, program animation, expression evaluation |
| 1 | Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh |
A programming environment for ubiquitous computing environment. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
adaptation, access control, programming environment, ubiquitous |
| 1 | Shujuan Jiang, Yuanpeng Jiang |
An analysis approach for testing exception handling programs. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
exception handling, structure testing, control flow graph, exception propagation |
| 1 | Kurt Svensson |
Faster XML data validation in a programming language with XML datatypes. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion |
| 1 | M. Sarma, R. Mall |
Synthesis of system state models. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
system state model, test coverage analysis, transition coverage, UML, UML, automatic test case generation, state coverage |
| 1 | Paul Frenger |
Hacking your mouse: errata for March 2007. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Wang, C. Pronk |
Design and implementation of a GUI for the TLC model checker. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+ |
| 1 | Fuh-Gwo Chen, Ting-Wei Hou |
Instruction-coated translation: an approach to restructure directly threaded interpreters with low cohesion. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
module cohesion, software architecture and restructuring, threaded interpreter |
| 1 | Chandan Kumar Behera, Pawan Kumar |
An improved algorithm for loop dead optimization. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
loop invariant computations, loop optimization, compiler design |
| 1 | J. Ángel Velázquez-Iturbide |
Principled design of logical fisheye views of functional expressions. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
functional programming, expressions, focus+context, program visualization, fisheye views |
| 1 | Anthony H. Dekker |
Lazy functional programming in Java. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
lazy lists, Java, Java, functional programming |
| 1 | D. Janakiram, R. Venkateswarlu, A. Vijay Srinivas, A. Uday Kumar |
Soma: a compositional language for distributed systems. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Denckla |
Many cyclic block diagrams do not need parallel semantics. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
semantics, haskell, Haskell, esterel, block diagrams, ptolemy |
| 1 | Paul Frenger |
Forth & small systems report: potential unrealized: the MicroMED advisor. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deyi Xue |
Developing a superset language of smalltalk for modeling distributed mechanical design systems. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, mechanical design, object-oriented modeling, Smalltalk, computer language |
| 1 | Alpana Dubey |
Goodness criteria for programming language grammar rules. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
grammar metrics, programming language dialects, programming language grammar |
| 1 | Paul Frenger |
Ten years of Forth in ACM Sigplan Notices: part 2. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Byeong-Mo Chang |
Static check analysis for Java stack inspection. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
security, Java, Java, static analysis, stack inspection |
| 1 | Mike Murphy |
Some suggestions for the use of tables in compilers. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
software engineering, compilers, tables |
| 1 | Kallol Borah |
Indus: an object oriented language for Ubiquitous computing. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, distributed systems, ad hoc networks, software agents, adaptive systems |
| 1 | Javier Tuya, María José Suárez Cabal, Claudio de la Riva |
A practical guide to SQL white-box testing. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
SQL query language, software testing, SQL, database testing |
| 1 | Dibyendu Das |
Optimizing subroutines with optional parameters in F90 via function cloning. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
compilers, Fortran 90 |
| 1 | Michael D. Adams, David S. Wise |
Fast additions on masked integers. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
dilated integers, index arithmetic, morton order, compilers, quadtrees |
| 1 | Fangjun Wu |
Formal specification of program slicing. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
program slicing, program dependence graph, Z language, system dependence graph |
| 1 | Richard A. Frost, Rahmatullah Hafiz |
A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
left-recursion, top-down parsing, backtracking, memoization, parser combinators |
| 1 | Zhang Ning, Guangze Xiong |
Minimizing GC work by analysis of live objects. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
scheduling, embedded systems, real-time, garbage collector |
| 1 | Paul B. Mann |
A translational BNF grammar notation (TBNF). |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
EBNF, LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, BNF, AST, grammarware |
| 1 | Shujuan Jiang, Baowen Xu, Liang Shi |
An approach to analyzing recursive programs with exception handling constructs. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
reliability, static analysis, programming language, exception handling, recursive function, exception propagation |
| 1 | Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah |
TRICK: tracking and reusing compiler's knowledge. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
optimization, compiler, reuse, program analysis, tools |
| 1 | Mark W. Bailey, John Hatcliff, Frank Tip |
PEPM 2006 paper abstracts. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiva Prasad Kintali |
MxYacc: parser generator for mixed languages. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
mixed language programming, parser generator, yacc |
| 1 | Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río |
A monadic program slicer. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
modular monadic semantics, program slicer, monad, monad transformer |
| 1 | Robert Bruce Findler |
Scheme and Functional Programming 2006: paper abstracts. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
SCHEME |
| 1 | Raghavendra Rao Loka |
Compilation reuse and hybrid compilation: an experiment. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sewon Moon, Byeong-Mo Chang |
A thread monitoring system for multithreaded Java programs. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
Java, Java, synchronization, monitoring, thread |
| 1 | Paul Frenger |
Book review: Designing Embedded Hardware. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dillip Kumar Lenka, Pawan Kumar |
States merging in LR parser. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto |
Recursion patterns and time-analysis. |
SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandan Kumar Behera, Pawan Kumar |
An improved algorithm for loop dead optimization. |
SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
loop invariant computations, loop optimization, compiler design |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")