| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Christiansen, Daniel Seidel, Janis Voigtländer |
Free theorems for functional logic programs: (abstract only).  |
SIGPLAN Notices  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Danish, Hongwei Xi |
Operating system development with ATS: work in progress: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Balzer, Thomas R. Gross |
Modular reasoning about invariants over shared state with interposed data members: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic |
An overview of the Oregon programming languages summer school. |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek |
Challenge benchmarks for verification of real-time programs: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Stump, Evan Austin |
Resource typing in guru: (abstract only). |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allen |
Some things that computer science majors should know. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Shriram Krishnamurthi |
Teaching programming languages in a post-linnaean age. |
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 | 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 | 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 | 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 | Mark W. Bailey |
TRANSACT 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
Position paper: practical foundations for lrogramming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | 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 | James R. Larus |
PL research and its consequences on PL curriculum. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Úlfar Erlingsson |
PLAS 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Danfeng Zhang, Yao Guo, Xiangqun Chen |
AspectC2C: a symmetric aspect extension to the C language. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sestoft |
Programming language concepts for software developers. |
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 | 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 | Michael Hind |
Addressing the disconnect between the good and the popular. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 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 | 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 | Paul Frenger |
Hard Java. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark W. Bailey |
ISMM 2008 paper abstracts. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Jones, Steve Blackburn |
International symposium of memory management (ISMM 2008). |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Reges |
Marketing the programming languages course. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Mitchell Wand, Daniel P. Friedman |
Programming languages: fundamental concepts for expanding and disciplining the mind. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
curricula |
| 1 | John Hughes |
Experiences from teaching functional programming at Chalmers. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Babak Falsafi, Pascal Felber |
Introduction. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Rastislav Bodík |
Small languages in an undergraduate PL/Compiler course. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ce Yu, Xu Zhen, Sun Ji-zhou, Meng Xiao-jing, Yanyan Huang, Huabei Wu |
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 | William R. Cook |
High-level problems in teaching undergraduate programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Marco Pistoia, Úlfar Erlingsson |
Workshop on programming languages and analysis for security (PLAS 2008). |
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 | Kathleen Fisher, Chandra Krintz |
SIGPLAN programming language curriculum workshop: Workshop report summary. |
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 |
programming, programming languages, teaching, undergraduate 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 | Olin Shivers |
Why teach programming languages. |
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 | Martin C. Rinard |
Using programming language concepts to teach general thinking skills. |
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 | 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 | 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 | 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 | 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 | Paul Frenger |
Hacking your mouse: errata for March 2007. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | Éric Tanter |
On dynamically-scoped crosscutting mechanisms. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
crosscutting mechanisms, dynamic scope, aspect-oriented programming, aspects |
| 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 | 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 | 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, GCC, dynamic aspects |
| 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 | 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 | 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 | Paul Frenger |
Forth & small systems report. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
FORTH |
| 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, binary translation, dynamic compilation |
| 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 | 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 | Feng Xia, Guosong Tian, Youxian Sun |
Feedback scheduling: an event-driven paradigm. |
SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
feedback scheduling, programming, flexibility, event-driven, overhead, resource efficiency |
| 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 | 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 | Monalisa Sarma, Rajib 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 | Michael D. Adams 0001, David S. Wise |
Fast additions on masked integers. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
dilated integers, index arithmetic, morton order, compilers, quadtrees |
| 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 | 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 | 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 | Mark W. Bailey, John Hatcliff, Frank Tip |
PEPM 2006 paper abstracts. |
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 |
Ten years of Forth in ACM Sigplan Notices: part 2. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Frenger |
Forth & small systems report: potential unrealized: the MicroMED advisor. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Murphy |
Some suggestions for the use of tables in compilers. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
software engineering, compilers, tables |
| 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 | 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 | Shiva Prasad Kintali |
MxYacc: parser generator for mixed languages. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
mixed language programming, parser generator, yacc |
| 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 | 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 | Dibyendu Das |
Optimizing subroutines with optional parameters in F90 via function cloning. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
compilers, Fortran 90 |
| 1 | Dillip Kumar Lenka, Pawan Kumar |
States merging in LR parser. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony H. Dekker |
Lazy functional programming in Java. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
lazy lists, Java, Java, functional programming |
| 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 | 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 | 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 | 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 | 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 | 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 | 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 |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")