Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Norman Ramsey, Kathleen Fisher, Paul Govereau |
An expressive language of signatures. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large |
10 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
Synchronization of periodic clocks. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction |
10 | Martin Giese |
A Calculus for Type Predicates and Type Coercion. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
10 | François Bry, Bernhard Lorenz, Stephanie Spranger |
Calendars and Topologies as Types. |
KES (4) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Christian Skalka |
Trace effects and object orientation. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
temporal program logic, type and effect, type constraints |
10 | Michael Lutz 0001 |
Ontology-based service discovery in spatial data infrastructures. |
GIR |
2005 |
DBLP DOI BibTeX RDF |
ontologies, service discovery, spatial data infrastructures |
10 | Lawrence C. Paulson |
Organizing Numerical Theories Using Axiomatic Type Classes. |
J. Autom. Reason. |
2004 |
DBLP DOI BibTeX RDF |
axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle |
10 | Gul Agha, Prasanna Thati |
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jinghai Rao, Peep Küngas, Mihhail Matskin |
Logic-based Web Services Composition: From Service Description to Process Model. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan Edwards, Daniel Jackson 0001, Emina Torlak |
A type system for object models. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy |
10 | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
Region inference for an object-oriented language. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
downcasts, method overriding, region inference, type systems, memory management, object-oriented languages |
10 | Jacques Garrigue |
Relaxing the Value Restriction. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung |
Faster constraint solving with subtypes. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
relational logic, verification, constraints, analysis, SAT, subtypes |
10 | Augusto Sampaio, Paulo Borba |
Transformation Laws for Sequential Object-Oriented Programming. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Michele Bugliesi, Dario Colazzo, Silvia Crafa |
Type Based Discretionary Access Control. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe |
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech |
PolyTOIL: A type-safe polymorphic object-oriented language. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
hash type, Matching |
10 | Mark Sifer, Yardena Peres, Yoëlle S. Maarek |
Browsing and Editing XML Schema Documents with an Interactive Editor. |
DNIS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Thierry Coquand, Randy Pollack, Makoto Takeyama |
A Logical Framework with Dependently Typed Records. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Christophe Raffalli |
System ST \beta-reduction and completeness. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
lambda-calcul, type, subtype |
10 | Luca de Alfaro |
Game Models for Open Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Martín Abadi, K. Rustan M. Leino |
A Logic of Object-Oriented Programs. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
A Compositional Operational Semantics for JavaMT. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving |
10 | Matthias Neubauer, Peter Thiemann 0001 |
Discriminative sum types locate the source of type errors. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, type errors |
10 | Didier Buchs, Stanislav Chachkov, David Hurzeler |
Modelling a Secure, Mobile, and Transactional System with CO-OPN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
10 | Mark Utting, Shaochun Wang |
Object Orientation without Extending Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Libin Wang, Kefei Chen |
A Typed Theory for Access Control and Information Flow Control in Mobile Systems. |
ACISP |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Cees Pierik, Frank S. de Boer |
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jinghai Rao, Xiaomeng Su |
Toward the Composition of Semantic Web Services. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Eckhard Bick |
A Constraint Grammar Based Question Answering System for Portuguese. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
Constraint Grammar (CG), Named Entity Recognition (NER), Information Extraction (IE), Question Answering (QA) |
10 | Alexandre Miquel |
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Suad Alagic, Jeremy Logan |
Consistency of Java Transactions. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Eckhard Bick |
Multi-level NER for Portuguese in a CG Framework. |
PROPOR |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz |
Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories. |
ACM Symposium on Document Engineering |
2003 |
DBLP DOI BibTeX RDF |
consistency in document engineering, temporal logic, document management |
10 | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
An inheritance-based technique for building simulation proofs incrementally. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements |
10 | Robert Pollack |
Dependently Typed Records in Type Theory. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble |
10 | David B. MacQueen |
Should ML be Object-Oriented? |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented programming, Functional programming, Inheritance, ML, Polymorphism, Modules, Subtypes |
10 | Riccardo Pucella |
Towards a formalization for COM part i: the primitive calculus. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
components, interfaces, type system, formalism, calculus, COM |
10 | Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |
Types as models: model checking message-passing programs. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Somesh Jha, Jens Palsberg, Tian Zhao 0002 |
Efficient Type Matching. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Verification for Java's Reentrant Multithreading Concept. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Li Chen 0016, Elke A. Rundensteiner, Song Wang 0001 |
XCache: a semantic caching system for XML queries. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
XML |
10 | Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney |
Region-Based Memory Management in Cyclone. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Ernst-Rüdiger Olderog, Heike Wehrheim |
Specification and Inheritance in CSP-OZ. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR |
10 | Emil Sekerinski |
Concurrent Object-Oriented Programs: From Specification to Code. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Lorenzo Bettini, Viviana Bono, Betti Venneri |
Coordinating Mobile Object-Oriented Code. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Yves Vion-Dury, Veronika Lux, Emmanuel Pietriga |
Experimenting with the circus language for XML modeling and transformation. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
typed document transformation, XML, programming language, XSLT, document model, circus |
10 | Satyam Tyagi, Paul Tarau |
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Barbara G. Ryder, Frank Tip |
Change impact analysis for object-oriented programs. |
PASTE |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Alexandre Miquel |
The Implicit Calculus of Constructions. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Vivek K. Shanbhag, K. Gopinath |
A SPIN-Based Model Checker for Telecommunication Protocols. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Zhendong Su 0001, Alexander Aiken |
Entailment with Conditional Equality Constraints. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Gregory T. Sullivan |
Dynamic Partial Evaluation. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Jackson 0001, Ilya Shlyakhter, Manu Sridharan |
A micromodularity mechanism. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language |
10 | Mario Coppo, Daniel Hirschkoff |
Incremental Inference of Partial Types. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Edward A. Lee, Yuhong Xiong |
System-Level Types for Component-Based Design. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof |
Estimating the Impact of Scalable Pointer Analysis on Optimization. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Gabriel M. Kuper, Jérôme Siméon |
Subsumption for XML types. |
ICDT |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jeannette M. Wing, John Ockerbloom |
Respectful Type Converters. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Type converters, object repository, abstraction function, type evolution, semantics, interoperability, specifications, object-oriented design, subtype, distributed objects, Larch |
10 | Michael Hanus, Frank Huch, Philipp Niederau |
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Yolande Ahronovitz, Marianne Huchard |
Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model. |
Advances in Exception Handling Techniques |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jens Palsberg, Tian Zhao 0002 |
Efficient and Flexible Matching of Recursive Types. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
Multi-language systems, algorithms, types |
10 | Giuliano Antoniol, Gerardo Casazza, Ettore Merlo |
Identification of Lower-Level Artifacts. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
|
10 | François Pottier |
A 3-Part Type Inference Engine. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Kohei Honda 0001, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Secure Information Flow as Typed Process Behaviour. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Hans Schuster, Dimitrios Georgakopoulos 0001, Andrzej Cichocki, Donald Baker |
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes. |
CAiSE |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Papakonstantinou, Victor Vianu |
DTD Inference for Views of XML Data. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Rowan Davies, Frank Pfenning |
Intersection types and computational effects. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
UML |
10 | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
An inheritance-based technique for building simulation proofs incrementally. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
interface extension, specialization by inheritance, system modeling/verification, simulation, refinement |
10 | Nils Klarlund, Michael I. Schwartzbach |
A Domain-Specific Language for Regular Sets of Strings and Trees. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
regular sets, trees, Domain-specific languages, logic, strings |
10 | Leslie Lamport, Lawrence C. Paulson |
Should your specification language be typed. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
specification, types, set theory |
10 | Martin Plümicke |
Polymorphism in OBJ-P. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Ran Rinat, Menachem Magidor, Scott F. Smith 0001 |
Correspondence Polymorphism for Object-Oriented Languages. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Arie van Deursen, Leon Moonen |
Understanding COBOL Systems using Inferred Types. |
IWPC |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Simon J. Gay, Malcolm Hole |
Types and Subtypes for Client-Server Interactions. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Arnd Poetzsch-Heffter, Peter Müller 0001 |
A Programming Logic for Sequential Java. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Viviana Bono, Amit Patel 0001, Vitaly Shmatikov |
A Core Calculus of Classes and Mixins. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin |
10 | Atsushi Igarashi, Benjamin C. Pierce |
Foundations for Virtual Types. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Christopher League, Zhong Shao, Valery Trifonov |
Representing Java Classes in a Typed Intermediate Language. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Gérard Boudol, Silvano Dal-Zilio |
An Interpretation of Extensible Objects. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Prost |
A formalization of Static Analyses in System F. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken |
A Theory of Type Qualifiers. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Mike Spreitzer, Andrew Begel |
More Flexible Data Types. |
WETICE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Peter Buneman, Benjamin C. Pierce |
Union Types for Semistructured Data. |
DBPL |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Davide Ancona |
An Algebraic Framework for Separate Type-Checking. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
A Lambda Calculus of Objects with Self-Inflicted Extension. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Robert Cartwright, Guy L. Steele Jr. |
Compatible Genericity with Run-Time Types for the Java Programming Language. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
Java |
10 | François Puitg, Jean-François Dufourd |
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
10 | François Puitg, Jean-François Dufourd |
Formal Program Development in Geometric Modeling. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin C. Pierce |
Type Systems for Concurrent Calculi (Abstract). |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Mohammed Benattou, Lotfi Lakhal |
Incremental Inheritance Model for an OODBMS. |
DEXA |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Martín Abadi, K. Rustan M. Leino |
A Logic of Object-Oriented Programs. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Luigi Liquori |
An Extended Theory of Primitive Objects: FIrst Order System. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
design and semantics of object-oriented languages, Type systems |
10 | Lihui Xu, Alexandra Poulovassilis |
A Method for Integrating Deductive Databases. |
BNCOD |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Tom Holvoet, Thilo Kielmann |
Behaviour Specification of Active Objects in Open Generative Communication Environments. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | J. Hoffman |
A Practical Notation for Object Oriented Analysis with a Formal Meaning. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
formal methods, information modeling, object oriented analysis |
10 | Martin Hofmann 0001 |
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Myles F. Barrett, Marshall E. Giguere |
A Note on Covariance and Contravariance Unification. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
C++ |