Search results for "Imperative"

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