The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SIGPLAN Notices"( http://dblp.L3S.de/Venues/SIGPLAN_Notices )

URL (DBLP): http://dblp.uni-trier.de/db/journals/sigplan

Publication years (Num. hits)
1974-1982 (84) 1983 (133) 1984 (86) 1985 (117) 1987 (90) 1988 (101) 1989 (130) 1990 (78) 1991 (66) 1992 (81) 1993 (59) 1994 (79) 1995 (53) 1996 (75) 1997 (66) 1998 (78) 1999 (44) 2000 (49) 2001 (46) 2002 (52) 2003 (57) 2004 (34) 2005 (33) 2006 (31) 2007 (20) 2008 (47) 2009-2013 (21)
Publication types (Num. hits)
article(1810)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 760 occurrences of 345 keywords

Results
Found 1810 publication records. Showing 1810 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shriram Krishnamurthi Artifact evaluation for software conferences. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jan Vitek SIGPLAN chair's report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley OOPSLA 2002: Reconsidering custom memory allocation. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David F. Bacon, Perry Cheng, V. T. Rajan POPL 2003: A real-time garbage collector with low overhead and consistent utilization. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthias Felleisen ICFP 2002: Contracts for higher-order functions. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks 0001, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler Principles of POPL. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeremy Gibbons ACM SIGPLAN vice-chair's report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrew P. Black SIGPLAN secretary's report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata PLDI 2002: Extended static checking for Java. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Hind CACM research highlights annual report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Julia L. Lawall, Cristina V. Lopes SIGPLAN professional activities committee report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Derek Dreyer SIGPLAN most influential paper awards. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Cristina V. Lopes SIGPLAN treasurer's report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper 0001, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic An overview of the Oregon programming languages summer school. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthew Danish, Hongwei Xi Operating system development with ATS: work in progress: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephanie Balzer, Thomas R. Gross Modular reasoning about invariants over shared state with interposed data members: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Daniel Seidel, Janis Voigtländer Free theorems for functional logic programs: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek Challenge benchmarks for verification of real-time programs: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aaron Stump, Evan Austin Resource typing in guru: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Monnier, David Haguenauer Singleton types here, singleton types there, singleton types everywhere: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich, Chris Casinghino Arity-generic datatype-generic programming: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James R. Larus PL research and its consequences on PL curriculum. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ju Qian, Baowen Xu Program slicing under UML scenario models. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, scenario, program understanding, program slicing
1Mark W. Bailey TRANSACT 2008 paper abstracts. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Doug Lea, David F. Bacon, David Grove Languages and performance engineering: method, instrumentation, and pedagogy. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Kathleen Fisher, Chandra Krintz SIGPLAN programming language curriculum workshop: Workshop report summary. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Chandra Krintz SIGPLAN programming language curriculum workshop: Workshop organization. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shriram Krishnamurthi Teaching programming languages in a post-linnaean age. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Paul Frenger Hard Java. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin C. Rinard Using programming language concepts to teach general thinking skills. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ce 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. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF architectural skeleton, program parallel application, design pattern, visual modeling
1Olin Shivers Why teach programming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Kim B. Bruce, Stephen N. Freund Programming languages as part of core computer science. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Richard E. Jones, Steve Blackburn International symposium of memory management (ISMM 2008). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mitchell Wand, Daniel P. Friedman Programming languages: fundamental concepts for expanding and disciplining the mind. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF curricula
1Babak Falsafi, Pascal Felber Introduction. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eric Allen Some things that computer science majors should know. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Kathryn S. McKinley Improving publication quality by reducing bias with double-blind reviewing and author response. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Sestoft Programming language concepts for software developers. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Lori L. Pollock Rethinking pedagogy for teaching PL with more than PL concepts in mind. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Danfeng Zhang, Yao Guo 0001, Xiangqun Chen AspectC2C: a symmetric aspect extension to the C language. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mark W. Bailey Injecting programming language concepts throughout the curriculum: an inclusive strategy. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming language curriculum
1Michael Hind Addressing the disconnect between the good and the popular. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Mark W. Bailey ISMM 2008 paper abstracts. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Pistoia, Úlfar Erlingsson Workshop on programming languages and analysis for security (PLAS 2008). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robert Harper 0001 Position paper: practical foundations for lrogramming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kim B. Bruce, Stephen N. Freund Programming languages in a liberal arts education. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Stuart Reges Marketing the programming languages course. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara VDMTools: advances in support for formal modeling in VDM. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, validation, tool support, VDM, vienna development method
1James Hook, Michael Sperber The ICFP developer conference 2008. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen Why teach programming languages in this day and age and how to go about it. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Vijay 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. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java
1Gary T. Leavens Use concurrent programming models to motivate teaching of programming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency, computational models, programming models, concepts, programming language curriculum, paradigms
1John Hughes Experiences from teaching functional programming at Chalmers. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Mark A. Sheldon, Franklyn A. Turbak An aspect-oriented approach to the undergraduate programming language curriculum. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Kathi Fisler Implementing domain-specific languages as the foundation of an honors intro CS course. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Nikhil Swamy, Michael Hicks 0001 Verified enforcement of stateful information release policies. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
1Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi A parallel dynamic compiler for CIL bytecode. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual execution system, parallel virtual machine, dynamic compilation
1Rastislav Bodík Small languages in an undergraduate PL/Compiler course. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John C. Reynolds Some thoughts on teaching programming and programming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming, programming languages, teaching, undergraduate curriculum
1Jia Lv, Ying Jing, Minghui Wu, Canghong Jin Crosscutting invariant and an efficient checking algorithm using program slicing. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
1Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani A type system for data-flow integrity on Windows Vista. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data-flow integrity, hybrid type system, explicit substitution, dynamic access control
1Yangyi Sui, Jun Lin, Xiaotuo Zhang An automated refactoring tool for dataflow visual programming language. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dataflow visual programming language, software engineering, refactoring, dataflow
1Marco Pistoia, Úlfar Erlingsson Programming languages and program analysis for security: a three-year retrospective. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, program analysis, programming languages, language-based security
1Marco Pistoia, Úlfar Erlingsson PLAS 2008 paper abstracts. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher We need more than one: why students need a sophisticated understanding of programming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper 0001, 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. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1William R. Cook High-level problems in teaching undergraduate programming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Paul Frenger Forth & small systems report. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FORTH
1Igor B. Smirnov Raw pointers in application classes of C++ considered harmful. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic storage, raw pointers, smart pointers, C++, C++, methodology
1Hsiang-Yang Chen, Ting-Wei Hou, Chun-Liang Lin Tamper-proofing basis path by using oblivious hashing on Java. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF basis paths, oblivious hashing, Java, Java, tamper-proofing
1Ting-Wei Hou, Fuh-Gwo Chen An anomaly in an interpreter using GCC source-code-level register allocation. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GCC source-code-level register allocation, performance, interpreter
1Yarom Gabay, Assaf J. Kfoury A calculus for java's reference objects. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF java reference objects, weak references, garbage collection, formal languages
1Rajeev Kumar, Soham Sundar Chakraborty Precise static type analysis for object oriented programs. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF message dispatch, object-oriented programming, program analysis, type system, type analysis
1Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh A programming environment for ubiquitous computing environment. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF adaptation, access control, programming environment, ubiquitous
1Paul Frenger Hacking your mouse: errata for March 2007. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weakest precondition, program specification, deadlock freedom, program correctness
1William R. Mahoney, William L. Sousan Using common off-the-shelf tools to implement dynamic aspects. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF event monitoring, intrusion detection, open-source, GCC, dynamic aspects
1Éric Tanter On dynamically-scoped crosscutting mechanisms. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF crosscutting mechanisms, dynamic scope, aspect-oriented programming, aspects
1Chin-Yang Lin, Ting-Wei Hou A simple and efficient algorithm for cycle collection. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF cycle collection, Java, garbage collection, reference counting
1Monalisa Sarma, Rajib Mall Synthesis of system state models. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF system state model, test coverage analysis, transition coverage, UML, UML, automatic test case generation, state coverage
1Apostolos Syropoulos Pi machines: virtual machines realizing graph structured transition P systems. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graph structured P systems, distributed computing, virtual machines
1Shujuan Jiang, Yuanpeng Jiang An analysis approach for testing exception handling programs. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF exception handling, structure testing, control flow graph, exception propagation
1Michael Dunlavey Performance tuning with instruction-level cost derived from call-stack sampling. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF call stack sampling, optimization, performance analysis, software development, profiling, instrumentation, bottleneck
1Kurt Svensson Faster XML data validation in a programming language with XML datatypes. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
1Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide WinHIPE: an IDE for functional programming based on rewriting and visualization. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF programming environments, functional programming, tracing, term rewriting, program visualization, program animation, expression evaluation
1Feng Xia 0001, Guosong Tian, Youxian Sun Feedback scheduling: an event-driven paradigm. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF feedback scheduling, programming, flexibility, event-driven, overhead, resource efficiency
1Huihui Shi, Yi Wang, Haibing Guan, Alei Liang An intermediate language level optimization framework for dynamic binary translation. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF run-time profiling, dynamic optimization, binary translation, dynamic compilation
1Paul Frenger Book review: Designing Embedded Hardware. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Paul Frenger Ten years of Forth in ACM Sigplan Notices: part 2. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alpana Dubey Goodness criteria for programming language grammar rules. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF grammar metrics, programming language dialects, programming language grammar
1Michael D. Adams 0001, David S. Wise Fast additions on masked integers. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dilated integers, index arithmetic, morton order, compilers, quadtrees
1Dillip Kumar Lenka, Pawan Kumar States merging in LR parser. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard A. Frost, Rahmatullah Hafiz A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF left-recursion, top-down parsing, backtracking, memoization, parser combinators
1Mark W. Bailey, John Hatcliff, Frank Tip PEPM 2006 paper abstracts. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler Scheme and Functional Programming 2006: paper abstracts. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SCHEME
1Fangjun Wu Formal specification of program slicing. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program slicing, program dependence graph, Z language, system dependence graph
1Ben Denckla Many cyclic block diagrams do not need parallel semantics. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF semantics, haskell, Haskell, esterel, block diagrams, ptolemy
1Paul Frenger Forth & small systems report: potential unrealized: the MicroMED advisor. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1D. Janakiram, R. Venkateswarlu, A. Vijay Srinivas, A. Uday Kumar Soma: a compositional language for distributed systems. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1810 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license