Search    Browse

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 (6)
Publication types (Num. hits)
article(947)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(947)
Authors
Jens Palsberg(13) Leslie Lamport(13) Thomas W. Reps(12) Keshav Pingali(11) Martín Abadi(10) Benjamin C. Pierce(8) Kathryn S. McKinley(8) Krzysztof R. Apt(8) Peter J. Stuckey(8) Saumya K. Debray(8) Fred B. Schneider(7) Jayadev Misra(7) Mary Lou Soffa(7) Andrew W. Appel(6) Cédric Fournet(6) G. Ramalingam(6) More (+10 of total 1446)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1782 occurrences of 858 keywords
Results
Found 947 publication records. Showing 947 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek A data-centric approach to synchronization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xing Wu, Frank Mueller ScalaExtrap: Trace-based communication extrapolation for SPMD programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan Smans, Bart Jacobs, Frank Piessens Implicit dynamic frames. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jens Palsberg Editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lakshminarayanan Renganarayanan, DaeGon Kim, Michelle Mills Strout, Sanjay V. Rajopadhye Parameterized loop tiling. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Rupak Majumdar Algorithmic verification of asynchronous programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann Automated termination proofs for haskell by term rewriting. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Martin Gawlitza, Helmut Seidl Solving systems of rational equations through strategy iteration. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Derrick, Gerhard Schellhorn, Heike Wehrheim Mechanically verified proof obligations for linearizability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Utpal Banerjee Mathematical foundation of trace scheduling. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Wehr, Peter Thiemann JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Matthias Felleisen On contract satisfaction in a higher-order world. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jens Palsberg Editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter Refactoring using type constraints. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Swarat Chaudhuri, P. Madhusudan Software model checking using languages of nested trees. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee A Theory of Synchronous Relational Interfaces. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mingsheng Ying Floyd-hoare logic for quantum programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis Refinement types for secure implementations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks LOCKSMITH: Practical static race detection for C. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Werner Dietl, Sophia Drossopoulou, Peter Müller Separating ownership topology and encapsulation with generic universe types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, César Kunz An Abstract Model of Certificate Translation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shan Shan Huang, Yannis Smaragdakis Morphing: Structurally shaping a class by reflecting on others. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii Environmental bisimulations for higher-order languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard Semantics of transactional memory and automatic mutual exclusion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl Fast interprocedural linear two-variable equalities. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jens Palsberg Editorial note. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori Bottom-up shape analysis using LISF. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kathryn S. McKinley, Keshav Pingali La prossima vita at TOPLAS. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rob van Nieuwpoort, Gosia Wrzesinska, Ceriel J. H. Jacobs, Henri E. Bal Satin: A high-level and efficient grid programming model. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eran Yahav, Mooly Sagiv Verifying safety properties of concurrent heap-manipulating programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Mooly Sagiv, Alexey Loginov Finite differencing of logical formulas for static analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi, Davide Sangiorgi A hybrid type system for lock-freedom of mobile processes. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xiaotong Zhuang, Santosh Pande An optimization framework for embedded processors with auto-addressing mode. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble JavaCOP: Declarative pluggable types for java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang Semantic foundations for typed assembly languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gogul Balakrishnan, Thomas W. Reps WYSINWYX: What you see is not what you eXecute. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa Detecting bugs in register allocation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv A relational approach to interprocedural shape analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John Tang Boyland Semantics of fractional permissions with nesting. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neelam Gupta Execution suppression: An automated iterative technique for locating memory errors. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Salvatore Ruggieri, Fred Mesnard Typing linear constraints. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kenneth L. Knowles, Cormac Flanagan Hybrid type checking. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kathryn S. McKinley, Keshav Pingali La dolce vita at TOPLAS. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sven Apel, DeLesley Hutchins A calculus for uniform feature composition. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra Scratchpad allocation for concurrent embedded software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fausto Spoto, Fred Mesnard, Étienne Payet A termination analyzer for Java bytecode based on path-length. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter H. Welch, Jan Bækgaard Pedersen Santa Claus: Formal analysis of a process-oriented solution. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Hongseok Yang, John C. Reynolds Separation and information hiding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF resource protection, modularity, Separation logic
1Mark Harman, David Binkley, Keith Gallagher, Nicolas Gold, Jens Krinke Dependence clusters in source code. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yutao Zhong, Xipeng Shen, Chen Ding Program locality analysis using reuse distance. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF stack distance, training-based analysis, reuse distance, Program locality
1Davide Sangiorgi On the origins of bisimulation and coinduction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF greatest fixed points, Bisimulation, history, fixed points, coinduction
1Zena M. Ariola, Aaron Bohannon, Amr Sabry Sequent calculi and abstract machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
1Steve MacDonald, Kai Tan, Jonathan Schaeffer, Duane Szafron Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel programming, Design patterns, software maintenance, object-oriented frameworks, design decisions
1Yanhong A. Liu, Scott D. Stoller From datalog rules to efficient programs with time and space guarantees. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
1Jacob Matthews, Robert Bruce Findler Operational semantics for multi-language programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interoperability, Operational semantics
1Keshav Pingali, Kathryn S. McKinley Remembrances of things past. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chin Soon Lee Ranking functions for size-change termination. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
1Sara Kalvala, Richard Warburton, David Lacey Program transformations using temporal logic side conditions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF temporal logic, program transformation, rewriting, Optimizing compilers
1Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk Certificate translation for optimizing compilers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static analysis, program verification, program optimizations, Proof-carrying code
1Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino Local policies for resource usage analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Usage policies, model-checking, type and effect systems
1Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell Term transformers: A new approach to state. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
1Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth Expressive and modular predicate dispatch for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic dispatch, Predicate dispatch, modular typechecking
1Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan An experimental analysis of self-adjusting computation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ana Lúcia de Moura, Roberto Ierusalimschy Revisiting coroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generators, Continuations, multitasking
1Haruo Hosoya, Alain Frisch, Giuseppe Castagna Parametric polymorphism for XML. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Nils Gesbert, Luca Padovani A theory of contracts for Web services. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory
1Christian Schulte, Peter J. Stuckey Erratum to "Efficient constraint propagation engines". Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Efe Yardimci, Michael Franz Mostly static program partitioning of binary executables. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuous compilation and optimization, dynamic parallelization, binary translation
1Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv Self-stabilization preserving compiler. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Compilers, self-stabilization, abstract state machines
1Jon Sneyers, Tom Schrijvers, Bart Demoen The computational power and complexity of constraint handling rules. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constant factors, complexity, Constraint Handling Rules
1Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte A programming model for concurrent object-oriented programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
1Sungwoo Park, Frank Pfenning, Sebastian Thrun A probabilistic language based on sampling functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Probabilistic language, sampling function, robotics, probability distribution
1Laurence Tratt Domain specific language implementation via compile-time meta-programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Syntax extension, compile-time meta-programming, domain specific languages
1Andreas Gal, Christian W. Probst, Michael Franz Java bytecode verification via static single assignment form. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java bytecode verification, dataflow analysis, static single assignment form
1Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon Verifying policy-based web services security. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web services, pi calculus, XML security
1Joseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin Two-dimensional bidirectional object layout. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF coloring, hierarchy, inheritance, layout, bidirectional
1Amir M. Ben-Amram Size-change termination with difference constraints. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF size-change graph, size-change termination, Abstraction, program analysis, termination analysis
1Roland Ducournau Perfect hashing as an almost perfect subtype test. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF downcast, method tables, multiple subtyping, single inheritance, subtype test, virtual function tables, Java, C++, interfaces, coloring, multiple inheritance, perfect hashing, Casting, dynamic loading
1Zhelong Pan, Rudolf Eigenmann PEAK—a fast and effective performance tuning system via compiler optimization orchestration. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization orchestration, Performance tuning, dynamic compilation
1Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer Types for atomicity: Static checking and inference for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, concurrent programs, type inference, Atomicity
1Tao Wang, Abhik Roychoudhury Dynamic slicing on Java bytecode traces. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF debugging, Program slicing, tracing
1Hongbo Rong, Alban Douillet, Guang R. Gao Register allocation for software pipelined multidimensional loops. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF register allocation, Software pipelining
1Sapan Bhatia, Charles Consel, Calton Pu Remote specialization for efficient embedded operating systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Remote specialization, specialization server, performance analysis, compilers
1Westley Weimer, George C. Necula Exceptional situations and program reliability. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compensating transactions, linear sagas, linear types, resource management, Error handling
1Ondrej Lhoták, Laurie J. Hendren Relations as an abstraction for BDD-based program analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean formula satisfiability, physical domain assignment, Java, program analysis, Binary decision diagrams, language design, relations, points-to analysis
1Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci Decomposing bytecode verification by abstract interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstract interpretation, bytecode verification
1James Cheney, Christian Urban Nominal logic programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF name-binding, semantics, logic programming, Nominal logic
1Tachio Terauchi, Alex Aiken Witnessing side effects. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mutable state, side effects
1Mayur Naik, Jens Palsberg A type system equivalent to a model checker. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, type systems
1Noah Torp-Smith, Lars Birkedal, John C. Reynolds Local reasoning about a copying garbage collector. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF copying garbage collector, Separation logic, local reasoning
1David Monniaux The pitfalls of verifying floating-point computations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754
1Christian Schulte, Peter J. Stuckey Efficient constraint propagation engines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
1Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen Normalize, transpose, and distribute: An automatic approach for handling nonscalars. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic loop generation, Automatic parallelisms
1Luigi Liquori, Arnaud Spiwack FeatherTrait: A modest extension of Featherweight Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, inheritance, language design, language semantics
1Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse Verified interoperable implementations of security protocols. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web services, Functional programming, pi calculus, XML security
1Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray A semantics-based approach to malware detection. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract interpretation, obfuscation, Malware detection, trace semantics
1Barak A. Pearlmutter, Jeffrey Mark Siskind Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF forward-mode AD, higher-order AD, higher-order functional languages, program transformation, reflection, Closures, derivatives, Jacobian
1Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
1Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav On the complexity of partially-flow-sensitive alias analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flow-insensitive, Alias analysis, flow-sensitive
Displaying result #1 - #100 of 947 (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.