Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Antonio Di Nola	Non-Archimedean Models of Lukasiewicz Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	Lukasiewicz logic, nonarchimedean algebraic models, infinite-valued sentential calculus, Boolean functions, multivalued logic, Boolean algebra, MV-algebra
14	Matthias Baaz, Christian G. Fermüller	Intuitionistic Counterparts of Finitely-Valued Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures
14	Boris A. Romov	Completeness Theory for Vector Partial Multiple-Valued Logic Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
14	Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns	Performance modeling of parallel systems with flexible precision.	HICSS (2)	1995	DBLP DOI BibTeX RDF	flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms
14	Kaori Yoshida, Torao Yanaru	A proposal of emotional memory model.	ANNES	1995	DBLP DOI BibTeX RDF	neural network, stability, satisfiability problem, Lagrangian method, propositional calculus
14	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents.	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
14	David R. Lester, Sava Mintchev	Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.	CSL	1994	DBLP DOI BibTeX RDF	Congruence Proof, Lambda Calculus, Denotational Semantics, Theorem Prover, Compiler Correctness
14	Robert Harper 0001, Furio Honsell, Gordon D. Plotkin	A Framework for Defining Logics.	J. ACM	1993	DBLP DOI BibTeX RDF	proof checking, interactive theorem proving, typed lambda calculus, formal systems
14	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen	Specifying and Verifying Requirements of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law
14	Roberto M. Amadio, Luca Cardelli	Subtyping Recursive Types.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions
14	Marc-Michel Corsini, Alain Griffault, Antoine Rauzy	Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.	LPAR	1993	DBLP DOI BibTeX RDF	Key-words Constraints Languages, Transition Systems, calculus, Mutual Exclusion Algorithms
14	Uday S. Reddy	Higher-order Aspects of Logic Programming.	ELP	1993	DBLP DOI BibTeX RDF	Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables
14	Charles Rich, Yishai A. Feldman	Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools
14	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
14	Roberto Maiocchi, Barbara Pernici, Federico Barbic	Automatic Deduction of Temporal Information.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions
14	Olivier Danvy	Back to Direct Style.	ESOP	1992	DBLP DOI BibTeX RDF	Direct style transformation, continuation-passing style transformation, Scheme, calculus
14	Dave D. Straube, M. Tamer Özsu	Queries and Query Processing in Object-Oriented Database Systems.	ACM Trans. Inf. Syst.	1990	DBLP DOI BibTeX RDF	object calculus, query transformation rules, object-oriented databases, object algebra
14	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
14	Brent Hailpern, Tien Huynh, György E. Révész	Comparing Two Functional Programming Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language
14	Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson	CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
14	Warren M. Kruegger, Keith Phillips	The Geometry of Differential Operators with Application to Image Processing.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	constant ascent rate, second-order nonlinear differential operators, symbolic descriptors, asymptotic curves, straight line segments, inflections of mean curvature, vector calculus, pattern recognition, pattern recognition, image processing, picture processing, picture processing, interpolation, B-spline, grammars, geometry, differential geometry, edge detectors, parse tree
14	Martin Gogolla	Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF	Theory of data bases, relational completeness, data model, abstract data type, formal semantics, integrity constraint, entity-relationship model, calculus, aggregate function
14	David Gray	The Formal Specification of a Small Bookshop Information System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	small bookshop information system, scheme calculus, software engineering, formal specification, programming theory, set theory
14	Ahmed Bouajjani, Susanne Graf, Joseph Sifakis	A logig for the description of behaviours and properties of concurrent systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy
14	Rafael Dueire Lins	A New Formula for the Execution of Categorial Combinators.	CADE	1986	DBLP DOI BibTeX RDF	Categorical Combinators, complexity, functional programming, lambda calculus
14	John J. Cannon	Computers in group theory: a survey.	Commun. ACM	1969	DBLP DOI BibTeX RDF	character tables, commutator calculus, coset enumeration, nonnumerical programming, subgroup lattices, topology, survey, symbol manipulation, group theory, discrete mathematics, permutation groups, Abelian groups, automorphism groups, crystallography
13	Fernando Ferreira 0001, Gilda Ferreira	Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.	Stud Logica	2009	DBLP DOI BibTeX RDF	commuting conversions, predicative quantifiers, Natural deduction
13	Carsten Schürmann 0001	The Twelf Proof Assistant.	TPHOLs	2009	DBLP DOI BibTeX RDF
13	Jesper Bengtson, Joachim Parrow	Psi-calculi in Isabelle.	TPHOLs	2009	DBLP DOI BibTeX RDF
13	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001	Types and Recursion Schemes for Higher-Order Program Verification.	APLAS	2009	DBLP DOI BibTeX RDF
13	Min Yuan, Zhiqiu Huang, Fangxiong Xiao	Modeling and Analysis of Flexible Transaction for Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
13	Thomas T. Hildebrandt, Hugo A. López 0001	Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming
13	Ping Hou, Marc Denecker	A Deductive System for FO(ID) Based on Least Fixpoint Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
13	Ronald Garcia, Andrew Lumsdaine	Toward foundations for type-reflective metaprogramming.	GPCE	2009	DBLP DOI BibTeX RDF	semantics, c++, reflection, metaprogramming
13	Matthias Horbach, Christoph Weidenbach	Decidability Results for Saturation-Based Model Building.	CADE	2009	DBLP DOI BibTeX RDF
13	George Metcalfe, Nicola Olivetti	Proof Systems for a Gödel Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
13	Jens Chr. Godskesen, Sebastian Nanz	Mobility Models and Behavioural Equivalence for Wireless Networks.	COORDINATION	2009	DBLP DOI BibTeX RDF
13	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
13	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
13	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	Safe Runtime Verification of Real-Time Properties.	FORMATS	2009	DBLP DOI BibTeX RDF
13	Lionel Elie Mamane, Herman Geuvers, James McKinna	A Logically Saturated Extension of lambdaµµ.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
13	Jiajie Wu, Farong Zhong, Yufang Qiu	A Dynamic Compensation Mechanism for Web Transactions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
13	John Seiffertt, Suman Sanyal, Donald C. Wunsch	Hamilton-Jacobi-Bellman Equations and Approximate Dynamic Programming on Time Scales.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
13	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality
13	Farhad Mehta	A Practical Approach to Partiality - A Proof Based Approach.	ICFEM	2008	DBLP DOI BibTeX RDF
13	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
13	Han Gao 0002, Chiara Bodei, Pierpaolo Degano	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.	AMAST	2008	DBLP DOI BibTeX RDF
13	Michele Bugliesi, Riccardo Focardi	Language Based Secure Communication.	CSF	2008	DBLP DOI BibTeX RDF
13	Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt	On the Expressiveness and Decidability of Higher-Order Process Calculi.	LICS	2008	DBLP DOI BibTeX RDF	behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
13	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy Behavioral Subtyping.	FM	2008	DBLP DOI BibTeX RDF
13	Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson	Extended pi-Calculi.	ICALP (2)	2008	DBLP DOI BibTeX RDF
13	Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci	A Category of Explicit Fusions.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
13	Gérard Boudol	Typing Safe Deallocation.	ESOP	2008	DBLP DOI BibTeX RDF
13	Min Jiang 0005, Changle Zhou, Guoqing Wu, Fan Zhang	A CSP-Based Approach for Solving Parity Game.	FAW	2008	DBLP DOI BibTeX RDF
13	Zhongyu Chen, Huaikou Miao, Bo Song	A New Formal Modeling Approach for Requirement.	CSSE (2)	2008	DBLP DOI BibTeX RDF
13	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo	Checking Correctness of Transactional Behaviors.	FORTE	2008	DBLP DOI BibTeX RDF	Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence
13	Bogdan Aman, Gabriel Ciobanu	Timed Mobile Ambients for Network Protocols.	FORTE	2008	DBLP DOI BibTeX RDF
13	Kaustuv Chaudhuri, Dale Miller 0001, Alexis Saurin	Canonical Sequent Proofs via Multi-Focusing.	IFIP TCS	2008	DBLP DOI BibTeX RDF
13	Matthias Horbach, Christoph Weidenbach	Superposition for Fixed Domains.	CSL	2008	DBLP DOI BibTeX RDF
13	Fabio Gadducci, Giacoma Valentina Monreale	A Decentralized Implementation of Mobile Ambients.	ICGT	2008	DBLP DOI BibTeX RDF
13	Frank Dylla, Jan Oliver Wallgrün	Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	conceptual neighborhood, model-based relaxation, qualitative spatial reasoning
13	Leon Horsten, Philip D. Welch	The Undecidability of Propositional Adaptive Logic.	Synth.	2007	DBLP DOI BibTeX RDF	Dynamic logic, Undecidability, Paraconsistent logic, Adaptive logic
13	Aleksandra Kislak-Malinowska	On the Logic of beta -pregroups.	Stud Logica	2007	DBLP DOI BibTeX RDF	?-pregroup, normalization theorem, cut elimination, Pregroup
13	Atsushi Ohori	A proof theory for machine code.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Curry-Howard isomorphism
13	Tiansi Dong	Towards a Spatial Representation for the Meta Cognitive Process Layer of Cognitive Informatics.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
13	Stephan Ellner, Walid Taha	The semantics of graphical languages.	PEPM	2007	DBLP DOI BibTeX RDF
13	Dimitris Mostrous, Nobuko Yoshida	Two Session Typing Systems for Higher-Order Mobile Processes.	TLCA	2007	DBLP DOI BibTeX RDF
13	Takaaki Tateishi, Naoshi Tabuchi	Secure Behavior of Web Browsers to Prevent Information Leakages.	APSEC	2007	DBLP DOI BibTeX RDF
13	Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa	A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.	APSEC	2007	DBLP DOI BibTeX RDF
13	Paul Brauner, Clément Houtmann, Claude Kirchner	Principles of Superdeduction.	LICS	2007	DBLP DOI BibTeX RDF
13	Kristian Støvring, Søren B. Lassen	A complete, co-inductive syntactic theory of sequential control and state.	POPL	2007	DBLP DOI BibTeX RDF	mutable references, continuations, bisimulation
13	Adrian Francalanza, Matthew Hennessy	A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).	ESOP	2007	DBLP DOI BibTeX RDF
13	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Communication-Centred Programming for Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
13	José Espírito Santo, Silvia Ghilezan, Jelena Ivetic	Characterising Strongly Normalising Intuitionistic Sequent Terms.	TYPES	2007	DBLP DOI BibTeX RDF
13	Boris Motik, Robert D. C. Shearer, Ian Horrocks 0001	Optimized Reasoning in Description Logics Using Hypertableaux.	CADE	2007	DBLP DOI BibTeX RDF
13	Samuli Heilala, Brigitte Pientka	Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4.	CADE	2007	DBLP DOI BibTeX RDF
13	Ali Mili 0001	A Refinement Based Framework for Computing Loop Behavior.	SEW	2007	DBLP DOI BibTeX RDF
13	Sam Bakhtiar Sanjabi, C.-H. Luke Ong	Fully abstract semantics of additive aspects by translation.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, translation, aspects, game semantics, full abstraction
13	Guillaume Burel, Claude Kirchner	Cut Elimination in Deduction Modulo by Abstract Completion.	LFCS	2007	DBLP DOI BibTeX RDF	Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo
13	Manfred Schmidt-Schauß	Correctness of Copy in Calculi with Letrec.	RTA	2007	DBLP DOI BibTeX RDF
13	Lionel Vaux	On Linear Combinations of lambda -Terms.	RTA	2007	DBLP DOI BibTeX RDF
13	Javier Cámara, Gwen Salaün, Carlos Canal	Run-time Composition and Adaptation of Mismatching Behavioural Transactions.	SEFM	2007	DBLP DOI BibTeX RDF
13	Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara	Disciplining Orchestration and Conversation in Service-Oriented Computing.	SEFM	2007	DBLP DOI BibTeX RDF
13	X. Briand	Dynamic Control with Indistinguishable Events.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Games, Control, Discrete event systems, Tree automata, Partial information
13	Kai Brünnler	Cut Elimination inside a Deep Inference System for Classical Predicate Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	cut elimination, first-order predicate logic, deep inference
13	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
13	Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú	On the infinite-valued Lukasiewicz logic that preserves degrees of truth.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03G20, 03B22, 06D35
13	Avik Chaudhuri, Martín Abadi	Secrecy by Typing and File-Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
13	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.	POPL	2006	DBLP DOI BibTeX RDF	subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction
13	René Rydhof Hansen, Christian W. Probst, Flemming Nielson	Sandboxing in myKlaim.	ARES	2006	DBLP DOI BibTeX RDF
13	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	IJCAR	2006	DBLP DOI BibTeX RDF
13	Pieter J. L. Cuijpers, A. V. Fyukov	Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
13	Slawomir Lasota 0001, David Nowak, Yu Zhang	On Completeness of Logical Relations for Monadic Types.	ASIAN	2006	DBLP DOI BibTeX RDF
13	Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia	On Recursion, Replication and Scope Mechanisms in Process Calculi.	FMCO	2006	DBLP DOI BibTeX RDF
13	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A WSDL-Based Type System for WS-BPEL.	COORDINATION	2006	DBLP DOI BibTeX RDF
13	Thomas Ehrhard, Laurent Regnier	Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.	CiE	2006	DBLP DOI BibTeX RDF
13	Shi Zhang, Linpeng Huang	Formalizing Class Dynamic Software Updating.	QSIC	2006	DBLP DOI BibTeX RDF
13	Rohit Chadha, Paulo Mateus, Amílcar Sernadas	Reasoning About States of Probabilistic Sequential Programs.	CSL	2006	DBLP DOI BibTeX RDF
13	Pierre Genevès, Nabil Layaïda	Comparing XML path expressions.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	analysis, experimentation, XPath