The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for imperative with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1984 (17) 1985-1987 (27) 1988 (22) 1989 (20) 1990 (37) 1991-1992 (50) 1993 (35) 1994 (20) 1995 (49) 1996 (45) 1997 (42) 1998 (56) 1999 (60) 2000 (66) 2001 (77) 2002 (80) 2003 (108) 2004 (126) 2005 (149) 2006 (176) 2007 (165) 2008 (183) 2009 (137) 2010 (55) 2011 (30) 2012 (39) 2013 (38) 2014 (37) 2015 (44) 2016 (25) 2017 (31) 2018 (36) 2019 (38) 2020 (34) 2021 (25) 2022 (41) 2023 (34) 2024 (10)
Publication types (Num. hits)
article(550) book(5) incollection(13) inproceedings(1655) phdthesis(41)
Venues (Conferences, Journals, ...)
CoRR(80) POPL(43) ESOP(33) PLDI(26) ACM Trans. Program. Lang. Syst...(25) HICSS(23) ACM SIGPLAN Notices(21) SIGCSE(20) ICFP(19) SAS(19) PEPM(15) LOPSTR(13) OOPSLA(12) PPDP(12) Sci. Comput. Program.(12) CAV(11) More (+10 of total 1015)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1925 occurrences of 1273 keywords

Results
Found 2264 publication records. Showing 2264 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
73R. R. Sward, Thomas C. Hartrum Extracting Objects from Legacy Imperative Code. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF legacy imperative code, parameter-based object identification, data items, imperative subprograms, PBOI methodology, object-oriented programming, object extraction, object attributes
67Julio C. Peralta, John P. Gallagher, Hüseyin Saglam Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
61Umut A. Acar, Amal Ahmed 0001, Matthias Blume Imperative self-adjusting computation. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations
55Bjørn N. Freeman-Benson, Alan Borning The design and implementation of Kaleidoscope'90-A constraint imperative programming language. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
51Hongji Yang, Keith H. Bennett Acquisition of ERA models from data intensive code. Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF entity relationship attribute diagram acquisition, data-intensive source code, data items, imperative code, formal transformations, imperative constructs, ERA models, industrial COBOL programs, code-embedded relations, designs, data structures, data structures, reverse engineering, reverse engineering, software maintenance, systems analysis, diagrams, entity-relationship modelling
51Laurie J. Hendren, Alexandru Nicolau Parallelizing Programs with Recursive Data Structures. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF disambiguation techniques, interference analysis tools, parallelization techniques, dynamically updatable trees, regular-expression-like representation, accessible nodes, parallel programming, data structures, directed graphs, interference, program compilers, trees (mathematics), directed acyclic graphs, parallelizing compilers, automatic parallelization, dynamic data structures, parallel programming languages, recursive data structures, imperative programs, imperative language
48Stephan Falke 0001, Deepak Kapur A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Serguei A. Mokhov, Joey Paquet, Xin Tong 0002 A type system for hybrid intensional-imperative programming support in GIPSY. Search on Bibsonomy C3S2E The full citation details ... 2009 DBLP  DOI  BibTeX  RDF context, type system, intensional programming, imperative programming, general intensional programming system (GIPSY)
47Luiz Fernando Gomes Soares, Marcelo Ferreira Moreno, Francisco Sant'Anna Relating declarative hypermedia objects and imperative objects through the NCL glue language. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF declarative and imperative code content, glue language, intermedia synchronization, middleware, digital tv, ncl
47Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf Alma-O: An Imperative Language That Supports Declarative Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF search, declarative programming, imperative programming
42Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen CHR for Imperative Host Languages. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto On the Representation of Imperative Programs in a Logical Framework. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Edwin M. Westbrook, Aaron Stump, Ian Wehrman A language-based approach to functionally correct imperative programming. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF RSP, RSP1, program verification, dependent types
41Kung-Kiu Lau Active learning sheets for a beginner's course on reasoning about imperative programs. Search on Bibsonomy SIGCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software engineering, formal methods, imperative programming
41Kung-Kiu Lau Using SPARK for a beginner's course on reasoning about imperative programs. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF predicate transformer semantics, imperative programming
41Anthony Savidis Introductory teaching of imperative programming through an anthropomorphic computation model. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstraction of program memory, metaphoric computation model, teaching imperative programming, dynamic memory allocation
41Jamie Stark, Andrew Ireland Towards Automatic Imperative Program Synthesis Through Proof Planning. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Imperative Program Synthesis, Proof planning
39Frédéric Lang, Pierre Lescanne, Luigi Liquori A Framework for Defining Object-Calculi. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
39Gus Lopez, Bjørn N. Freeman-Benson, Alan Borning Constraints and Object Identity. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF constraint imperative programming, Kaleidoscope, constraints, aliasing, object identity
35Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky Effective interactive proofs for higher-order imperative programs. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF functional programming, dependent types, separation logic, interactive proof assistants
35Jordi Cabot From Declarative to Imperative UML/OCL Operation Specifications. Search on Bibsonomy ER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Miguel Pérez-Ramírez, Chris Fox Agents Interpreting Imperative Sentences. Search on Bibsonomy CICLing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Tim Todman, Wayne Luk Combining Imperative and Declarative Hardware Descriptions. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Ed F. Deprettere, Edwin Rijpkema, Bart Kienhuis Translating Imperative Affine Nested Loop Programs into Process Networks. Search on Bibsonomy Embedded Processor Design Challenges The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Hongwei Xi Imperative Programming with Dependent Types. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dependent types, programming language design, array bounds checking
35Marie-Claude Gaudel, Alexandre V. Zamulin Algebraic Imperative Specifications. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Jean-Christophe Filliâtre Proof of Imperative Programs in Type Theory. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Matthias Felleisen, Daniel P. Friedman A Reduction Semantics for Imperative Higher-Order Languages. Search on Bibsonomy PARLE (2) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
34Francesco Cesarini, Viviana Pappalardo, Corrado Santoro A comparative evaluation of imperative and functional implementations of the imap protocol. Search on Bibsonomy Erlang Workshop The full citation details ... 2008 DBLP  DOI  BibTeX  RDF erlang, functional languages, imperative languages, comparative evaluation, imap
34Vasileios Koutavas, Mitchell Wand Small bisimulations for reasoning about higher-order imperative programs. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence
32Bill Stoddart, Frank Zeyda Expression Transformers in B-GSL. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Expression transformers, term transformers, combining functional and imperative programming, backtracking, reversible computation, B, predicate transformers
32Simon N. Foley, John P. Morrison Computational paradigms and protection. Search on Bibsonomy NSPW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF functional and dataflow programming, imperative, security models, protection mechanisms, condensed graphs
32Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering Toward a Complete Transformational Toolkit for Compilers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language
30Taebum Kim, Eunji Jeong, Geon-Woo Kim, Yunmo Koo, Sehoon Kim, Gyeong-In Yu, Byung-Gon Chun Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
30Taebum Kim, Eunji Jeong, Geon-Woo Kim, Yunmo Koo, Sehoon Kim, Gyeong-In Yu, Byung-Gon Chun Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs. Search on Bibsonomy NeurIPS The full citation details ... 2021 DBLP  BibTeX  RDF
30Boubacar Demba Sall Programmation impérative par raffinements avec l'assistant de preuve Coq. (Imperative programming by refinement in the Coq proof assistant). Search on Bibsonomy 2020   RDF
30Yoann Marquer Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial. (Imperative characterization of sequential algorithms in general, primitive recursive or polynomial time). Search on Bibsonomy 2015   RDF
30Marco T. Morazán Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers. Search on Bibsonomy The Beauty of Functional Code The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Mathias John, Cédric Lhoussaine, Joachim Niehren Dynamic Compartments in the Imperative pi-Calculus. Search on Bibsonomy CMSB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach Analysis of Imperative XML Programs. Search on Bibsonomy DBPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Kohei Honda 0001, Nobuko Yoshida, Martin Berger 0001 An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida A logical analysis of aliasing in imperative higher-order functions. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities
28Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Jorge García Duque A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Klaus Schneider 0001 Embedding Imperative Synchronous Languages in Interactive Theorem Provers. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Cristiano Calcagno, Eugenio Moggi Multi-Stage Imperative Languages: A Conservative Extension Result. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Krzysztof R. Apt, Andrea Schaerf The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28David A. Naumann Beyond Fun: Order and Membership in Polytypic Imperative Programming. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Viviana Bono, Kathleen Fisher An Imperative, First-Order Calculus with Object Extension. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Patrick Bellot, Bernard J. Robinet Logical Synthesis of Imperative O. O. Programs. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Luke Hornof, Jacques Noyé Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF C
28T. C. Nicholas Graham, Gerd Kock Domesticating Imperative Constructs So That They Can Live in a Functional World. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Michael I. Schwartzbach Infinite Values in Hierarchical Imperative Types. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
28Björn Lisper Single-Assignment Semantics for Imperative Programs. Search on Bibsonomy PARLE (2) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
28Alan W. Biermann, Linda Fineman, Kermit C. Gilbert An Imperative Sentence Processor for Voice Interactive Office Applications. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
27Tomas Petricek 0001, Don Syme Collecting hollywood's garbage: avoiding space-leaks in composite events. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries
27Arthur Charguéraud, François Pottier Functional translation of a calculus of capabilities. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
27Sylvain Conchon, Jean-Christophe Filliâtre A persistent union-find data structure. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal verification, persistence, union-find
27Timothy J. Norman, Chris Reed 0001 A Model of Delegation for Multi-agent Systems. Search on Bibsonomy Foundations and Applications of Multi-Agent Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Baowen Xu PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Pascal
27Stephen Weeks, Matthias Felleisen On the Orthogonality of Assignments and Procedures in Algol. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ALGOL-60, ALGOL
26Neil D. Jones, Lars Kristiansen A flow calculus of mwp-bounds for complexity analysis. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automatable complexity analysis of imperative programs, static program anaysis, Implicit computational complexity
26Alberto Ciaffaglione, Luigi Liquori, Marino Miculan Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
26Alexander Holt, Sarah Rauchas, Ian D. Sanders Introducing python into the first year curriculum at wits. Search on Bibsonomy ITiCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF imperative, programming experience, SCHEME, recursion, Python, schools
26Jens Knoop, Oliver Rüthing Optimization Under the Perspective of Soundness, Completeness, and Reusability. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
26Xiaoping Jia An approach to animating Z specifications. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages
26Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde On deriving data parallel code from a functional program. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
26Guido Wirtz Modularization, re-use and testing for parallel message-passing programs. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming
26Doran Wilde, Sanjay V. Rajopadhye The naive execution of affine recurrence equations. Search on Bibsonomy ASAP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations
26Kevin Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
26Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming
26Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb Design and Specification of Iterators Using the Swapping Paradigm. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
26Linda A. Ness L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
26Augustus K. Uht Requirements for Optimal Execution of Loops with Tests. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF loops with tests, branch intensive code, dynamic branches, Booleanrecurrence, order one, dependence cycle, time cycle, imperative code, parallelprogramming, loop iterations
26Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Logres, Algres, persistent data, declarative requirements, imperative code, formal specification, prototyping, programming environment, programming environments, rapid prototyping, relational algebra, integrity constraints, software prototyping, human errors, data-intensive applications, application specifications, object-oriented data modeling, rule-based programming, database language
26Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl Proving Total Correctness of Programs in Weak Second-Order Logic. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
22Karen Zee, Viktor Kuncak, Martin C. Rinard An integrated proof language for imperative programs. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verification, theorem prover, proof system
22Andreas Blunk, Joachim Fischer, Daniel A. Sadilek Modelling a Debugger for an Imperative Voice Control Language. Search on Bibsonomy SDL Forum The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Lukas Bulwahn, Alexander Krauss 0001, Florian Haftmann, Levent Erkök, John Matthews Imperative Functional Programming with Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal Ynot: dependent types for imperative programs. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type theory, monads, Hoare logic, separation logic
22Stephen Drape, Clark D. Thomborson, Anirban Majumdar 0001 Specifying Imperative Data Obfuscations. Search on Bibsonomy ISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Data Obfuscation, Specification, Refinement, Correctness
22Andrew Ireland, Jamie Stark Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial order planning, deductive synthesis, program synthesis, proof planning
22Flávia Linhalis, Dilvan de Abreu Moreira Ontology-Based Application Server to the Execution of Imperative Natural Language Requests. Search on Bibsonomy FQAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22William L. Harrison Proof Abstraction for Imperative Languages. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Program Specification and Verification, Monads, Language Semantics, Monad Transformers
22Vasileios Koutavas, Mitchell Wand Bisimulations for Untyped Imperative Objects. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Bernd Burgstaller, Bernhard Scholz, Johann Blieberger Symbolic Analysis of Imperative Programming Languages. Search on Bibsonomy JMLC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Anthony Savidis More dynamic imperative languages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamically extensible semantics, polymorphic pattern programming, runtime inheritance, dynamic languages
22Sandrine Blazy, Xavier Leroy Formal Verification of a Memory Model for C-Like Imperative Languages. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Anthony Savidis Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming. Search on Bibsonomy RISE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Ola Olsson, Angela Wallenburg Customised Induction Rules for Proving Correctness of Imperative Programs. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Norbert Schirmer A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22David A. Naumann, Michael Barnett 0001 Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Kung-Kiu Lau A Beginner's Course on Reasoning About Imperative Programs. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Michael Colón Approximating the Algebraic Relational Semantics of Imperative Programs. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Luigi Liquori, Bernard P. Serpette iRho: an imperative rewriting calculus. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics
22Annalisa Bossi, Carla Piazza, Sabina Rossi Unwinding Conditions for Security in Imperative Languages. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Michael Colón Schema-Guided Synthesis of Imperative Programs by Constraint Solving. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Iman Poernomo Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Robert Giegerich, Peter Steffen Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. Search on Bibsonomy MPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Nilmini Wickramasinghe, Gail L. Mills E-knowledge in Health Care: A Strategic Imperative. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF managed care, strategic advantage, knowledge management, health care, knowledge management systems, HIPAA
Displaying result #1 - #100 of 2264 (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 L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license