The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ACM Trans. Program. Lang. Syst."( http://dblp.L3S.de/Venues/ACM_Trans._Program._Lang._Syst. )

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

Publication years (Num. hits)
1979 (20) 1980 (31) 1981 (24) 1982 (35) 1983 (28) 1984 (32) 1985 (32) 1986 (21) 1987 (25) 1988 (27) 1989 (26) 1990 (24) 1991 (25) 1992 (18) 1993 (29) 1994 (63) 1995 (37) 1996 (27) 1997 (35) 1998 (33) 1999 (32) 2000 (28) 2001 (17) 2002 (21) 2003 (20) 2004 (28) 2005 (33) 2006 (27) 2007 (45) 2008 (33) 2009 (23) 2010 (21) 2011 (21) 2012 (17) 2013-2014 (33) 2015-2016 (25) 2017 (18) 2018 (19) 2019 (19)
Publication types (Num. hits)
article(1072)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1782 occurrences of 858 keywords

Results
Found 1072 publication records. Showing 1072 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bozhen Liu, Jeff Huang 0001, Lawrence Rauchwerger Rethinking Incremental and Parallel Pointer Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew C. Myers Editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leandro Facchinetti, Zachary Palmer, Scott F. Smith 0001 Higher-order Demand-driven Program Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon Static Identification of Injection Attacks in Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Padovani Context-Free Session Type Inference. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Charles Grellois Probabilistic Termination by Monadic Affine Sized Typing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Rosà, Eduardo Rosales, Walter Binder Analysis and Optimization of Task Granularity on the Java Virtual Machine. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen Feature-Specific Profiling. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodolphe Lepigre, Christophe Raffalli Practical Subtyping for Curry-Style Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu Failure Recovery in Resilient X10. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Étienne Miquey A Classical Sequent Calculus with Dependent Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthew Hague, Anthony W. Lin, Chih-Duo Hong CSS Minification via Constraint Solving. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida Dynamic Deadlock Verification for General Barrier Synchronisation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Minseok Jeon, Sehun Jeong, Sung Deok Cha, Hakjoo Oh A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manas Thakur, V. Krishna Nandivada PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, J. Eliot B. Moss Optimal Choice of When to Garbage Collect. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernardo Toninho, Nobuko Yoshida Interconnectability of Session-Based Logical Processes. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis Program Synthesis for Program Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter Bit-Precise Procedure-Modular Termination Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee 0001, David A. Naumann, Mohammad Nikouei A Logical Analysis of Framing for Specifications with Pure Method Calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Friedrich Steimann Constraint-Based Refactoring. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu 0001, Petr Novotný 0001, Rouzbeh Hasheminezhad Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi Adaptive Static Analysis via Learning with Bayesian Optimization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Dragan Bosnacki, Ruurd Kuiper Modular Termination Verification of Single-Threaded and Multithreaded Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Myers Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems". Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Olmedo, Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver Conditioning in Probabilistic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matías Toro, Ronald Garcia, Éric Tanter Type-Driven Gradual Security with References. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Se-Won Kim, Xavier Rival, Sukyoung Ryu A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jacob Lidman, Sally A. McKee Verifying Reliability Properties Using the Hyperball Abstract Domain. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Mikel Luján Cross-Language Interoperability in a Multi-Language Runtime. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Danicic, Michael R. Laurence Static Backward Slicing of Non-deterministic Programs and Systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Vincent St-Amour, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold, Robert Bruce Findler, Steven M. Belknap POP-PL: A Patient-Oriented Prescription Programming Language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Hirzel, Scott Schneider 0001, Bugra Gedik SPL: An Extensible Language for Distributed Stream Processing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas H. Austin, Thomas Schmitz, Cormac Flanagan Multiple Facets for Dynamic Information Flow with Exceptions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Myers Foreword. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams 0002, Stavros Aronis, Robert Baker 0001, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yanhong A. Liu, Scott D. Stoller, Bo Lin From Clarity to Efficiency for Distributed Algorithms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu Newtonian Program Analysis via Tensor Product. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jacques-Henri Jourdan, François Pottier A Simple, Possibly Correct LR Parser for C11. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Taro Sekiyama, Atsushi Igarashi, Michael Greenberg 0002 Polymorphic Manifest Contracts, Revised and Resolved. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nachshon Cohen, Erez Petrank Limitations of Partial Compaction: Towards Practical Bounds. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marie-Christine Jakobs, Heike Wehrheim Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones SHErrLoc: A Static Holistic Error Locator. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Luca Padovani The Chemical Approach to Typestate-Oriented Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eva Darulova, Viktor Kuncak Towards a Compiler for Reals. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jay Ligatti, Jeremy Blackburn, Michael Nachtigal On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi Sound Non-Statistical Clustering of Static Analysis Alarms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen 0001 Automatic Storage Optimization for Arrays. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Brian Norris, Brian Demsky A Practical Approach for Model Checking C/C++11 Code. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thibaut Balabonski, François Pottier, Jonathan Protzenko The Design and Formalization of Mezzo, a Permission-Based Programming Language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
1Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
1Sukyoung Ryu ThisType for Object-Oriented Languages: From Theory to Practice. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Brockschmidt, Fabian Emmes, Stephan Falke 0001, Carsten Fuhs, Jürgen Giesl Analyzing Runtime and Size Complexity of Integer Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefano Dissegna, Francesco Logozzo, Francesco Ranzato An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Uday Bondhugula, Aravind Acharya, Albert Cohen 0001 The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paraskevas Yiapanis, Gavin Brown 0001, Mikel Luján Compiler-Driven Software Speculation for Thread-Level Parallelism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gregor Wagner, Per Larsen, Stefan Brunthaler, Michael Franz Thinking Inside the Box: Compartmentalized Garbage Collection. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
1Baris Kasikci, Cristian Zamfir, George Candea Automated Classification of Data Races Under Both Strong and Weak Memory Models. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tobias Grosser, Sven Verdoolaege, Albert Cohen 0001 Polyhedral AST Generation Is More Than Scanning Polyhedra. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar Fast: A Transducer-Based Language for Tree Manipulation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew W. Appel Verification of a Cryptographic Primitive: SHA-256. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Farn Wang, Sven Schewe, Chung-Hao Huang An Extension of ATL with Strategy Interaction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Frechtling, Philip Heng Wai Leong MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dariusz Biernacki, Olivier Danvy, Kevin Millikin A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson The Design and Implementation of a Verification Technique for GPU Kernels. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei Affine Refinement Types for Secure Distributed Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gary T. Leavens, David A. Naumann Behavioral Subtyping, Specification Inheritance, and Modular Reasoning. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Dave Clarke 0001, Frank Piessens Secure Compilation to Protected Module Architectures. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Gesbert, Pierre Genevès, Nabil Layaïda A Logical Approach to Deciding Semantic Subtyping. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek Atomicity Refinement for Verified Compilation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jens Palsberg Editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hongjin Liang, Xinyu Feng, Ming Fu Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Camil Demetrescu, Irene Finocchi, Andrea Ribichini Reactive Imperative Programming with Dataflow Constraints. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl A Widening Approach to Multithreaded Program Verification. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sheng Chen 0008, Martin Erwig, Eric Walkingshaw Extending Type Inference to Variational Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park 0001, Jeehoon Kang, Kwangkeun Yi Global Sparse Analysis Framework. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Pierre Ganty, Tomás Poch Pattern-Based Verification for Multithreaded Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Donald E. Porter, Michael D. Bond, Indrajit Roy 0001, Kathryn S. McKinley, Emmett Witchel Practical Fine-Grained Information Flow Control Using Laminar. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps Specialization Slicing. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich Foundations of Typestate-Oriented Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps Abstract Domains of Affine Relations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget, Michael Tautschnig Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Delphine Demange, David Pichardie Formal Verification of an SSA-Based Middle-End for CompCert. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1072 (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